Type Alias InnerChallenge

pub type InnerChallenge = BinomialExtensionField<InnerVal, 4>;

Aliased Type

struct InnerChallenge { /* private fields */ }

Trait Implementations

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

type HintVariable = Ext<MontyField31<BabyBearParameters>, BinomialExtensionField<MontyField31<BabyBearParameters>, 4>>

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

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

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