Type Alias OuterBatchOpening

pub type OuterBatchOpening = BatchOpening<OuterVal, OuterValMmcs>;

Aliased Type

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

Fields

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

opening_proof: Vec<[Bn254Fr; 1]>

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