Type Alias RingVerifier

pub type RingVerifier = RingVerifier<<<BandersnatchSha512Ell2 as Suite>::Affine as AffineRepr>::BaseField, KZG<<BandersnatchSha512Ell2 as RingSuite>::Pairing>, <<BandersnatchSha512Ell2 as Suite>::Affine as AffineRepr>::Config>;

Aliased Type

struct RingVerifier { /* private fields */ }

Implementations

impl<F, CS, Jubjub, T> RingVerifier<F, CS, Jubjub, T>

where F: PrimeField, CS: PCS<F>, Jubjub: TECurveConfig<BaseField = F>, T: PlonkTranscript<F, CS>,

pub fn init( verifier_key: VerifierKey<F, CS>, piop_params: PiopParams<F, Jubjub>, empty_transcript: T, ) -> RingVerifier<F, CS, Jubjub, T>

pub fn verify( &self, proof: Proof<F, CS, RingCommitments<F, <CS as PCS<F>>::C>, RingEvaluations<F>>, result: Affine<Jubjub>, ) -> bool

pub fn piop_params(&self) -> &PiopParams<F, Jubjub>