Type Alias GWC

pub type GWC = KzgAs<Bn256, Gwc19>;

Aliased Type

struct GWC(/* private fields */);

Trait Implementations

impl AccumulationSchemeSDK for GWC

impl EvmKzgAccumulationScheme for GWC

impl NativeKzgAccumulationScheme for GWC

impl<M, MOS> AccumulationDecider<<M as Engine>::G1Affine, NativeLoader> for KzgAs<M, MOS>

where M: MultiMillerLoop, <M as Engine>::G1Affine: CurveAffine<ScalarExt = <M as Engine>::Fr, CurveExt = <M as Engine>::G1>, MOS: Clone + Debug,

type DecidingKey = KzgDecidingKey<M>

Deciding key. The key for decider for perform the final accumulator check.

fn decide( dk: &<KzgAs<M, MOS> as AccumulationDecider<<M as Engine>::G1Affine, NativeLoader>>::DecidingKey, _: KzgAccumulator<<M as Engine>::G1Affine, NativeLoader>, ) -> Result<(), Error>

Decide if a AccumulationScheme::Accumulator is valid.

fn decide_all( dk: &<KzgAs<M, MOS> as AccumulationDecider<<M as Engine>::G1Affine, NativeLoader>>::DecidingKey, accumulators: Vec<KzgAccumulator<<M as Engine>::G1Affine, NativeLoader>>, ) -> Result<(), Error>

Decide if all AccumulationScheme::Accumulators are valid.

impl<M, MOS> AccumulationDecider<<M as Engine>::G1Affine, Rc<EvmLoader>> for KzgAs<M, MOS>

where <M as Engine>::G2Affine: CurveAffine<ScalarExt = <M as Engine>::Fr, CurveExt = <M as Engine>::G2>, M: MultiMillerLoop, <M as Engine>::G1Affine: CurveAffine<ScalarExt = <M as Engine>::Fr, CurveExt = <M as Engine>::G1>, <M as Engine>::Fr: PrimeField<Repr = [u8; 32]>, MOS: Clone + Debug,

type DecidingKey = KzgDecidingKey<M>

Deciding key. The key for decider for perform the final accumulator check.

fn decide( dk: &<KzgAs<M, MOS> as AccumulationDecider<<M as Engine>::G1Affine, Rc<EvmLoader>>>::DecidingKey, _: KzgAccumulator<<M as Engine>::G1Affine, Rc<EvmLoader>>, ) -> Result<(), Error>

Decide if a AccumulationScheme::Accumulator is valid.

fn decide_all( dk: &<KzgAs<M, MOS> as AccumulationDecider<<M as Engine>::G1Affine, Rc<EvmLoader>>>::DecidingKey, accumulators: Vec<KzgAccumulator<<M as Engine>::G1Affine, Rc<EvmLoader>>>, ) -> Result<(), Error>

Decide if all AccumulationScheme::Accumulators are valid.

impl<M, L, MOS> AccumulationScheme<<M as Engine>::G1Affine, L> for KzgAs<M, MOS>

where M: MultiMillerLoop, <M as Engine>::G1Affine: CurveAffine<ScalarExt = <M as Engine>::Fr, CurveExt = <M as Engine>::G1>, L: Loader<<M as Engine>::G1Affine>, MOS: Clone + Debug,

type Accumulator = KzgAccumulator<<M as Engine>::G1Affine, L>

Accumulator to be accumulated.

type VerifyingKey = KzgAsVerifyingKey

Verifying key.

type Proof = KzgAsProof<<M as Engine>::G1Affine, L>

Structured proof read from transcript.

fn read_proof<T>( vk: &<KzgAs<M, MOS> as AccumulationScheme<<M as Engine>::G1Affine, L>>::VerifyingKey, instances: &[<KzgAs<M, MOS> as AccumulationScheme<<M as Engine>::G1Affine, L>>::Accumulator], transcript: &mut T, ) -> Result<<KzgAs<M, MOS> as AccumulationScheme<<M as Engine>::G1Affine, L>>::Proof, Error>

where T: TranscriptRead<<M as Engine>::G1Affine, L>,

Read a AccumulationScheme::Proof from transcript.

