binius_spartan_frontend::circuit_builder

Struct ConstraintSystemIR

pub struct ConstraintSystemIR<F: Field> { /* private fields */ }

Expand description

Intermediate representation of a constraint system that can be manipulated and optimized.

This IR is used during circuit construction and optimization passes like wire elimination. It tracks wire allocators, constants, and constraints, along with metadata about which private wires are still alive (not eliminated by optimization).

Implementations§

Source §

impl<F: Field> ConstraintSystemIR<F>

Source

pub fn finalize(self) -> (ConstraintSystem<F>, WitnessLayout<F>)

Finalize the IR into a ConstraintSystem and WitnessLayout by converting remaining zero constraints to MulConstraints, computing the final witness layout, and mapping all ConstraintWires to WitnessIndices.

Internally looks up or allocates a constant wire with value 1, used to convert zero constraints of the form A = 0 into MulConstraints A * 1 = 0.

Trait Implementations§

Source §

impl<F: Debug + Field> Debug for ConstraintSystemIR<F>

Source §

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

Formats the value using the given formatter. Read more

Auto Trait Implementations§

§

impl<F> UnwindSafe for ConstraintSystemIR<F>
where F: UnwindSafe,

Blanket Implementations§

Source §

impl<T> Any for T
where T: 'static + ?Sized,

Source §

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

Source §

impl<T> Borrow<T> for T
where T: ?Sized,

Source §

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

Source §

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source §

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

Source §

impl<T> From<T> for T

Source §

fn from(t: T) -> T

Returns the argument unchanged.

Source §

impl<T, U> Into for T
where U: From<T>,

Source §

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source §

impl<T> IntoEither for T

Source §

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more

Source §

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more

§