Crate snarkvm_circuit_program

Structs

• Ciphertext
• 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

• 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

• Visibility