Struct CircuitInfo

pub struct CircuitInfo {
    pub n_inputs: usize,
    pub values: UnorderedHashMap<ConcreteTypeId, usize>,
    pub add_offsets: Vec<GateOffsets>,
    pub mul_offsets: Vec<GateOffsets>,
}

Describes a circuit in the program.

Fields

n_inputs: usize

The number of circuit inputs.

values: UnorderedHashMap<ConcreteTypeId, usize>

Maps a concrete type to its offset (measured in number of elements) in the values array. The values mapping does not include the constant input 1 which is stored at offset 0.

add_offsets: Vec<GateOffsets>

The offsets for the add gates. This includes AddModGate and SubModGate.

mul_offsets: Vec<GateOffsets>

The offsets for the mul gates. This includes MulModGate, InverseGate, and input reductions.

Implementations

impl CircuitInfo

pub fn rc96_usage(&self) -> usize

Returns the number of 96-bit range checks used by the circuit.

We use:

• 1 slot for the const 1,
• n_inputs slots for the original unreduced inputs,
• self.values.len() for all the intermediate values and outputs (including the reduced inputs).

Trait Implementations

impl Clone for CircuitInfo

fn clone(&self) -> CircuitInfo

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for CircuitInfo

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

Formats the value using the given formatter.

impl PartialEq for CircuitInfo

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl Eq for CircuitInfo

impl StructuralPartialEq for CircuitInfo