openvm_native_recursion::config::outerType Alias OuterFriProof
Source pub type OuterFriProof = FriProof<OuterChallenge, OuterChallengeMmcs, OuterVal, OuterInputProof>;
struct OuterFriProof {
pub commit_phase_commits: Vec<Hash<MontyField31<BabyBearParameters>, Bn254Fr, 1>>,
pub query_proofs: Vec<QueryProof<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>>, 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 final_poly: BinomialExtensionField<MontyField31<BabyBearParameters>, 4>,
pub pow_witness: MontyField31<BabyBearParameters>,
}