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 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.