Type Alias InnerFriProof

Source

pub type InnerFriProof = FriProof<InnerChallenge, InnerChallengeMmcs, InnerVal, InnerInputProof>;

Aliased Type§

pub struct InnerFriProof {
    pub commit_phase_commits: Vec<Hash<MontyField31<BabyBearParameters>, MontyField31<BabyBearParameters>, 8>>,
    pub query_proofs: Vec<QueryProof<BinomialExtensionField<MontyField31<BabyBearParameters>, 4>, ExtensionMmcs<MontyField31<BabyBearParameters>, BinomialExtensionField<MontyField31<BabyBearParameters>, 4>, MerkleTreeMmcs<MontyField31<BabyBearParameters>, MontyField31<BabyBearParameters>, PaddingFreeSponge<Poseidon2<MontyField31<BabyBearParameters>, Poseidon2ExternalLayerMonty31<BabyBearParameters, 16>, Poseidon2InternalLayerMonty31<BabyBearParameters, 16, BabyBearInternalLayerParameters>, 16, 7>, 16, 8, 8>, TruncatedPermutation<Poseidon2<MontyField31<BabyBearParameters>, Poseidon2ExternalLayerMonty31<BabyBearParameters, 16>, Poseidon2InternalLayerMonty31<BabyBearParameters, 16, BabyBearInternalLayerParameters>, 16, 7>, 2, 8, 16>, 8>>, Vec<BatchOpening<MontyField31<BabyBearParameters>, MerkleTreeMmcs<MontyField31<BabyBearParameters>, MontyField31<BabyBearParameters>, PaddingFreeSponge<Poseidon2<MontyField31<BabyBearParameters>, Poseidon2ExternalLayerMonty31<BabyBearParameters, 16>, Poseidon2InternalLayerMonty31<BabyBearParameters, 16, BabyBearInternalLayerParameters>, 16, 7>, 16, 8, 8>, TruncatedPermutation<Poseidon2<MontyField31<BabyBearParameters>, Poseidon2ExternalLayerMonty31<BabyBearParameters, 16>, Poseidon2InternalLayerMonty31<BabyBearParameters, 16, BabyBearInternalLayerParameters>, 16, 7>, 2, 8, 16>, 8>>>>>,
    pub final_poly: Vec<BinomialExtensionField<MontyField31<BabyBearParameters>, 4>>,
    pub pow_witness: MontyField31<BabyBearParameters>,
}

Fields§

§commit_phase_commits: Vec<Hash<MontyField31<BabyBearParameters>, MontyField31<BabyBearParameters>, 8>>§

query_proofs: Vec<QueryProof<BinomialExtensionField<MontyField31<BabyBearParameters>, 4>, ExtensionMmcs<MontyField31<BabyBearParameters>, BinomialExtensionField<MontyField31<BabyBearParameters>, 4>, MerkleTreeMmcs<MontyField31<BabyBearParameters>, MontyField31<BabyBearParameters>, PaddingFreeSponge<Poseidon2<MontyField31<BabyBearParameters>, Poseidon2ExternalLayerMonty31<BabyBearParameters, 16>, Poseidon2InternalLayerMonty31<BabyBearParameters, 16, BabyBearInternalLayerParameters>, 16, 7>, 16, 8, 8>, TruncatedPermutation<Poseidon2<MontyField31<BabyBearParameters>, Poseidon2ExternalLayerMonty31<BabyBearParameters, 16>, Poseidon2InternalLayerMonty31<BabyBearParameters, 16, BabyBearInternalLayerParameters>, 16, 7>, 2, 8, 16>, 8>>, Vec<BatchOpening<MontyField31<BabyBearParameters>, MerkleTreeMmcs<MontyField31<BabyBearParameters>, MontyField31<BabyBearParameters>, PaddingFreeSponge<Poseidon2<MontyField31<BabyBearParameters>, Poseidon2ExternalLayerMonty31<BabyBearParameters, 16>, Poseidon2InternalLayerMonty31<BabyBearParameters, 16, BabyBearInternalLayerParameters>, 16, 7>, 16, 8, 8>, TruncatedPermutation<Poseidon2<MontyField31<BabyBearParameters>, Poseidon2ExternalLayerMonty31<BabyBearParameters, 16>, Poseidon2InternalLayerMonty31<BabyBearParameters, 16, BabyBearInternalLayerParameters>, 16, 7>, 2, 8, 16>, 8>>>>>