Type Alias OuterBatchOpening

pub type OuterBatchOpening = BatchOpening<OuterVal, OuterValMmcs>;

Aliased Type

pub struct OuterBatchOpening {
    pub opened_values: Vec<Vec<MontyField31<BabyBearParameters>>>,
    pub opening_proof: Vec<[Bn254; 1]>,
}

Fields

opened_values: Vec<Vec<MontyField31<BabyBearParameters>>>

The opened row values from each matrix in the batch. Each inner vector corresponds to one matrix.

opening_proof: Vec<[Bn254; 1]>

The proof showing the values are valid openings.

Trait Implementations

impl Witnessable<OuterConfig> for OuterBatchOpening

type WitnessVariable = BatchOpeningVariable<OuterConfig>

fn read(&self, builder: &mut Builder<OuterConfig>) -> Self::WitnessVariable

fn write(&self, witness: &mut Witness<OuterConfig>)

impl VectorWitnessable<OuterConfig> for OuterBatchOpening