w3f_ring_proof::multi_ring_batch_verifier

Struct BatchItem

pub struct BatchItem<E, J>where
    E: Pairing,
    J: TECurveConfig<BaseField = E::ScalarField>,
{ /* private fields */ }

Expand description

A ring proof preprocessed for multi-ring batch verification.

Implementations§

Source §

impl<E, J> BatchItem<E, J>
where E: Pairing, J: TECurveConfig<BaseField = E::ScalarField>,

Source

pub fn new<T>( verifier: &RingVerifier<E::ScalarField, KZG<E>, J, T>, proof: RingProof<E::ScalarField, KZG<E>>, result: Affine<J>, ) -> Self
where T: PlonkTranscript<E::ScalarField, KZG<E>>,

Prepares a ring proof for batch verification without accumulating it.

The returned item is independent of both any accumulator state and the originating RingVerifier, so multiple proofs (even from different rings) can be prepared in parallel.

Auto Trait Implementations§

§

impl<E, J> Freeze for BatchItem<E, J>
where <E as Pairing>::ScalarField: Freeze, <E as Pairing>::G1Affine: Freeze,

§

impl<E, J> RefUnwindSafe for BatchItem<E, J>
where <E as Pairing>::ScalarField: RefUnwindSafe, <E as Pairing>::G1Affine: RefUnwindSafe,

§

impl<E, J> Send for BatchItem<E, J>

§

impl<E, J> Sync for BatchItem<E, J>

§

impl<E, J> Unpin for BatchItem<E, J>
where <E as Pairing>::ScalarField: Unpin, <E as Pairing>::G1Affine: Unpin,

§

impl<E, J> UnsafeUnpin for BatchItem<E, J>
where <E as Pairing>::ScalarField: UnsafeUnpin, <E as Pairing>::G1Affine: UnsafeUnpin,

§

impl<E, J> UnwindSafe for BatchItem<E, J>
where <E as Pairing>::ScalarField: UnwindSafe, <E as Pairing>::G1Affine: 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<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

Source §

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

Source §

impl<T> From<T> for T

Source §

fn from(t: T) -> T

Returns the argument unchanged.

Source §

impl<T, U> Into 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> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,

Source §

impl<T> Same for T

Source §

type Output = T

Should always be Self

Source §

impl<T, U> TryFrom 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>::Error>

Performs the conversion.

Source §

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

Source §

type Error = >::Error

The type returned in the event of a conversion error.

Source §

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

Performs the conversion.

Source §

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

Source §

BatchItem

Struct BatchItem

Implementations§

impl<E, J> BatchItem<E, J>
where E: Pairing, J: TECurveConfig<BaseField = E::ScalarField>,

pub fn new<T>( verifier: &RingVerifier<E::ScalarField, KZG<E>, J, T>, proof: RingProof<E::ScalarField, KZG<E>>, result: Affine<J>, ) -> Self
where T: PlonkTranscript<E::ScalarField, KZG<E>>,

Auto Trait Implementations§

impl<E, J> Freeze for BatchItem<E, J>
where <E as Pairing>::ScalarField: Freeze, <E as Pairing>::G1Affine: Freeze,

impl<E, J> RefUnwindSafe for BatchItem<E, J>
where <E as Pairing>::ScalarField: RefUnwindSafe, <E as Pairing>::G1Affine: RefUnwindSafe,

impl<E, J> Send for BatchItem<E, J>

impl<E, J> Sync for BatchItem<E, J>

impl<E, J> Unpin for BatchItem<E, J>
where <E as Pairing>::ScalarField: Unpin, <E as Pairing>::G1Affine: Unpin,

impl<E, J> UnsafeUnpin for BatchItem<E, J>
where <E as Pairing>::ScalarField: UnsafeUnpin, <E as Pairing>::G1Affine: UnsafeUnpin,

impl<E, J> UnwindSafe for BatchItem<E, J>
where <E as Pairing>::ScalarField: UnwindSafe, <E as Pairing>::G1Affine: UnwindSafe,

