Type Alias Item

pub type Item = Item<Bls12>;

The type of the batch item. This is a Groth16 verification item.

Aliased Type

struct Item { /* private fields */ }

Implementations

impl<E> Item<E>

where E: MultiMillerLoop,

pub fn verify_single( self, pvk: &PreparedVerifyingKey<E>, ) -> Result<(), VerificationError>

Perform non-batched verification of this Item.

This is useful (in combination with Item::clone) for implementing fallback logic when batch verification fails.

Trait Implementations

impl<T> TryFrom<DescriptionWrapper<&T>> for Item

where T: Description,

type Error = TransactionError

The type returned in the event of a conversion error.

fn try_from(input: DescriptionWrapper<&T>) -> Result<Self, Self::Error>

Performs the conversion.

impl<E> Clone for Item<E>

where E: Clone + MultiMillerLoop, <E as Engine>::Fr: Clone,

fn clone(&self) -> Item<E>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<E> Debug for Item<E>

where E: Debug + MultiMillerLoop, <E as Engine>::Fr: Debug,

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

Formats the value using the given formatter.

impl<E> From<(&Proof<E>, &[<E as Engine>::Fr])> for Item<E>

where E: MultiMillerLoop,

fn from(_: (&Proof<E>, &[<E as Engine>::Fr])) -> Item<E>

Converts to this type from the input type.

impl<E> From<(Proof<E>, Vec<<E as Engine>::Fr>)> for Item<E>

where E: MultiMillerLoop,

fn from(_: (Proof<E>, Vec<<E as Engine>::Fr>)) -> Item<E>

Converts to this type from the input type.