pub struct ConstraintSetBuilder<P: PackedField> { /* private fields */ }Expand description
A builder struct that turns individual compositions over oraclized multilinears into a set of
type erased IndexComposition instances operating over a superset of oracles of all constraints.
Implementations§
source§impl<P: PackedField> ConstraintSetBuilder<P>
impl<P: PackedField> ConstraintSetBuilder<P>
pub fn new() -> Self
pub fn add_sumcheck<Composition, const N: usize>(
&mut self,
oracle_ids: [OracleId; N],
composition: Composition,
sum: P::Scalar,
)where
Composition: CompositionPolyOS<P> + 'static,
pub fn add_zerocheck<Composition, const N: usize>(
&mut self,
oracle_ids: [OracleId; N],
composition: Composition,
)where
Composition: CompositionPolyOS<P> + 'static,
sourcepub fn build_one(
self,
oracles: &MultilinearOracleSet<impl TowerField>,
) -> Result<ConstraintSet<P>, Error>
pub fn build_one( self, oracles: &MultilinearOracleSet<impl TowerField>, ) -> Result<ConstraintSet<P>, Error>
Build a single constraint set, requiring that all included oracle n_vars are the same
sourcepub fn build(
self,
oracles: &MultilinearOracleSet<impl TowerField>,
) -> Result<Vec<ConstraintSet<P>>, Error>
pub fn build( self, oracles: &MultilinearOracleSet<impl TowerField>, ) -> Result<Vec<ConstraintSet<P>>, Error>
Create one ConstraintSet for every unique n_vars used.
Note that you can’t mix oracles with different n_vars in a single constraint.
Trait Implementations§
source§impl<P: Default + PackedField> Default for ConstraintSetBuilder<P>
impl<P: Default + PackedField> Default for ConstraintSetBuilder<P>
source§fn default() -> ConstraintSetBuilder<P>
fn default() -> ConstraintSetBuilder<P>
Returns the “default value” for a type. Read more
Auto Trait Implementations§
impl<P> Freeze for ConstraintSetBuilder<P>
impl<P> !RefUnwindSafe for ConstraintSetBuilder<P>
impl<P> !Send for ConstraintSetBuilder<P>
impl<P> !Sync for ConstraintSetBuilder<P>
impl<P> Unpin for ConstraintSetBuilder<P>
impl<P> !UnwindSafe for ConstraintSetBuilder<P>
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
source§impl<T> IntoEither for T
impl<T> IntoEither for T
source§fn into_either(self, into_left: bool) -> Either<Self, Self>
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 moresource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
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