Struct Circuit 

pub struct Circuit { /* private fields */ }

An artifact that represents a built circuit.

The difference from ConstraintSystem is that a circuit retains enough information to perform circuit evaluation to generate internal witness values.

Implementations

impl Circuit

pub fn witness_index(&self, wire: Wire) -> ValueIndex

For the given wire, returns its index in the witness vector.

pub fn new_witness_filler(&self) -> WitnessFiller<'_>

Creates a new witness filler for this circuit.

pub fn populate_wire_witness( &self, w: &mut WitnessFiller<'_>, ) -> Result<(), PopulateError>

Populates non-input values (wires) in the witness.

Specifically, this will evaluate the circuit gate-by-gate and save the results in the witness vector.

This function expects that the input wires are already filled. The input wires are

• CircuitBuilder::add_inout,
• CircuitBuilder::add_witness that were not created by the gates,

The wires created by CircuitBuilder::add_constant (and its convenience methods) are automatically populated by this function as well.

Errors

In case the circuit is not satisfiable (any assertion fails), this function will return an error with a list of assertion failure messages.

pub fn constraint_system(&self) -> &ConstraintSystem

Returns the constraint system for this circuit.

pub fn n_gates(&self) -> usize

Returns the number of gates in this circuit.

Depending on what type of gates this circuit uses, the number of constraints might be significantly larger.

pub fn n_eval_insn(&self) -> usize

Returns the number of evaluation instructions in this circuit.

pub fn simple_json_dump(&self) -> String

Returns a string with a JSON dump that is useful to profile the circuit.