Struct zkevm_circuits::bytecode_circuit::BytecodeCircuit

pub struct BytecodeCircuit<F: Field> {
    pub max_rows: usize,
    /* private fields */
}

BytecodeCircuit

Fields

max_rows: usize

The number of Halo2 rows that can be utilized

In tests, we set the number as small as possible to reduce MockProver’s overhead. In production, this number must be the power of degree minus unusable rows.

Implementations

impl<F: Field> BytecodeCircuit<F>

pub fn new(bytecodes: CodeDB, max_rows: usize) -> Self

new BytecodeCircuitTester

Trait Implementations

impl<F: Field> Circuit<F> for BytecodeCircuit<F>

type Config = (BytecodeCircuitConfig<F>, Challenges)

This is a configuration object that stores things like columns.

type FloorPlanner = SimpleFloorPlanner

The floor planner used for this circuit. This is an associated type of the Circuit trait because its behaviour is circuit-critical.

type Params = ()

Optional circuit configuration parameters. Requires the circuit-params feature.

fn without_witnesses(&self) -> Self

Returns a copy of this circuit with no witness values (i.e. all witnesses set to None). For most circuits, this will be equal to Self::default().

fn configure(meta: &mut ConstraintSystem<F>) -> Self::Config

The circuit is given an opportunity to describe the exact gate arrangement, column arrangement, etc.

fn synthesize( &self, (config, challenges): Self::Config, layouter: impl Layouter<F> ) -> Result<(), Error>

Given the provided cs, synthesize the circuit. The concrete type of the caller will be different depending on the context, and they may or may not expect to have a witness present.

fn params(&self) -> Self::Params

Returns a reference to the parameters that should be used to configure the circuit. Requires the circuit-params feature.

fn configure_with_params( meta: &mut ConstraintSystem<F>, _params: Self::Params ) -> Self::Config

The circuit is given an opportunity to describe the exact gate arrangement, column arrangement, etc. Takes a runtime parameter. The default implementation calls configure ignoring the _params argument in order to easily support circuits that don’t use configuration parameters.

impl<F: Clone + Field> Clone for BytecodeCircuit<F>

fn clone(&self) -> BytecodeCircuit<F>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<F: Debug + Field> Debug for BytecodeCircuit<F>

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

Formats the value using the given formatter.

impl<F: Default + Field> Default for BytecodeCircuit<F>

fn default() -> BytecodeCircuit<F>

Returns the “default value” for a type.

impl<F: Field> SubCircuit<F> for BytecodeCircuit<F>

fn min_num_rows_block(block: &Block<F>, chunk: &Chunk<F>) -> (usize, usize)

Return the minimum number of rows required to prove the block

fn synthesize_sub( &self, config: &Self::Config, challenges: &Challenges<Value<F>>, layouter: &mut impl Layouter<F> ) -> Result<(), Error>

Make the assignments to the TxCircuit

type Config = BytecodeCircuitConfig<F>

Configuration of the SubCircuit.

fn unusable_rows() -> usize

Returns number of unusable rows of the SubCircuit, which should be meta.blinding_factors() + 1.

fn new_from_block(block: &Block<F>, chunk: &Chunk<F>) -> Self

Create a new SubCircuit from a witness Block

fn instance(&self) -> Vec<Vec<F>>

Returns the instance columns required for this circuit.