Struct ProverData 

pub struct ProverData<SC: SGC> {
    pub common: CommonData<SC>,
    pub prover_only: ProverOnlyData<SC>,
}

Combined prover data containing both common and prover-only data.

This is a convenience struct that bundles CommonData (shared with verifier) and ProverOnlyData (prover-exclusive) together.

Fields

common: CommonData<SC>

Data shared between prover and verifier.

prover_only: ProverOnlyData<SC>

Prover-exclusive data.

Implementations

impl<SC: SGC> ProverData<SC>

pub fn empty(num_instances: usize) -> Self

Create ProverData with no preprocessed columns or lookups.

Use this when none of your Air implementations have preprocessed columns or lookups.

impl<SC> ProverData<SC>

where SC: SGC, Challenge<SC>: BasedVectorSpace<Val<SC>>,

pub fn from_instances<A>( config: &SC, instances: &[StarkInstance<'_, SC, A>], ) -> Self

where SymbolicExpressionExt<Val<SC>, SC::Challenge>: Algebra<SC::Challenge>, A: Air<SymbolicAirBuilder<Val<SC>, SC::Challenge>> + LookupAir<Val<SC>> + Clone,

Build ProverData directly from STARK instances.

This automatically:

• Derives trace degrees from trace heights
• Computes extended degrees (base + ZK padding)
• Sets up preprocessed columns for Air implementations that define them, committing to them in a single global Pcs commitment.
• Deduces symbolic lookups from the STARKs

This is a convenience function mainly used for tests.

pub fn from_airs_and_degrees<A>( config: &SC, airs: &mut [A], trace_ext_degree_bits: &[usize], ) -> Self

where SymbolicExpressionExt<Val<SC>, SC::Challenge>: Algebra<SC::Challenge>, A: Air<SymbolicAirBuilder<Val<SC>, SC::Challenge>> + LookupAir<Val<SC>>,

Build ProverData from Air implementations and their extended trace degree bits.

Arguments

• trace_ext_degree_bits - Log2 of extended trace degrees (including ZK padding)

Returns

Prover data containing the global preprocessed commitment (if at least one Air defines preprocessed columns) and the PCS prover data.