Type Alias OuterQueryProof

pub type OuterQueryProof = QueryProof<OuterChallenge, OuterChallengeMmcs, OuterInputProof>;

Aliased Type

struct OuterQueryProof {
    pub input_proof: Vec<BatchOpening<MontyField31<BabyBearParameters>, MerkleTreeMmcs<MontyField31<BabyBearParameters>, Bn254Fr, MultiField32PaddingFreeSponge<MontyField31<BabyBearParameters>, Bn254Fr, Poseidon2<Bn254Fr, ExternalLayerConstants<Bn254Fr, 3>, Poseidon2InternalLayerBn254, 3, 5>, 3, 16, 1>, TruncatedPermutation<Poseidon2<Bn254Fr, ExternalLayerConstants<Bn254Fr, 3>, Poseidon2InternalLayerBn254, 3, 5>, 2, 1, 3>, 1>>>,
    pub commit_phase_openings: Vec<CommitPhaseProofStep<BinomialExtensionField<MontyField31<BabyBearParameters>, 4>, ExtensionMmcs<MontyField31<BabyBearParameters>, BinomialExtensionField<MontyField31<BabyBearParameters>, 4>, MerkleTreeMmcs<MontyField31<BabyBearParameters>, Bn254Fr, MultiField32PaddingFreeSponge<MontyField31<BabyBearParameters>, Bn254Fr, Poseidon2<Bn254Fr, ExternalLayerConstants<Bn254Fr, 3>, Poseidon2InternalLayerBn254, 3, 5>, 3, 16, 1>, TruncatedPermutation<Poseidon2<Bn254Fr, ExternalLayerConstants<Bn254Fr, 3>, Poseidon2InternalLayerBn254, 3, 5>, 2, 1, 3>, 1>>>>,
}

Fields

input_proof: Vec<BatchOpening<MontyField31<BabyBearParameters>, MerkleTreeMmcs<MontyField31<BabyBearParameters>, Bn254Fr, MultiField32PaddingFreeSponge<MontyField31<BabyBearParameters>, Bn254Fr, Poseidon2<Bn254Fr, ExternalLayerConstants<Bn254Fr, 3>, Poseidon2InternalLayerBn254, 3, 5>, 3, 16, 1>, TruncatedPermutation<Poseidon2<Bn254Fr, ExternalLayerConstants<Bn254Fr, 3>, Poseidon2InternalLayerBn254, 3, 5>, 2, 1, 3>, 1>>>

commit_phase_openings: Vec<CommitPhaseProofStep<BinomialExtensionField<MontyField31<BabyBearParameters>, 4>, ExtensionMmcs<MontyField31<BabyBearParameters>, BinomialExtensionField<MontyField31<BabyBearParameters>, 4>, MerkleTreeMmcs<MontyField31<BabyBearParameters>, Bn254Fr, MultiField32PaddingFreeSponge<MontyField31<BabyBearParameters>, Bn254Fr, Poseidon2<Bn254Fr, ExternalLayerConstants<Bn254Fr, 3>, Poseidon2InternalLayerBn254, 3, 5>, 3, 16, 1>, TruncatedPermutation<Poseidon2<Bn254Fr, ExternalLayerConstants<Bn254Fr, 3>, Poseidon2InternalLayerBn254, 3, 5>, 2, 1, 3>, 1>>>>

For each commit phase commitment, this contains openings of a commit phase codeword at the queried location, along with an opening proof.

Trait Implementations

impl Witnessable<OuterConfig> for OuterQueryProof

type WitnessVariable = FriQueryProofVariable<OuterConfig>

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

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

impl VectorWitnessable<OuterConfig> for OuterQueryProof

impl<F, M, InputProof> Clone for QueryProof<F, M, InputProof>

where F: Clone + Field, M: Clone + Mmcs<F>, InputProof: Clone,

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'de, F, M, InputProof> Deserialize<'de> for QueryProof<F, M, InputProof>

where F: Field, M: Mmcs<F>, InputProof: Deserialize<'de>,

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<F, M, InputProof> Serialize for QueryProof<F, M, InputProof>

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

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.