Crate snarkvm_circuit_program
Source - Ciphertext
- Future
- A future.
- HeaderLeaf
- Identifier
- An identifier is an immutable UTF-8 string,
represented as a constant field element in the circuit.
- ProgramID
- A program ID is of the form
{name}.{network}.
If no network-level domain is specified, the default network is used. - Record
- Request
- Response
- StatePath
- The state path proves existence of the transition leaf to either a global or local state root.
- TransactionLeaf
- TransitionLeaf
- Access
- A helper type for accessing an entry in a register, struct, array, or record.
- Argument
- An argument passed into a future.
- Entry
- An entry stored in program data.
- InputID
- Literal
- The literal enum represents all supported circuit types in snarkVM.
- OutputID
- Owner
- A value stored in program data.
- Plaintext
- Value
- Cast
- Unary operator for casting values of one type to another.
- CastLossy
- Unary operator for casting values of one type to another, with lossy truncation.
- Visibility
- compute_function_id
- Compute the function ID as
Hash(network_id, program_id.len(), program_id, function_name.len(), function_name).