Struct ConstraintCircuitBuilder

pub struct ConstraintCircuitBuilder<II: InputIndicator> { /* private fields */ }

Helper struct to construct new leaf nodes (i.e., input or challenge or constant) in the circuit multitree. Ensures that newly created nodes, even non-leaf nodes created through joining two other nodes using an arithmetic operation, get a unique ID.

Implementations

impl<II: InputIndicator> ConstraintCircuitBuilder<II>

pub fn new() -> Self

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

Check whether two builders are the same.

Notably, this is distinct from checking equality: two builders are equal if they are in the same state. Two builders are the same if they are the same instance.

pub fn zero(&self) -> ConstraintCircuitMonad<II>

The unique monad representing the constant value 0.

pub fn one(&self) -> ConstraintCircuitMonad<II>

The unique monad representing the constant value 1.

pub fn minus_one(&self) -> ConstraintCircuitMonad<II>

The unique monad representing the constant value -1.

pub fn b_constant<B>(&self, bfe: B) -> ConstraintCircuitMonad<II>

where B: Into<BFieldElement>,

Leaf node with constant over the base field.

pub fn x_constant<X>(&self, xfe: X) -> ConstraintCircuitMonad<II>

where X: Into<XFieldElement>,

Leaf node with constant over the extension field.

pub fn input(&self, input: II) -> ConstraintCircuitMonad<II>

Create deterministic input leaf node.

pub fn challenge<C>(&self, challenge: C) -> ConstraintCircuitMonad<II>

where C: Into<usize>,

Create challenge leaf node.

Trait Implementations

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

fn clone(&self) -> ConstraintCircuitBuilder<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 ConstraintCircuitBuilder<II>

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

Formats the value using the given formatter.

impl<II: InputIndicator> Default for ConstraintCircuitBuilder<II>

fn default() -> Self

Returns the “default value” for a type.

impl<II: PartialEq + InputIndicator> PartialEq for ConstraintCircuitBuilder<II>

fn eq(&self, other: &ConstraintCircuitBuilder<II>) -> 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<II: Eq + InputIndicator> Eq for ConstraintCircuitBuilder<II>

impl<II: InputIndicator> StructuralPartialEq for ConstraintCircuitBuilder<II>