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

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.