Crate snarkvm_synthesizer_process 

Structs

Authorization

CallMetrics

FinalizeRegisters

FinalizeTypes

InclusionAssignment

InclusionV0Assignment

Process

ProcessExclusiveGuard

A wrapper ensuring exclusive access to the Process for the purposes of methods which affect the state of the stacks.

RegisterTypes

Registers

Registers are a collection of console/circuit values and metadata used in a particular transition context.

Stack

Trace

Translation

TranslationAssignment

Data collected during execution and used to prove record translation in dynamic calls.

Enums

CallStack

The CallStack is used to track the current state of the program execution.

ConsensusFeeVersion

InclusionAssignmentWrapper

InclusionVersion

Traits

CallTrait

Functions

compute_console_dynamic_or_external_record_id

Computes the ID of a console record (dynamic or external) given its field representation.

constructor_cost_in_microcredits_v1

Returns the minimum number of microcredits required to run the constructor in the given stack. If a constructor does not exist, no cost is incurred.

constructor_cost_in_microcredits_v2

Returns the minimum number of microcredits required to run the constructor in the given stack. If a constructor does not exist, no cost is incurred.

cost_per_command

Returns the the cost of a command in a finalize scope.

deploy_compute_cost_in_microcredits

Returns the compute cost for a deployment in microcredits. This is used to limit the amount of single-threaded compute in the block generation hot path. This does NOT represent the full costs which a user has to pay.

deployment_cost

Returns the deployment cost in microcredits for a given deployment.

deployment_cost_v1

Returns the minimum cost in microcredits to publish the given deployment.

deployment_cost_v2

Returns the minimum cost in microcredits to publish the given deployment using the ARC_0005_COMPUTE_DISCOUNT.

execute_compute_cost_in_microcredits

Returns the compute cost for an execution in microcredits. This is used to limit the amount of single-threaded compute in the block generation hot path. This does NOT represent the full costs which a user has to pay.

execution_cost

Returns the execution cost in microcredits for a given execution.

execution_cost_for_authorization

Returns the execution cost in microcredits for a given Authorization.

execution_cost_for_call

Returns the execution cost in microcredits for a call to the given function with the given inputs.

finalize_types_equivalent

minimum_cost_in_microcredits_v1

Returns the minimum number of microcredits required to run the finalize (deprecated). Note: For dynamic futures, this only provides a lower bound on the cost because the target functions cannot be statically determined. For exact execution cost, use execution_finalize_cost.

minimum_cost_in_microcredits_v2

Returns the minimum number of microcredits required to run the finalize. Note: For dynamic futures, this only provides a lower bound on the cost because the target functions cannot be statically determined. For exact execution cost, use execution_finalize_cost.

minimum_cost_in_microcredits_v3

Returns the minimum number of microcredits required to run the finalize using the ARC-0005 cost reduction factor. Note: For dynamic futures, this only provides a lower bound on the cost because the target functions cannot be statically determined. For exact execution cost, use execution_finalize_cost.

Type Aliases

Assignments

ConstructorCost

DeployCostDetails

ExecuteCostDetails

FinalizeCost

MinimumCost

NamespaceCost

StorageCost

SynthesisCost

Translations

A stack of translations for the transitions in the execution. Each function execution level pushes a new group, and translations for dynamic calls made at that level are collected into the top group. When the transition is inserted, the top group is popped and its translations are associated with that transition (the caller’s transition ID). Each translation datum is paired with the proving key for its record type.