Struct ZkCircuit 

pub struct ZkCircuit {
    constants: Vec<String>,
    pub(super) witnesses: Vec<Witness>,
    literals: Vec<(LitType, String)>,
    pub(super) opcodes: Vec<(Opcode, Vec<(HeapType, usize)>)>,
    pub tracer: ZkTracer,
}

Fields

constants: Vec<String>

witnesses: Vec<Witness>

literals: Vec<(LitType, String)>

opcodes: Vec<(Opcode, Vec<(HeapType, usize)>)>

tracer: ZkTracer

Implementations

impl ZkCircuit

pub fn new(witnesses: Vec<Witness>, circuit_code: &ZkBinary) -> Self

pub fn enable_trace(&mut self)

Trait Implementations

impl Circuit<Fp> for ZkCircuit

type Config = VmConfig

This is a configuration object that stores things like columns.

type FloorPlanner = V1

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

type Params = ZkParams

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<Base>) -> Self::Config

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

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<Base>, _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.

fn synthesize( &self, config: Self::Config, layouter: impl Layouter<Base>, ) -> 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.

impl Clone for ZkCircuit

fn clone(&self) -> ZkCircuit

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ZkCircuit

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

Formats the value using the given formatter.