Blanket Implementations§

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

fn type_id(&self) -> TypeId

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

fn borrow(&self) -> &T

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

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

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

impl<T> From<T> for T

fn from(t: T) -> T

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

fn into(self) -> U

impl<T> IntoEither for T

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

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

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,

impl<T> Same for T

type Output = T

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

type Error = Infallible

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

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

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

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

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

fn vzip(self) -> V

BatchItem

Struct BatchItem Copy item path

Implementations§

impl<E, J> BatchItem<E, J>where E: Pairing, J: TECurveConfig<BaseField = E::ScalarField>,

pub fn new<T>( verifier: &RingVerifier<E::ScalarField, KZG<E>, J, T>, proof: RingProof<E::ScalarField, KZG<E>>, result: Affine<J>, ) -> Selfwhere T: PlonkTranscript<E::ScalarField, KZG<E>>,

Auto Trait Implementations§

impl<E, J> Freeze for BatchItem<E, J>where <E as Pairing>::ScalarField: Freeze, <E as Pairing>::G1Affine: Freeze,

impl<E, J> RefUnwindSafe for BatchItem<E, J>where <E as Pairing>::ScalarField: RefUnwindSafe, <E as Pairing>::G1Affine: RefUnwindSafe,

impl<E, J> Send for BatchItem<E, J>

impl<E, J> Sync for BatchItem<E, J>

impl<E, J> Unpin for BatchItem<E, J>where <E as Pairing>::ScalarField: Unpin, <E as Pairing>::G1Affine: Unpin,

impl<E, J> UnsafeUnpin for BatchItem<E, J>where <E as Pairing>::ScalarField: UnsafeUnpin, <E as Pairing>::G1Affine: UnsafeUnpin,

impl<E, J> UnwindSafe for BatchItem<E, J>where <E as Pairing>::ScalarField: UnwindSafe, <E as Pairing>::G1Affine: UnwindSafe,

Blanket Implementations§

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

fn type_id(&self) -> TypeId

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

fn borrow(&self) -> &T

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

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

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DTwhere ST: ?Sized, DT: ?Sized,

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DTwhere ST: ?Sized, DT: ?Sized,

impl<T> From<T> for T

fn from(t: T) -> T

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

fn into(self) -> U

impl<T> IntoEither for T

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

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

impl<T> Read<Exclusive, BecauseExclusive> for Twhere T: ?Sized,

impl<T> Same for T

type Output = T

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

type Error = Infallible

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

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

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

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

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

fn vzip(self) -> V

Struct BatchItem

impl<E, J> BatchItem<E, J>
where E: Pairing, J: TECurveConfig<BaseField = E::ScalarField>,

pub fn new<T>( verifier: &RingVerifier<E::ScalarField, KZG<E>, J, T>, proof: RingProof<E::ScalarField, KZG<E>>, result: Affine<J>, ) -> Self
where T: PlonkTranscript<E::ScalarField, KZG<E>>,

impl<E, J> Freeze for BatchItem<E, J>
where <E as Pairing>::ScalarField: Freeze, <E as Pairing>::G1Affine: Freeze,

impl<E, J> RefUnwindSafe for BatchItem<E, J>
where <E as Pairing>::ScalarField: RefUnwindSafe, <E as Pairing>::G1Affine: RefUnwindSafe,

impl<E, J> Unpin for BatchItem<E, J>
where <E as Pairing>::ScalarField: Unpin, <E as Pairing>::G1Affine: Unpin,

impl<E, J> UnsafeUnpin for BatchItem<E, J>
where <E as Pairing>::ScalarField: UnsafeUnpin, <E as Pairing>::G1Affine: UnsafeUnpin,

impl<E, J> UnwindSafe for BatchItem<E, J>
where <E as Pairing>::ScalarField: UnwindSafe, <E as Pairing>::G1Affine: UnwindSafe,

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

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

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

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

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

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

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,

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

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

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