Struct ProverSetup 

pub struct ProverSetup<E: PairingCurve> {
    pub g1_vec: Vec<E::G1>,
    pub g2_vec: Vec<E::G2>,
    pub h1: E::G1,
    pub h2: E::G2,
    pub ht: E::GT,
}

Prover setup parameters

Contains the generators and parameters needed to create proofs. The setup is transparent (no trusted setup) and can be generated from public randomness.

For square matrices: |Γ₁| = |Γ₂| = 2^((max_log_n+1)/2)

Fields

g1_vec: Vec<E::G1>

Γ₁ - column generators in G1

g2_vec: Vec<E::G2>

Γ₂ - row generators in G2

h1: E::G1

h₁ - blinding generator in G1

h2: E::G2

h₂ - blinding generator in G2

ht: E::GT

h_t = e(h₁, h₂) - precomputed pairing

Implementations

impl<E: PairingCurve> ProverSetup<E>

pub fn new<R: RngCore>(rng: &mut R, max_log_n: usize) -> Self

Generate new prover setup with transparent randomness

For square matrices, generates n = 2^((max_log_n+1)/2) generators for both G1 and G2, supporting polynomials up to 2^max_log_n coefficients arranged as n×n matrices.

Parameters

• rng: Random number generator
• max_log_n: Maximum log₂ of polynomial size (for n×n matrix with n² = 2^max_log_n)

Returns

A new ProverSetup with randomly generated parameters

pub fn to_verifier_setup(&self) -> VerifierSetup<E>

Derive verifier setup from prover setup

Precomputes pairing values for efficient verification by computing delta and chi values for all rounds of the inner product protocol.

pub fn max_nu(&self) -> usize

Returns the maximum nu (log column dimension) supported by this setup

pub fn max_sigma(&self) -> usize

Returns the maximum sigma (log row dimension) supported by this setup

For square matrices, this always equals max_nu()

pub fn max_log_n(&self) -> usize

Returns the maximum log₂ of polynomial size supported

For n×n matrices: max_log_n = 2 * max_nu

Trait Implementations

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

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

fn clone(&self) -> ProverSetup<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 ProverSetup<E>

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

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

Formats the value using the given formatter.

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

where Vec<E::G1>: DoryDeserialize, Vec<E::G2>: DoryDeserialize, E::G1: DoryDeserialize, E::G2: DoryDeserialize, E::GT: 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 ProverSetup<E>

where Vec<E::G1>: DorySerialize, Vec<E::G2>: DorySerialize, E::G1: DorySerialize, E::G2: DorySerialize, E::GT: 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<ArkworksProverSetup> for ProverSetup<BN254>

fn from(setup: ArkworksProverSetup) -> Self

Converts to this type from the input type.

impl From<ProverSetup<BN254>> for ArkworksProverSetup

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

Converts to this type from the input type.