Type Alias InnerDigest

pub type InnerDigest = [InnerVal; 8];

Trait Implementations

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

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

fn read( builder: &mut Builder<AsmConfig<InnerVal, InnerChallenge>>, ) -> Self::HintVariable

fn write(&self) -> Vec<Vec<InnerVal>>

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

impl VecAutoHintable for InnerDigest