Skip to main content

BatchItem

ark_vrf::pedersen

Struct BatchItem 

Source 
pub struct BatchItem<S: PedersenSuite> { /* private fields */ }
Expand description

Deferred Pedersen verification data for batch verification.

Captures all the information needed to verify a single Pedersen proof, allowing multiple proofs to be verified together via a single MSM.

Implementations§

Source§

impl<S: PedersenSuite> BatchItem<S>

Source

pub fn new( ios: impl AsRef<[VrfIo<S>]>, ad: impl AsRef<[u8]>, proof: &Proof<S>, ) -> Self

Prepare a proof for batch verification.

Computes the challenge and packages all data needed for deferred verification. This is cheap (one hash, no scalar multiplications) and can be done in parallel.

Auto Trait Implementations§

§

impl<S> Freeze for BatchItem<S>
where <<S as Suite>::Affine as AffineRepr>::ScalarField: Freeze, <S as Suite>::Affine: Freeze,

§

impl<S> RefUnwindSafe for BatchItem<S>
where <<S as Suite>::Affine as AffineRepr>::ScalarField: RefUnwindSafe, <S as Suite>::Affine: RefUnwindSafe,

§

impl<S> Send for BatchItem<S>

§

impl<S> Sync for BatchItem<S>

§

impl<S> Unpin for BatchItem<S>
where <<S as Suite>::Affine as AffineRepr>::ScalarField: Unpin, <S as Suite>::Affine: Unpin,

§

impl<S> UnsafeUnpin for BatchItem<S>
where <<S as Suite>::Affine as AffineRepr>::ScalarField: UnsafeUnpin, <S as Suite>::Affine: UnsafeUnpin,

§

impl<S> UnwindSafe for BatchItem<S>
where <<S as Suite>::Affine as AffineRepr>::ScalarField: UnwindSafe, <S as Suite>::Affine: UnwindSafe,

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V