Module zkevm_circuits::super_circuit

source ·
Expand description

The Super Circuit is a circuit that contains all the circuits of the zkEVM in order to achieve two things:

  • Check the correct integration between circuits via the shared lookup tables, to verify that the table layouts match.
  • Allow having a single circuit setup for which a proof can be generated that would be verified under a single aggregation circuit for the first milestone.

The current implementation contains the following circuits:

  • EVM Circuit
  • State Circuit
  • Tx Circuit
  • Bytecode Circuit
  • Copy Circuit
  • Exponentiation Circuit
  • Keccak Circuit
  • MPT Circuit
  • PublicInputs Circuit

And the following shared tables, with the circuits that use them:

  • Copy Table
    • Copy Circuit
    • EVM Circuit
  • Exponentiation Table
    • EVM Circuit
  • Rw Table
    • State Circuit
    • EVM Circuit
    • Copy Circuit
  • Tx Table
    • Tx Circuit
    • EVM Circuit
    • Copy Circuit
    • PublicInputs Circuit
  • Bytecode Table
    • Bytecode Circuit
    • EVM Circuit
    • Copy Circuit
  • Block Table
    • EVM Circuit
    • PublicInputs Circuit
  • MPT Table
    • MPT Circuit
    • State Circuit
  • Keccak Table
    • Keccak Circuit
    • EVM Circuit
    • Bytecode Circuit
    • Tx Circuit
    • MPT Circuit

Structs§