Type Alias InnerQueryProof

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

Aliased Type

struct InnerQueryProof {
    pub input_proof: Vec<BatchOpening<MontyField31<BabyBearParameters>, MerkleTreeMmcs<PackedMontyField31Neon<BabyBearParameters>, PackedMontyField31Neon<BabyBearParameters>, PaddingFreeSponge<Poseidon2<PackedMontyField31Neon<BabyBearParameters>, Poseidon2ExternalLayerMonty31<BabyBearParameters, 16>, Poseidon2InternalLayerMonty31<BabyBearParameters, 16, BabyBearInternalLayerParameters>, 16, 7>, 16, 8, 8>, TruncatedPermutation<Poseidon2<PackedMontyField31Neon<BabyBearParameters>, Poseidon2ExternalLayerMonty31<BabyBearParameters, 16>, Poseidon2InternalLayerMonty31<BabyBearParameters, 16, BabyBearInternalLayerParameters>, 16, 7>, 2, 8, 16>, 8>>>,
    pub commit_phase_openings: Vec<CommitPhaseProofStep<BinomialExtensionField<MontyField31<BabyBearParameters>, 4>, ExtensionMmcs<MontyField31<BabyBearParameters>, BinomialExtensionField<MontyField31<BabyBearParameters>, 4>, MerkleTreeMmcs<PackedMontyField31Neon<BabyBearParameters>, PackedMontyField31Neon<BabyBearParameters>, PaddingFreeSponge<Poseidon2<PackedMontyField31Neon<BabyBearParameters>, Poseidon2ExternalLayerMonty31<BabyBearParameters, 16>, Poseidon2InternalLayerMonty31<BabyBearParameters, 16, BabyBearInternalLayerParameters>, 16, 7>, 16, 8, 8>, TruncatedPermutation<Poseidon2<PackedMontyField31Neon<BabyBearParameters>, Poseidon2ExternalLayerMonty31<BabyBearParameters, 16>, Poseidon2InternalLayerMonty31<BabyBearParameters, 16, BabyBearInternalLayerParameters>, 16, 7>, 2, 8, 16>, 8>>>>,
}

Fields

input_proof: Vec<BatchOpening<MontyField31<BabyBearParameters>, MerkleTreeMmcs<PackedMontyField31Neon<BabyBearParameters>, PackedMontyField31Neon<BabyBearParameters>, PaddingFreeSponge<Poseidon2<PackedMontyField31Neon<BabyBearParameters>, Poseidon2ExternalLayerMonty31<BabyBearParameters, 16>, Poseidon2InternalLayerMonty31<BabyBearParameters, 16, BabyBearInternalLayerParameters>, 16, 7>, 16, 8, 8>, TruncatedPermutation<Poseidon2<PackedMontyField31Neon<BabyBearParameters>, Poseidon2ExternalLayerMonty31<BabyBearParameters, 16>, Poseidon2InternalLayerMonty31<BabyBearParameters, 16, BabyBearInternalLayerParameters>, 16, 7>, 2, 8, 16>, 8>>>

commit_phase_openings: Vec<CommitPhaseProofStep<BinomialExtensionField<MontyField31<BabyBearParameters>, 4>, ExtensionMmcs<MontyField31<BabyBearParameters>, BinomialExtensionField<MontyField31<BabyBearParameters>, 4>, MerkleTreeMmcs<PackedMontyField31Neon<BabyBearParameters>, PackedMontyField31Neon<BabyBearParameters>, PaddingFreeSponge<Poseidon2<PackedMontyField31Neon<BabyBearParameters>, Poseidon2ExternalLayerMonty31<BabyBearParameters, 16>, Poseidon2InternalLayerMonty31<BabyBearParameters, 16, BabyBearInternalLayerParameters>, 16, 7>, 16, 8, 8>, TruncatedPermutation<Poseidon2<PackedMontyField31Neon<BabyBearParameters>, Poseidon2ExternalLayerMonty31<BabyBearParameters, 16>, Poseidon2InternalLayerMonty31<BabyBearParameters, 16, BabyBearInternalLayerParameters>, 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.

Trait Implementations

impl Hintable<AsmConfig<MontyField31<BabyBearParameters>, BinomialExtensionField<MontyField31<BabyBearParameters>, 4>>> for InnerQueryProof

type HintVariable = FriQueryProofVariable<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 InnerQueryProof