Struct zkevm_circuits::copy_circuit::CopyCircuit

pub struct CopyCircuit<F: Field> {
    pub copy_events: Vec<CopyEvent>,
    pub max_copy_rows: usize,
    pub external_data: ExternalData,
    /* private fields */
}

Copy Circuit

Fields

copy_events: Vec<CopyEvent>

Copy events

max_copy_rows: usize

Max number of rows in copy circuit

external_data: ExternalData

Data for external lookup tables

Implementations

impl<F: Field> CopyCircuit<F>

pub fn new(copy_events: Vec<CopyEvent>, max_copy_rows: usize) -> Self

Return a new CopyCircuit

pub fn new_with_external_data( copy_events: Vec<CopyEvent>, max_copy_rows: usize, external_data: ExternalData ) -> Self

Return a new CopyCircuit with external data

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

Return a new CopyCircuit from a block without the external data required to assign lookup tables. This constructor is only suitable to be used by the SuperCircuit, which already assigns the external lookup tables.

Trait Implementations

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

type Config = (CopyCircuitConfig<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: 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 CopyCircuit<F>

fn clone(&self) -> CopyCircuit<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 CopyCircuit<F>

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

Formats the value using the given formatter.

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

fn default() -> CopyCircuit<F>

Returns the “default value” for a type.

impl<F: Field> SubCircuit<F> for CopyCircuit<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 CopyCircuit

type Config = CopyCircuitConfig<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.