Trait sp1_recursion_program::commit::PcsVariable

pub trait PcsVariable<C: Config, Challenger> {
    type Domain: PolynomialSpaceVariable<C>;
    type Commitment;
    type Proof;

    // Required methods
    fn natural_domain_for_log_degree(
        &self,
        builder: &mut Builder<C>,
        log_degree: Usize<C::N>,
    ) -> Self::Domain;
    fn verify(
        &self,
        builder: &mut Builder<C>,
        rounds: Array<C, TwoAdicPcsRoundVariable<C>>,
        proof: Self::Proof,
        challenger: &mut Challenger,
    );
}

Reference: p3_commit::Pcs

Required Associated Types

type Domain: PolynomialSpaceVariable<C>

type Commitment

type Proof

Required Methods

fn natural_domain_for_log_degree( &self, builder: &mut Builder<C>, log_degree: Usize<C::N>, ) -> Self::Domain

fn verify( &self, builder: &mut Builder<C>, rounds: Array<C, TwoAdicPcsRoundVariable<C>>, proof: Self::Proof, challenger: &mut Challenger, )

Implementors

impl<C: Config> PcsVariable<C, DuplexChallengerVariable<C>> for TwoAdicFriPcsVariable<C>

where C::F: TwoAdicField, C::EF: TwoAdicField,

type Domain = TwoAdicMultiplicativeCosetVariable<C>

type Commitment = Array<C, Felt<<C as Config>::F>>

type Proof = TwoAdicPcsProofVariable<C>