Type Alias OuterChallenge

pub type OuterChallenge = BinomialExtensionField<OuterVal, 4>;

Aliased Type

struct OuterChallenge { /* private fields */ }

Trait Implementations

impl Witnessable<OuterConfig> for OuterChallenge

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

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

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

impl VectorWitnessable<OuterConfig> for OuterChallenge