Struct ConstraintCircuit

pub struct ConstraintCircuit<II: InputIndicator> {
    pub id: usize,
    pub ref_count: usize,
    pub expression: CircuitExpression<II>,
}

A wrapper around a CircuitExpression that manages additional bookkeeping information, such as node id and visited counter.

In contrast to ConstraintCircuitMonad, this struct cannot manage the state required to insert new nodes.

Fields

id: usize

ref_count: usize

expression: CircuitExpression<II>

Implementations

impl<II: InputIndicator> ConstraintCircuit<II>

pub fn assert_unique_ids(constraints: &mut [ConstraintCircuit<II>])

Assert that a multicircuit has unique IDs. Also determines how often each node is referenced, updating the respective ref_counts.

Panics

Panics if a duplicate ID is found.

pub fn degree(&self) -> isize

Return degree of the multivariate polynomial represented by this circuit

pub fn all_ref_counters(&self) -> Vec<usize>

All unique reference counters in the subtree, sorted.

pub fn is_zero(&self) -> bool

Is the node the constant 0? Does not catch composite expressions that will always evaluate to zero, like 0·a.

pub fn is_one(&self) -> bool

Is the node the constant 1? Does not catch composite expressions that will always evaluate to one, like 1·1.

pub fn is_neg_one(&self) -> bool

pub fn evaluates_to_base_element(&self) -> bool

Recursively check whether this node is composed of only BFieldElements, i.e., only uses

1. inputs from main rows,
2. constants from the B-field, and
3. binary operations on BFieldElements.

pub fn evaluate( &self, main_table: ArrayView2<'_, BFieldElement>, aux_table: ArrayView2<'_, XFieldElement>, challenges: &[XFieldElement], ) -> XFieldElement

Trait Implementations

impl<II: Clone + InputIndicator> Clone for ConstraintCircuit<II>

fn clone(&self) -> ConstraintCircuit<II>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<II: Debug + InputIndicator> Debug for ConstraintCircuit<II>

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

Formats the value using the given formatter.

impl<II: InputIndicator> Display for ConstraintCircuit<II>

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

Formats the value using the given formatter.

impl<II: InputIndicator> Hash for ConstraintCircuit<II>

fn hash<H: Hasher>(&self, state: &mut H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<II: InputIndicator> PartialEq for ConstraintCircuit<II>

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

Calculate equality of circuits. In particular, this function does not attempt to simplify or reduce neutral terms or products. So this comparison will return false for a == a + 0. It will also return false for XFieldElement(7) == BFieldElement(7)

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<II: InputIndicator> Eq for ConstraintCircuit<II>