Struct lambdaworks_crypto::commitments::kzg::KateZaveruchaGoldberg

pub struct KateZaveruchaGoldberg<F: IsPrimeField, P: IsPairing> { /* private fields */ }

Implementations

impl<F: IsPrimeField, P: IsPairing> KateZaveruchaGoldberg<F, P>

pub fn new(srs: StructuredReferenceString<P::G1Point, P::G2Point>) -> Self

Trait Implementations

impl<F: Clone + IsPrimeField, P: Clone + IsPairing> Clone for KateZaveruchaGoldberg<F, P>

where P::G1Point: Clone, P::G2Point: Clone,

fn clone(&self) -> KateZaveruchaGoldberg<F, P>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<const N: usize, F: IsPrimeField<RepresentativeType = UnsignedInteger<N>>, P: IsPairing> IsCommitmentScheme<F> for KateZaveruchaGoldberg<F, P>

type Commitment = <P as IsPairing>::G1Point

fn commit(&self, p: &Polynomial<FieldElement<F>>) -> Self::Commitment

fn open( &self, x: &FieldElement<F>, y: &FieldElement<F>, p: &Polynomial<FieldElement<F>>, ) -> Self::Commitment

fn verify( &self, x: &FieldElement<F>, y: &FieldElement<F>, p_commitment: &Self::Commitment, proof: &Self::Commitment, ) -> bool

fn open_batch( &self, x: &FieldElement<F>, ys: &[FieldElement<F>], polynomials: &[Polynomial<FieldElement<F>>], upsilon: &FieldElement<F>, ) -> Self::Commitment

fn verify_batch( &self, x: &FieldElement<F>, ys: &[FieldElement<F>], p_commitments: &[Self::Commitment], proof: &Self::Commitment, upsilon: &FieldElement<F>, ) -> bool