fn verify( _: &<KzgAs<M, MOS> as AccumulationScheme<<M as Engine>::G1Affine, L>>::VerifyingKey, instances: &[<KzgAs<M, MOS> as AccumulationScheme<<M as Engine>::G1Affine, L>>::Accumulator], proof: &<KzgAs<M, MOS> as AccumulationScheme<<M as Engine>::G1Affine, L>>::Proof, ) -> Result<<KzgAs<M, MOS> as AccumulationScheme<<M as Engine>::G1Affine, L>>::Accumulator, Error>

Verify old AccumulationScheme::Accumulators are accumulated properly into a new one with the AccumulationScheme::Proof, and returns the new one as output.

impl<M, MOS> AccumulationSchemeProver<<M as Engine>::G1Affine> for KzgAs<M, MOS>

where M: MultiMillerLoop, <M as Engine>::G1Affine: CurveAffine<ScalarExt = <M as Engine>::Fr, CurveExt = <M as Engine>::G1>, MOS: Clone + Debug,

type ProvingKey = KzgAsProvingKey<<M as Engine>::G1Affine>

Proving key.

fn create_proof<T, R>( pk: &<KzgAs<M, MOS> as AccumulationSchemeProver<<M as Engine>::G1Affine>>::ProvingKey, instances: &[KzgAccumulator<<M as Engine>::G1Affine, NativeLoader>], transcript: &mut T, rng: R, ) -> Result<KzgAccumulator<<M as Engine>::G1Affine, NativeLoader>, Error>

where T: TranscriptWrite<<M as Engine>::G1Affine>, R: Rng,

Create a proof that argues if old AccumulationScheme::Accumulators are properly accumulated into the new one, and returns the new one as output.

impl<M, MOS> Clone for KzgAs<M, MOS>

where M: Clone, MOS: Clone,

fn clone(&self) -> KzgAs<M, MOS>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<M> CostEstimation<<M as Engine>::G1Affine> for KzgAs<M, Gwc19>

where M: MultiMillerLoop,

type Input = Vec<Query<Rotation>>

Input for CostEstimation::estimate_cost.

fn estimate_cost(queries: &Vec<Query<Rotation>>) -> Cost

Estimate cost of verifier given the input.

impl<M, MOS> Debug for KzgAs<M, MOS>

where M: Debug, MOS: Debug,

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

Formats the value using the given formatter.

impl<M, L> PolynomialCommitmentScheme<<M as Engine>::G1Affine, L> for KzgAs<M, Gwc19>

where M: MultiMillerLoop, <M as Engine>::G1Affine: CurveAffine<ScalarExt = <M as Engine>::Fr, CurveExt = <M as Engine>::G1>, L: Loader<<M as Engine>::G1Affine>,

type VerifyingKey = KzgSuccinctVerifyingKey<<M as Engine>::G1Affine>

Verifying key.

type Proof = Gwc19Proof<<M as Engine>::G1Affine, L>

Structured proof read from transcript.

type Output = KzgAccumulator<<M as Engine>::G1Affine, L>

Output of verification.

fn read_proof<T>( _: &<KzgAs<M, Gwc19> as PolynomialCommitmentScheme<<M as Engine>::G1Affine, L>>::VerifyingKey, queries: &[Query<Rotation>], transcript: &mut T, ) -> Result<<KzgAs<M, Gwc19> as PolynomialCommitmentScheme<<M as Engine>::G1Affine, L>>::Proof, Error>

where T: TranscriptRead<<M as Engine>::G1Affine, L>,

Read PolynomialCommitmentScheme::Proof from transcript.

fn verify( svk: &<KzgAs<M, Gwc19> as PolynomialCommitmentScheme<<M as Engine>::G1Affine, L>>::VerifyingKey, commitments: &[Msm<'_, <M as Engine>::G1Affine, L>], z: &<L as ScalarLoader<<<M as Engine>::G1Affine as CurveAffine>::ScalarExt>>::LoadedScalar, queries: &[Query<Rotation, <L as ScalarLoader<<<M as Engine>::G1Affine as CurveAffine>::ScalarExt>>::LoadedScalar>], proof: &<KzgAs<M, Gwc19> as PolynomialCommitmentScheme<<M as Engine>::G1Affine, L>>::Proof, ) -> Result<<KzgAs<M, Gwc19> as PolynomialCommitmentScheme<<M as Engine>::G1Affine, L>>::Output, Error>

Verify PolynomialCommitmentScheme::Proof and output PolynomialCommitmentScheme::Output.