Struct BatchProof 

pub struct BatchProof<SC: StarkGenericConfig> {
    pub commitments: BatchCommitments<Commitment<SC>>,
    pub opened_values: BatchOpenedValues<Challenge<SC>>,
    pub opening_proof: PcsProof<SC>,
    pub global_lookup_data: Vec<Vec<LookupData<Challenge<SC>>>>,
    pub degree_bits: Vec<usize>,
}

A proof of batched STARK instances.

Fields

commitments: BatchCommitments<Commitment<SC>>

Commitments to all trace and quotient polynomials.

opened_values: BatchOpenedValues<Challenge<SC>>

Opened values at the out-of-domain point for all instances.

opening_proof: PcsProof<SC>

PCS opening proof for all commitments.

global_lookup_data: Vec<Vec<LookupData<Challenge<SC>>>>

Data necessary to verify the global lookup arguments across all instances.

degree_bits: Vec<usize>

Per-instance log2 of the extended trace domain size. For instance i, this stores log2(|extended trace domain|) = log2(N_i) + is_zk().

Trait Implementations

impl<'de, SC: StarkGenericConfig> Deserialize<'de> for BatchProof<SC>

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<SC: StarkGenericConfig> Serialize for BatchProof<SC>

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

where __S: Serializer,

Serialize this value into the given Serde serializer.