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.
Compares first and second and jumps to position, if the condition is met.
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.
A get command, e.g. get accounts[r0] into r1;.
Gets the value stored at operand in mapping and stores the result in destination.
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.
A position command, e.g. position exit.
Indicates a position to which the program can branch to.
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).
A remove command, e.g. remove mapping[r0];
Removes the (key, value) entry in mapping.
A set command, e.g. set r1 into mapping[r0];
Sets the key entry as value in mapping.