Module zkevm_circuits::witness

Witness for all circuits. The Block<F> is the witness struct post-processed from geth traces and used to generate witnesses for circuits.

Re-exports

• pub use chunk::chunk_convert;
• pub use chunk::Chunk;
• pub use rw::Rw;
• pub use rw::RwMap;
• pub use rw::RwRow;

Modules

• chunk
• rw
  The Read-Write table related structs

Structs

• Block
  Block is the struct used by all circuits, which contains blockwise data for witness generation. Used with Chunk for the i-th chunk witness.
• BlockContext
  Block context for execution
• Call
  Circuit Input related to an Ethereum Call
• ExecStep
  An execution step of the EVM.
• MptUpdate
  An MPT update whose validity is proved by the MptCircuit
• MptUpdateRow
  The field element encoding of an MPT update, which is used by the MptTable
• MptUpdates
  All the MPT updates in the MptCircuit, accessible by their key
• Transaction
  Result of the parsing of an Ethereum Transaction.
• Withdrawal
  Result of the parsing of an Ethereum Withdrawal.

Functions

• block_convert
  Convert a block struct in bus-mapping to a witness block used in circuits