Trait cuprate_consensus_rules::batch_verifier::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().

Object Safety

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