Type Alias InnerCommitPhaseStep

pub type InnerCommitPhaseStep = CommitPhaseProofStep<InnerChallenge, InnerChallengeMmcs>;

Aliased Type

struct InnerCommitPhaseStep {
    pub sibling_value: BinomialExtensionField<MontyField31<BabyBearParameters>, 4>,
    pub opening_proof: Vec<[MontyField31<BabyBearParameters>; 8]>,
}

Fields

sibling_value: BinomialExtensionField<MontyField31<BabyBearParameters>, 4>

The opening of the commit phase codeword at the sibling location.

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

Trait Implementations

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

type HintVariable = FriCommitPhaseProofStepVariable<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 InnerCommitPhaseStep