sp1_stark

Type Alias InnerQueryProof

source 
pub type InnerQueryProof = QueryProof<InnerChallenge, InnerChallengeMmcs>;

Aliased Type§

struct InnerQueryProof {
    pub commit_phase_openings: Vec<CommitPhaseProofStep<BinomialExtensionField<BabyBear, 4>, ExtensionMmcs<BabyBear, BinomialExtensionField<BabyBear, 4>, FieldMerkleTreeMmcs<BabyBear, BabyBear, PaddingFreeSponge<Poseidon2<BabyBear, Poseidon2ExternalMatrixGeneral, DiffusionMatrixBabyBear, 16, 7>, 16, 8, 8>, TruncatedPermutation<Poseidon2<BabyBear, Poseidon2ExternalMatrixGeneral, DiffusionMatrixBabyBear, 16, 7>, 2, 8, 16>, 8>>>>,
}

Fields§

§commit_phase_openings: Vec<CommitPhaseProofStep<BinomialExtensionField<BabyBear, 4>, ExtensionMmcs<BabyBear, BinomialExtensionField<BabyBear, 4>, FieldMerkleTreeMmcs<BabyBear, BabyBear, PaddingFreeSponge<Poseidon2<BabyBear, Poseidon2ExternalMatrixGeneral, DiffusionMatrixBabyBear, 16, 7>, 16, 8, 8>, TruncatedPermutation<Poseidon2<BabyBear, Poseidon2ExternalMatrixGeneral, DiffusionMatrixBabyBear, 16, 7>, 2, 8, 16>, 8>>>>

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