Module snarkvm_synthesizer_program::logic::command

Structs§

Await
An await command, e.g. await r0;. Awaits the result of an asynchronous call (a future). Note that asynchronous calls currently do not return a value.
Branch
Compares first and second and jumps to position, if the condition is met.
Contains
A contains command, e.g. contains accounts[r0] into r1;. Contains is true if a (key, value) entry exists in mapping, stores the result in destination.
Get
A get command, e.g. get accounts[r0] into r1;. Gets the value stored at operand in mapping and stores the result in destination.
GetOrUse
A get command that uses the provided default in case of failure, e.g. get.or_use accounts[r0] r1 into r2;. Gets the value stored at operand in mapping and stores the result in destination. If the key is not present, default is stored in destination.
Position
A position command, e.g. position exit. Indicates a position to which the program can branch to.
RandChaCha
A random-number generator command, e.g. rand.chacha into r1 as field; or rand.chacha r0 into r1 as field;, with the latter including an optional additional seed(s).
Remove
A remove command, e.g. remove mapping[r0]; Removes the (key, value) entry in mapping.
Set
A set command, e.g. set r1 into mapping[r0]; Sets the key entry as value in mapping.

MAX_ADDITIONAL_SEEDS
The maximum number of additional seeds that can be provided.