Enum o1vm::legacy::folding::Challenge

pub enum Challenge {
    Beta,
    Gamma,
    JointCombiner,
}

Variants

Beta

Gamma

JointCombiner

Trait Implementations

impl Clone for Challenge

fn clone(&self) -> Challenge

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Challenge

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

Formats the value using the given formatter.

impl EnumCount for Challenge

const COUNT: usize = 3usize

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 From<BerkeleyChallengeTerm> for Challenge

fn from(chal: BerkeleyChallengeTerm) -> Self

Converts to this type from the input type.

impl Hash for Challenge

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<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 IntoEnumIterator for Challenge

type Iterator = ChallengeIter

fn iter() -> ChallengeIter

impl PartialEq<Challenge> for Challenge

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

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for Challenge

impl Eq for Challenge

impl StructuralEq for Challenge

impl StructuralPartialEq for Challenge