Trait SnarkVerifier

pub trait SnarkVerifier<C, L>
where
    C: CurveAffine,
    L: Loader<C>,
{
    type VerifyingKey: Clone + Debug;
    type Protocol: Clone + Debug;
    type Proof: Clone + Debug;
    type Output: Clone + Debug;

    // Required methods
    fn read_proof<T>(
        vk: &Self::VerifyingKey,
        protocol: &Self::Protocol,
        instances: &[Vec<L::LoadedScalar>],
        transcript: &mut T,
    ) -> Result<Self::Proof, Error>
       where T: TranscriptRead<C, L>;
    fn verify(
        vk: &Self::VerifyingKey,
        protocol: &Self::Protocol,
        instances: &[Vec<L::LoadedScalar>],
        proof: &Self::Proof,
    ) -> Result<Self::Output, Error>;
}

(S)NARK verifier for verifying a (S)NARK.

Required Associated Types

type VerifyingKey: Clone + Debug

Verifying key for subroutines if any.

type Protocol: Clone + Debug

Protocol specifying configuration of a (S)NARK.

type Proof: Clone + Debug

Structured proof read from transcript.

type Output: Clone + Debug

Output of verification.

Required Methods

fn read_proof<T>( vk: &Self::VerifyingKey, protocol: &Self::Protocol, instances: &[Vec<L::LoadedScalar>], transcript: &mut T, ) -> Result<Self::Proof, Error>

where T: TranscriptRead<C, L>,

Read SnarkVerifier::Proof from transcript.

fn verify( vk: &Self::VerifyingKey, protocol: &Self::Protocol, instances: &[Vec<L::LoadedScalar>], proof: &Self::Proof, ) -> Result<Self::Output, Error>

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

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

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

where C: CurveAffine, L: Loader<C>, AS: AccumulationScheme<C, L> + PolynomialCommitmentScheme<C, L, Output = AS::Accumulator>, AE: AccumulatorEncoding<C, L, Accumulator = AS::Accumulator>,

type VerifyingKey = <AS as PolynomialCommitmentScheme<C, L>>::VerifyingKey

type Protocol = PlonkProtocol<C, L>

type Proof = PlonkProof<C, L, AS>

type Output = Vec<<AE as AccumulatorEncoding<C, L>>::Accumulator>

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::Accumulator>, AS::DecidingKey: AsRef<<AS as PolynomialCommitmentScheme<C, L>>::VerifyingKey>, AE: AccumulatorEncoding<C, L, Accumulator = AS::Accumulator>,

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

type Protocol = PlonkProtocol<C, L>

type Proof = PlonkProof<C, L, AS>

type Output = ()