Struct BatchProof

pub struct BatchProof<E: Pairing> { /* private fields */ }

An aggregated SNARK proof that batchly proving multiple instances.

Implementations

impl<E: Pairing> BatchProof<E>

pub fn len(&self) -> usize

The number of instances being proved in a batch proof.

pub fn is_empty(&self) -> bool

Check whether a BatchProof proves nothing.

pub fn dummy(n: usize) -> Self

Create a dummy batch proof over n TurboPlonk instances.

impl<E: Pairing> BatchProof<E>

pub fn create_variables<F, P>( &self, circuit: &mut PlonkCircuit<F>, m: usize, two_power_m: Option<F>, ) -> Result<BatchProofVar<F>, PlonkError>

where E: Pairing<BaseField = F, G1Affine = Affine<P>>, F: RescueParameter + SWToTEConParam, P: SWCurveConfig<BaseField = F>,

Create a BatchProofVar variable from a BatchProof.

Trait Implementations

impl<E: Pairing> CanonicalDeserialize for BatchProof<E>

fn deserialize_with_mode<R: Read>( reader: R, compress: Compress, validate: Validate, ) -> Result<Self, SerializationError>

The general deserialize method that takes in customization flags.

fn deserialize_compressed<R>(reader: R) -> Result<Self, SerializationError>

where R: Read,

fn deserialize_compressed_unchecked<R>( reader: R, ) -> Result<Self, SerializationError>

where R: Read,

fn deserialize_uncompressed<R>(reader: R) -> Result<Self, SerializationError>

where R: Read,

fn deserialize_uncompressed_unchecked<R>( reader: R, ) -> Result<Self, SerializationError>

where R: Read,

impl<E: Pairing> CanonicalSerialize for BatchProof<E>

fn serialize_with_mode<W: Write>( &self, writer: W, compress: Compress, ) -> Result<(), SerializationError>

The general serialize method that takes in customization flags.

fn serialized_size(&self, compress: Compress) -> usize

fn serialize_compressed<W>(&self, writer: W) -> Result<(), SerializationError>

where W: Write,

fn compressed_size(&self) -> usize

fn serialize_uncompressed<W>(&self, writer: W) -> Result<(), SerializationError>

where W: Write,

fn uncompressed_size(&self) -> usize

impl<E: Clone + Pairing> Clone for BatchProof<E>

where E::ScalarField: Clone,

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<E: Debug + Pairing> Debug for BatchProof<E>

where E::ScalarField: Debug,

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

Formats the value using the given formatter.

impl<'de, E: Pairing> Deserialize<'de> for BatchProof<E>

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<E: Pairing> Display for BatchProof<E>

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

Formats the value using the given formatter.

impl<E: Pairing> From<&BatchProof<E>> for TaggedBase64

fn from(x: &BatchProof<E>) -> Self

Converts to this type from the input type.

impl<E: Pairing> From<BatchProof<E>> for TaggedBase64

fn from(x: BatchProof<E>) -> Self

Converts to this type from the input type.

impl<E: Pairing> From<Proof<E>> for BatchProof<E>

fn from(proof: Proof<E>) -> Self

Converts to this type from the input type.

impl<E: Pairing> FromStr for BatchProof<E>

type Err = Tb64Error

The associated error which can be returned from parsing.

fn from_str(s: &str) -> Result<Self, Self::Err>

Parses a string s to return a value of this type.

impl<E> Hash for BatchProof<E>

where E: Pairing,

fn hash<__HE>(&self, __state: &mut __HE)

where __HE: Hasher,

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<E> PartialEq for BatchProof<E>

where E: PartialEq + Pairing,

fn eq(&self, other: &Self) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<E: Pairing> Serialize for BatchProof<E>

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<E: Pairing> Tagged for BatchProof<E>

fn tag() -> String

impl<E: Pairing> TryFrom<&TaggedBase64> for BatchProof<E>

type Error = Tb64Error

The type returned in the event of a conversion error.

fn try_from(t: &TaggedBase64) -> Result<Self, Self::Error>

Performs the conversion.

impl<E: Pairing> TryFrom<TaggedBase64> for BatchProof<E>

type Error = Tb64Error

The type returned in the event of a conversion error.

fn try_from(t: TaggedBase64) -> Result<Self, Self::Error>

Performs the conversion.

impl<E: Pairing> Valid for BatchProof<E>

fn check(&self) -> Result<(), SerializationError>

fn batch_check<'a>( batch: impl Iterator<Item = &'a Self> + Send, ) -> Result<(), SerializationError>

where Self: 'a,

impl<E: Eq + Pairing> Eq for BatchProof<E>

where E::ScalarField: Eq,