snarkvm_console_program

Module state_path

Source

Re-exports§

Modules§

Structs§

  • The Merkle leaf for the block header.
  • The state path proves existence of the transition leaf to either a global or local state root.
  • The Merkle leaf for a function or transition in the transaction.

Constants§

  • The depth of the Merkle tree for the blocks.
  • The depth of the Merkle tree for finalize operations in a transaction.
  • The depth of the Merkle tree for finalize operations in a block.
  • The depth of the Merkle tree for the block header.
  • The depth of the Merkle tree for the ratifications in a block.
  • The depth the Merkle tree for the subdag certificates in a block.
  • The depth of the Merkle tree for transactions in a block. Note: The technical limit is 2^20 - 1 transactions, to allow compatibility with the finalize operations tree, which requires 1 leaf for the ratified finalize ID.
  • The depth of the Merkle tree for the transaction.
  • The depth of the Merkle tree for the transition.

Type Aliases§