openvm_native_recursion::config::outer

Type Alias OuterCommitPhaseStep

Source 
pub type OuterCommitPhaseStep = CommitPhaseProofStep<OuterChallenge, OuterChallengeMmcs>;

Aliased Type§

struct OuterCommitPhaseStep {
    pub sibling_value: BinomialExtensionField<MontyField31<BabyBearParameters>, 4>,
    pub opening_proof: Vec<[Bn254Fr; 1]>,
}

Fields§

§sibling_value: BinomialExtensionField<MontyField31<BabyBearParameters>, 4>

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

§opening_proof: Vec<[Bn254Fr; 1]>

Trait Implementations§