Structs

An identifier is an immutable UTF-8 string, represented as a constant field element in the circuit.
A program ID is of the form {name}.{network}. If no network-level domain is specified, the default network is used.
The state path proves existence of the transition leaf to either a global or local state root.

Enums

A value stored in program data.
An entry stored in program data.
The literal enum represents all supported circuit types in snarkVM.
A value stored in program data.

Traits