Struct bus_mapping::circuit_input_builder::FixedCParams

pub struct FixedCParams {
    pub total_chunks: usize,
    pub max_rws: usize,
    pub max_txs: usize,
    pub max_withdrawals: usize,
    pub max_calldata: usize,
    pub max_copy_rows: usize,
    pub max_exp_steps: usize,
    pub max_bytecode: usize,
    pub max_evm_rows: usize,
    pub max_keccak_rows: usize,
    pub max_vertical_circuit_rows: usize,
}

Circuit Setup Parameters

Fields

total_chunks: usize

max_rws: usize

Maximum number of rw operations in the state circuit (RwTable length / number of rows). This must be at least the number of rw operations

• 1, in order to allocate at least a Start row.

max_txs: usize

Maximum number of txs in the Tx Circuit

max_withdrawals: usize

Maximum number of withdrawals in the Withdrawal Circuit

max_calldata: usize

Maximum number of bytes from all txs calldata in the Tx Circuit

max_copy_rows: usize

Max amount of rows that the CopyCircuit can have.

max_exp_steps: usize

Max number of steps that the ExpCircuit can have. Each step is further expressed in 7 rows

max_bytecode: usize

Maximum number of bytes supported in the Bytecode Circuit

max_evm_rows: usize

Pad evm circuit number of rows. When 0, the EVM circuit number of rows will be dynamically calculated, so the same circuit will not be able to proof different witnesses. In this case it will contain as many rows for all steps + 1 row for EndBlock.

max_keccak_rows: usize

Pad the keccak circuit with this number of invocations to a static capacity. Number of keccak_f that the Keccak circuit will support. When 0, the Keccak circuit number of rows will be dynamically calculated, so the same circuit will not be able to prove different witnesses.

max_vertical_circuit_rows: usize

This number indicate what 100% usage means, for example if we can support up to 2 ecPairing inside circuit, and max_vertical_circuit_rows is set to 1_000_000, then if there is 1 ecPairing in the input, we will return 500_000 as the “row usage” for the ec circuit.

Trait Implementations

impl CircuitsParams for FixedCParams

fn total_chunks(&self) -> usize

Return the total number of chunks

fn set_total_chunk(&mut self, total_chunks: usize)

Set total number of chunks

fn max_rws(&self) -> Option<usize>

Return the maximum Rw

impl Clone for FixedCParams

fn clone(&self) -> FixedCParams

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for FixedCParams

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for FixedCParams

fn default() -> Self

Default values for most of the unit tests of the Circuit Parameters

impl PartialEq for FixedCParams

fn eq(&self, other: &FixedCParams) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for FixedCParams

impl StructuralPartialEq for FixedCParams