Type Alias OuterCommitPhaseStep

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

impl Witnessable<OuterConfig> for OuterCommitPhaseStep

type WitnessVariable = FriCommitPhaseProofStepVariable<OuterConfig>

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

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

impl VectorWitnessable<OuterConfig> for OuterCommitPhaseStep

impl<F, M> Clone for CommitPhaseProofStep<F, M>

where F: Clone + Field, M: Clone + Mmcs<F>, <M as Mmcs<F>>::Proof: Clone,

fn clone(&self) -> CommitPhaseProofStep<F, M>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<F, M> Debug for CommitPhaseProofStep<F, M>

where F: Debug + Field, M: Debug + Mmcs<F>, <M as Mmcs<F>>::Proof: Debug,

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl<'de, F, M> Deserialize<'de> for CommitPhaseProofStep<F, M>

where F: Field, M: Mmcs<F>,

fn deserialize<__D>( __deserializer: __D, ) -> Result<CommitPhaseProofStep<F, M>, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<F, M> Serialize for CommitPhaseProofStep<F, M>

where F: Field, M: Mmcs<F>,

fn serialize<__S>( &self, __serializer: __S, ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.