Struct CirclePcs

pub struct CirclePcs<Val: Field, InputMmcs, FriMmcs> {
    pub mmcs: InputMmcs,
    pub fri_config: FriConfig<FriMmcs>,
    pub _phantom: PhantomData<Val>,
}

Fields

mmcs: InputMmcs

fri_config: FriConfig<FriMmcs>

_phantom: PhantomData<Val>

Trait Implementations

impl<Val: Debug + Field, InputMmcs: Debug, FriMmcs: Debug> Debug for CirclePcs<Val, InputMmcs, FriMmcs>

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

Formats the value using the given formatter.

impl<Val, InputMmcs, FriMmcs, Challenge, Challenger> Pcs<Challenge, Challenger> for CirclePcs<Val, InputMmcs, FriMmcs>

where Val: ComplexExtendable, Challenge: ExtensionField<Val>, InputMmcs: Mmcs<Val>, FriMmcs: Mmcs<Challenge>, Challenger: FieldChallenger<Val> + GrindingChallenger + CanObserve<FriMmcs::Commitment>,

type Domain = CircleDomain<Val>

type Commitment = <InputMmcs as Mmcs<Val>>::Commitment

The commitment that’s sent to the verifier.

type ProverData = <InputMmcs as Mmcs<Val>>::ProverData<DenseMatrix<Val>>

Data that the prover stores for committed polynomials, to help the prover with opening.

type Proof = CirclePcsProof<Val, Challenge, InputMmcs, FriMmcs, <Challenger as GrindingChallenger>::Witness>

The opening argument.

type Error = FriError<<FriMmcs as Mmcs<Challenge>>::Error, InputError<<InputMmcs as Mmcs<Val>>::Error, <FriMmcs as Mmcs<Challenge>>::Error>>

fn natural_domain_for_degree(&self, degree: usize) -> Self::Domain

This should return a coset domain (s.t. Domain::next_point returns Some)

fn commit( &self, evaluations: Vec<(Self::Domain, RowMajorMatrix<Val>)>, ) -> (Self::Commitment, Self::ProverData)

fn get_evaluations_on_domain<'a>( &self, data: &'a Self::ProverData, idx: usize, domain: Self::Domain, ) -> impl Matrix<Val> + 'a

fn open( &self, rounds: Vec<(&Self::ProverData, Vec<Vec<Challenge>>)>, challenger: &mut Challenger, ) -> (OpenedValues<Challenge>, Self::Proof)

fn verify( &self, rounds: Vec<(Self::Commitment, Vec<(Self::Domain, Vec<(Challenge, Vec<Challenge>)>)>)>, proof: &Self::Proof, challenger: &mut Challenger, ) -> Result<(), Self::Error>