Module zkevm_circuits::copy_circuit

The Copy circuit implements constraints and lookups for read-write steps for copied bytes while execution opcodes such as CALLDATACOPY, CODECOPY, LOGS, etc.

Re-exports

• pub use dev::CopyCircuit as TestCopyCircuit;

Structs

• CopyCircuit
  Copy Circuit
• CopyCircuitConfig
  The rw table shared between evm circuit and state circuit
• CopyCircuitConfigArgs
  Circuit configuration arguments
• ExternalData
  Struct for external data, specifies values for related lookup tables

Functions

• constrain_must_terminate
  Verify that is_last goes to 1 at some point.