Struct o1vm::legacy::folding::FoldingInstance

pub struct FoldingInstance<const N: usize, G: CommitmentCurve> {
    pub commitments: [G; N],
    pub challenges: [<G as AffineRepr>::ScalarField; 3],
    pub alphas: Alphas<<G as AffineRepr>::ScalarField>,
    pub blinder: <G as AffineRepr>::ScalarField,
}

Folding instance containing the commitment to a witness of N columns, challenges for the proof, and the alphas

Fields

commitments: [G; N]

Commitments to the witness columns, including the dynamic selectors

challenges: [<G as AffineRepr>::ScalarField; 3]

Challenges for the proof. We do use 3 challenges:

• β as the evaluation point for the logup argument
• j: the joint combiner for vector lookups
• γ (set to 0 for now)

alphas: Alphas<<G as AffineRepr>::ScalarField>

Reuses the Alphas defined in the example of folding

blinder: <G as AffineRepr>::ScalarField

Blinder used in the polynomial commitment scheme

Trait Implementations

impl<const N: usize, G: Clone + CommitmentCurve> Clone for FoldingInstance<N, G>

fn clone(&self) -> FoldingInstance<N, G>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<const N: usize, G: Debug + CommitmentCurve> Debug for FoldingInstance<N, G>

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

Formats the value using the given formatter.

impl<const N: usize, G: CommitmentCurve> Foldable<<G as AffineRepr>::ScalarField> for FoldingInstance<N, G>

fn combine(a: Self, b: Self, challenge: G::ScalarField) -> Self

Combine two objects ‘a’ and ‘b’ into a new object using the challenge.

impl<const N: usize, const N_REL: usize, const N_SEL: usize, C: FoldingConfig, Structure: Clone> FoldingEnv<<<C as FoldingConfig>::Curve as AffineRepr>::ScalarField, FoldingInstance<N, <C as FoldingConfig>::Curve>, FoldingWitness<N, <<C as FoldingConfig>::Curve as AffineRepr>::ScalarField>, <C as FoldingConfig>::Column, Challenge, <C as FoldingConfig>::Selector> for DecomposedFoldingEnvironment<N, N_REL, N_SEL, C, Structure>where FoldingWitness<N, <<C as FoldingConfig>::Curve as AffineRepr>::ScalarField>: Index<C::Column, Output = Evaluations<<<C as FoldingConfig>::Curve as AffineRepr>::ScalarField, Radix2EvaluationDomain<<<C as FoldingConfig>::Curve as AffineRepr>::ScalarField>>>, FoldingWitness<N, <<C as FoldingConfig>::Curve as AffineRepr>::ScalarField>: Index<C::Selector, Output = Evaluations<<<C as FoldingConfig>::Curve as AffineRepr>::ScalarField, Radix2EvaluationDomain<<<C as FoldingConfig>::Curve as AffineRepr>::ScalarField>>>,

type Structure = Structure

Structure which could be storing useful information like selectors, etc.

fn new( structure: &Self::Structure, instances: [&FoldingInstance<N, C::Curve>; 2], witnesses: [&FoldingWitness<N, <<C as FoldingConfig>::Curve as AffineRepr>::ScalarField>; 2] ) -> Self

Creates a new environment storing the structure, instances and witnesses.

fn col( &self, col: C::Column, curr_or_next: CurrOrNext, side: Side ) -> &[<<C as FoldingConfig>::Curve as AffineRepr>::ScalarField]

Returns the evaluations of a given column witness at omega or zeta*omega.

fn challenge( &self, challenge: Challenge, side: Side ) -> <<C as FoldingConfig>::Curve as AffineRepr>::ScalarField

Obtains a given challenge from the expanded instance for one side. The challenges are stored inside the instances structs.

fn selector( &self, s: &C::Selector, side: Side ) -> &[<<C as FoldingConfig>::Curve as AffineRepr>::ScalarField]

similar to [Self::col], but folding may ask for a dynamic selector directly instead of just column that happens to be a selector

impl<const N: usize, C: FoldingConfig, Structure: Clone> FoldingEnv<<<C as FoldingConfig>::Curve as AffineRepr>::ScalarField, FoldingInstance<N, <C as FoldingConfig>::Curve>, FoldingWitness<N, <<C as FoldingConfig>::Curve as AffineRepr>::ScalarField>, <C as FoldingConfig>::Column, Challenge, ()> for FoldingEnvironment<N, C, Structure>where FoldingWitness<N, <<C as FoldingConfig>::Curve as AffineRepr>::ScalarField>: Index<C::Column, Output = Evaluations<<<C as FoldingConfig>::Curve as AffineRepr>::ScalarField, Radix2EvaluationDomain<<<C as FoldingConfig>::Curve as AffineRepr>::ScalarField>>>,

type Structure = Structure

Structure which could be storing useful information like selectors, etc.

fn new( structure: &Self::Structure, instances: [&FoldingInstance<N, C::Curve>; 2], witnesses: [&FoldingWitness<N, <<C as FoldingConfig>::Curve as AffineRepr>::ScalarField>; 2] ) -> Self

Creates a new environment storing the structure, instances and witnesses.

fn col( &self, col: C::Column, curr_or_next: CurrOrNext, side: Side ) -> &[<<C as FoldingConfig>::Curve as AffineRepr>::ScalarField]

Returns the evaluations of a given column witness at omega or zeta*omega.

fn challenge( &self, challenge: Challenge, side: Side ) -> <<C as FoldingConfig>::Curve as AffineRepr>::ScalarField

Obtains a given challenge from the expanded instance for one side. The challenges are stored inside the instances structs.

fn selector( &self, _s: &(), _side: Side ) -> &[<<C as FoldingConfig>::Curve as AffineRepr>::ScalarField]

similar to [Self::col], but folding may ask for a dynamic selector directly instead of just column that happens to be a selector

impl<const N: usize, G: CommitmentCurve> Index<Challenge> for FoldingInstance<N, G>

type Output = <G as AffineRepr>::ScalarField

The returned type after indexing.

fn index(&self, index: Challenge) -> &Self::Output

Performs the indexing (container[index]) operation.

impl<const N: usize, G: CommitmentCurve> Instance<G> for FoldingInstance<N, G>

fn to_absorb(&self) -> (Vec<G::ScalarField>, Vec<G>)

This method returns the scalars and commitments that must be absorbed by the sponge. It is not supposed to do any absorption itself, and the user is responsible for calling the sponge absorb methods with the elements returned by this method. When called on a RelaxedInstance, elements will be returned in the following order, for given instances L and R

fn get_alphas(&self) -> &Alphas<G::ScalarField>

Returns the alphas values for the instance

fn get_blinder(&self) -> G::ScalarField

Return the blinder that can be used while committing to polynomials.