Type Alias BatchVerifier

type BatchVerifier = Verifier<Bls12>;

The type of the batch verifier.

Aliased Type

struct BatchVerifier { /* private fields */ }

Implementations

impl<E> Verifier<E>

where E: MultiMillerLoop, <E as Engine>::G1: AddAssign,

pub fn new() -> Verifier<E>

Construct a new batch verifier.

pub fn queue<I>(&mut self, item: I)

where I: Into<Item<E>>,

Queue a (proof, inputs) tuple for verification.

pub fn verify<R>( self, rng: R, vk: &VerifyingKey<E>, ) -> Result<(), VerificationError>

where R: RngCore + CryptoRng,

Perform batch verification with a particular VerifyingKey, returning Ok(()) if all proofs were verified and VerificationError otherwise.

pub fn verify_multicore( self, vk: &VerifyingKey<E>, ) -> Result<(), VerificationError>

Perform batch verification with a particular VerifyingKey, returning Ok(()) if all proofs were verified and VerificationError otherwise.

This performs the bulk of internal arithmetic over the global rayon threadpool.

Trait Implementations

impl<E> Debug for Verifier<E>

where E: Debug + MultiMillerLoop,

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

Formats the value using the given formatter.

impl<E> Default for Verifier<E>

where E: MultiMillerLoop,

fn default() -> Verifier<E>

Returns the “default value” for a type.