Struct VerifierSetup 

pub struct VerifierSetup<E: PairingCurve> {
    pub delta_1l: Vec<E::GT>,
    pub delta_1r: Vec<E::GT>,
    pub delta_2l: Vec<E::GT>,
    pub delta_2r: Vec<E::GT>,
    pub chi: Vec<E::GT>,
    pub g1_0: E::G1,
    pub g2_0: E::G2,
    pub h1: E::G1,
    pub h2: E::G2,
    pub ht: E::GT,
    pub max_log_n: usize,
}

Verifier setup parameters

Contains precomputed pairing values for efficient verification. Derived from the prover setup.

Fields

delta_1l: Vec<E::GT>

Δ₁L[k] = e(Γ₁[..2^(k-1)], Γ₂[..2^(k-1)])

delta_1r: Vec<E::GT>

Δ₁R[k] = e(Γ₁[2^(k-1)..2^k], Γ₂[..2^(k-1)])

delta_2l: Vec<E::GT>

Δ₂L[k] = same as Δ₁L[k]

delta_2r: Vec<E::GT>

Δ₂R[k] = e(Γ₁[..2^(k-1)], Γ₂[2^(k-1)..2^k])

chi: Vec<E::GT>

χ[k] = e(Γ₁[..2^k], Γ₂[..2^k])

g1_0: E::G1

First G1 generator

g2_0: E::G2

First G2 generator

h1: E::G1

Blinding generator in G1

h2: E::G2

Blinding generator in G2

ht: E::GT

h_t = e(h₁, h₂)

max_log_n: usize

Maximum log₂ of polynomial size supported

Trait Implementations

impl<E: Clone + PairingCurve> Clone for VerifierSetup<E>

where E::GT: Clone, E::G1: Clone, E::G2: Clone,

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<E: Debug + PairingCurve> Debug for VerifierSetup<E>

where E::GT: Debug, E::G1: Debug, E::G2: Debug,

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

Formats the value using the given formatter.

impl<E: PairingCurve> DoryDeserialize for VerifierSetup<E>

where Vec<E::GT>: DoryDeserialize, E::G1: DoryDeserialize, E::G2: DoryDeserialize, E::GT: DoryDeserialize, usize: DoryDeserialize,

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

Deserialize with customization flags.

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

where Self: Sized,

Deserialize from compressed form with validation.

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

where Self: Sized,

Deserialize from compressed form without validation.

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

where Self: Sized,

Deserialize from uncompressed form with validation.

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

where Self: Sized,

Deserialize from uncompressed form without validation.

impl<E: PairingCurve> DorySerialize for VerifierSetup<E>

where Vec<E::GT>: DorySerialize, E::G1: DorySerialize, E::G2: DorySerialize, E::GT: DorySerialize, usize: DorySerialize,

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

Serialize with customization flags.

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

Returns the serialized size in bytes for the given compression mode.

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

Serialize in compressed form.

fn compressed_size(&self) -> usize

Returns the compressed size in bytes.

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

Serialize in uncompressed form.

fn uncompressed_size(&self) -> usize

Returns the uncompressed size in bytes.

impl From<ArkworksVerifierSetup> for VerifierSetup<BN254>

fn from(setup: ArkworksVerifierSetup) -> Self

Converts to this type from the input type.

impl From<VerifierSetup<BN254>> for ArkworksVerifierSetup

fn from(setup: VerifierSetup<BN254>) -> Self

Converts to this type from the input type.