Module zkevm_circuits::mpt_circuit

The MPT circuit implementation.

Modules

• mod_extension
  Gadget for modified extension nodes
• witness_row
  MPT witness row

Structs

• MPTCircuit
  MPT Circuit for proving the storage modification is valid.
• MPTCircuitParams
  MPT Circuit configuration parameters
• MPTConfig
  Merkle Patricia Trie config.
• MPTContext
  Merkle Patricia Trie context
• StateMachineConfig
  State machine config.

Enums

• FixedTableTag
  Enumerator to determine the type of row in the fixed table.
• RlpItemType
  RLP item type

Functions

• load_proof
  Loads an MPT proof from reader
• load_proof_from_file
  Loads an MPT proof from disk