Module zkevm_circuits::table

Table definitions used cross-circuits

Re-exports

• pub use mpt_table::MPTProofType;
• pub use mpt_table::MptTable;

Modules

• mpt_table
  mpt table

Structs

• AccountFieldTagIter
  An iterator over the variants of Self
• BlockTable
  Table with Block header fields
• BytecodeTable
  Table with Bytecode indexed by its Code Hash
• CallContextFieldTagIter
  An iterator over the variants of Self
• ChunkCtxTable
  Table with Chunk context fields
• CopyTable
  Copy Table, used to verify copies of byte chunks between Memory, Bytecode, TxLogs and TxCallData.
• ExpTable
  Lookup table within the Exponentiation circuit.
• KeccakTable
  Keccak Table, used to verify keccak hashing from RLC’ed input.
• RwTable
  The RwTable shared between EVM Circuit and State Circuit, which contains traces of the EVM state operations.
• SigTable
  The sig table is used to verify signatures, used in tx circuit and ecrecover precompile.
• StepStateFieldTagIter
  An iterator over the variants of Self
• TxTable
  Table that contains the fields of all Transactions in a block
• UXTable
  Lookup table for max n bits range check
• WdTable
  Table that contains the fields of all Withdrawals in a block

Enums

• AccountFieldTag
  Tag for an AccountField in RwTable
• BlockContextFieldTag
  Tag to identify the field in a Block Table row
• BytecodeFieldTag
  Tag to identify the field in a Bytecode Table row
• CallContextFieldTag
  Tag for a CallContextField in RwTable
• StepStateFieldTag
  Tag for an StepState in RwTable
• TxFieldTag
  Tag used to identify each field in the transaction in a row of the transaction table.
• TxLogFieldTag
  Tag for a TxLogField in RwTable
• TxReceiptFieldTag
  Tag for a TxReceiptField in RwTable

Traits

• LookupTable
  Trait used to define lookup tables

Type Aliases

• TxContextFieldTag
  Alias for TxFieldTag used by EVM Circuit