Struct MultiStarkKeygenBuilder

pub struct MultiStarkKeygenBuilder<'a, SC: StarkGenericConfig> {
    pub config: &'a SC,
    /* private fields */
}

Stateful builder to create multi-stark proving and verifying keys for system of multiple RAPs with multiple multi-matrix commitments

Fields

config: &'a SC

Implementations

impl<'a, SC: StarkGenericConfig> MultiStarkKeygenBuilder<'a, SC>

pub fn new(config: &'a SC) -> Self

pub fn set_max_constraint_degree(&mut self, max_constraint_degree: usize)

The builder will try to keep the max constraint degree across all AIRs below this value. If it is given AIRs that exceed this value, it will still include them.

Currently this is only used for interaction chunking in FRI logup.

pub fn add_air(&mut self, air: Arc<dyn AnyRap<SC>>) -> usize

Default way to add a single Interactive AIR. Returns air_id

pub fn generate_pk(self) -> MultiStarkProvingKey<SC>

Consume the builder and generate proving key. The verifying key can be obtained from the proving key.