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.