Type Alias InnerBatchOpening

pub type InnerBatchOpening = BatchOpening<InnerVal, InnerValMmcs>;

Aliased Type

struct InnerBatchOpening {
    pub opened_values: Vec<Vec<MontyField31<BabyBearParameters>>>,
    pub opening_proof: Vec<[MontyField31<BabyBearParameters>; 8]>,
}

Fields

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

opening_proof: Vec<[MontyField31<BabyBearParameters>; 8]>

Trait Implementations

impl Hintable<AsmConfig<MontyField31<BabyBearParameters>, BinomialExtensionField<MontyField31<BabyBearParameters>, 4>>> for InnerBatchOpening

type HintVariable = BatchOpeningVariable<AsmConfig<MontyField31<BabyBearParameters>, BinomialExtensionField<MontyField31<BabyBearParameters>, 4>>>

fn read(builder: &mut Builder<InnerConfig>) -> Self::HintVariable

fn write(&self) -> Vec<Vec<<InnerConfig as Config>::F>>

fn witness(variable: &Self::HintVariable, builder: &mut Builder<C>)

impl VecAutoHintable for InnerBatchOpening