Trait BatchVerifier

pub trait BatchVerifier {
    // Required method
    fn queue_statement<R>(
        &mut self,
        stmt: impl FnOnce(&mut InternalBatchVerifier) -> R,
    ) -> R;
}

This trait represents a batch verifier.

A batch verifier is used to speed up verification by verifying multiple transactions together.

Not all proofs can be batched and at its core it’s intended to verify a series of statements are each equivalent to zero.

Required Methods

fn queue_statement<R>( &mut self, stmt: impl FnOnce(&mut InternalBatchVerifier) -> R, ) -> R

Queue a statement for batch verification.

Panics

This function may panic if stmt contains calls to rayon’s parallel iterators, e.g. par_iter().

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.

Implementations on Foreign Types

impl BatchVerifier for &mut BatchVerifier

fn queue_statement<R>( &mut self, stmt: impl FnOnce(&mut InternalBatchVerifier) -> R, ) -> R

Implementors