Type Alias PlonkVerifier

pub type PlonkVerifier<AS> = PlonkVerifier<AS, LimbsEncoding<LIMBS, BITS>>;

AS stands for accumulation scheme. AS can be either Kzg<Bn256, Gwc19> (the original PLONK KZG multi-open) or Kzg<Bn256, Bdfg21> (SHPLONK)

Aliased Type

struct PlonkVerifier<AS>(/* private fields */);

Trait Implementations

impl<C, L, AS, AE> CostEstimation<(C, L)> for PlonkVerifier<AS, AE>

where C: CurveAffine, L: Loader<C>, AS: AccumulationScheme<C, L> + PolynomialCommitmentScheme<C, L, Output = <AS as AccumulationScheme<C, L>>::Accumulator> + CostEstimation<C, Input = Vec<Query<Rotation>>>,

type Input = PlonkProtocol<C, L>

Input for CostEstimation::estimate_cost.

fn estimate_cost(protocol: &PlonkProtocol<C, L>) -> Cost

Estimate cost of verifier given the input.

impl<AS, AE> Debug for PlonkVerifier<AS, AE>

where AS: Debug, AE: Debug,

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

Formats the value using the given formatter.

impl<C, L, AS, AE> SnarkVerifier<C, L> for PlonkVerifier<AS, AE>

where C: CurveAffine, L: Loader<C>, AS: AccumulationDecider<C, L> + PolynomialCommitmentScheme<C, L, Output = <AS as AccumulationScheme<C, L>>::Accumulator>, <AS as AccumulationDecider<C, L>>::DecidingKey: AsRef<<AS as PolynomialCommitmentScheme<C, L>>::VerifyingKey>, AE: AccumulatorEncoding<C, L, Accumulator = <AS as AccumulationScheme<C, L>>::Accumulator>,

type VerifyingKey = <AS as AccumulationDecider<C, L>>::DecidingKey

Verifying key for subroutines if any.

type Protocol = PlonkProtocol<C, L>

Protocol specifying configuration of a (S)NARK.

type Proof = PlonkProof<C, L, AS>

Structured proof read from transcript.

type Output = ()

Output of verification.

fn read_proof<T>( vk: &<PlonkVerifier<AS, AE> as SnarkVerifier<C, L>>::VerifyingKey, protocol: &<PlonkVerifier<AS, AE> as SnarkVerifier<C, L>>::Protocol, instances: &[Vec<<L as ScalarLoader<<C as CurveAffine>::ScalarExt>>::LoadedScalar>], transcript: &mut T, ) -> Result<<PlonkVerifier<AS, AE> as SnarkVerifier<C, L>>::Proof, Error>

where T: TranscriptRead<C, L>,

Read SnarkVerifier::Proof from transcript.

fn verify( vk: &<PlonkVerifier<AS, AE> as SnarkVerifier<C, L>>::VerifyingKey, protocol: &<PlonkVerifier<AS, AE> as SnarkVerifier<C, L>>::Protocol, instances: &[Vec<<L as ScalarLoader<<C as CurveAffine>::ScalarExt>>::LoadedScalar>], proof: &<PlonkVerifier<AS, AE> as SnarkVerifier<C, L>>::Proof, ) -> Result<<PlonkVerifier<AS, AE> as SnarkVerifier<C, L>>::Output, Error>

Verify SnarkVerifier::Proof and output SnarkVerifier::Output.