Crate snarkvm_circuit_program

Structs

• 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

Enums

• 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

Traits

• 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

Functions

• compute_function_id
  Compute the function ID as Hash(network_id, program_id.len(), program_id, function_name.len(), function_name).