openvm_native_recursion::config::outer

Type Alias OuterFriProof

Source 
pub type OuterFriProof = FriProof<OuterChallenge, OuterChallengeMmcs, OuterVal, OuterInputProof>;

Aliased Type§

pub struct OuterFriProof {
    pub commit_phase_commits: Vec<Hash<MontyField31<BabyBearParameters>, Bn254, 1>>,
    pub commit_pow_witnesses: Vec<MontyField31<BabyBearParameters>>,
    pub query_proofs: Vec<QueryProof<BinomialExtensionField<MontyField31<BabyBearParameters>, 4>, ExtensionMmcs<MontyField31<BabyBearParameters>, BinomialExtensionField<MontyField31<BabyBearParameters>, 4>, MerkleTreeMmcs<MontyField31<BabyBearParameters>, Bn254, MultiField32PaddingFreeSponge<MontyField31<BabyBearParameters>, Bn254, Poseidon2<Bn254, ExternalLayerConstants<Bn254, 3>, Poseidon2InternalLayerBn254, 3, 5>, 3, 16, 1>, TruncatedPermutation<Poseidon2<Bn254, ExternalLayerConstants<Bn254, 3>, Poseidon2InternalLayerBn254, 3, 5>, 2, 1, 3>, 1>>, Vec<BatchOpening<MontyField31<BabyBearParameters>, MerkleTreeMmcs<MontyField31<BabyBearParameters>, Bn254, MultiField32PaddingFreeSponge<MontyField31<BabyBearParameters>, Bn254, Poseidon2<Bn254, ExternalLayerConstants<Bn254, 3>, Poseidon2InternalLayerBn254, 3, 5>, 3, 16, 1>, TruncatedPermutation<Poseidon2<Bn254, ExternalLayerConstants<Bn254, 3>, Poseidon2InternalLayerBn254, 3, 5>, 2, 1, 3>, 1>>>>>,
    pub final_poly: Vec<BinomialExtensionField<MontyField31<BabyBearParameters>, 4>>,
    pub query_pow_witness: MontyField31<BabyBearParameters>,
}

Fields§

§commit_phase_commits: Vec<Hash<MontyField31<BabyBearParameters>, Bn254, 1>>§commit_pow_witnesses: Vec<MontyField31<BabyBearParameters>>§query_proofs: Vec<QueryProof<BinomialExtensionField<MontyField31<BabyBearParameters>, 4>, ExtensionMmcs<MontyField31<BabyBearParameters>, BinomialExtensionField<MontyField31<BabyBearParameters>, 4>, MerkleTreeMmcs<MontyField31<BabyBearParameters>, Bn254, MultiField32PaddingFreeSponge<MontyField31<BabyBearParameters>, Bn254, Poseidon2<Bn254, ExternalLayerConstants<Bn254, 3>, Poseidon2InternalLayerBn254, 3, 5>, 3, 16, 1>, TruncatedPermutation<Poseidon2<Bn254, ExternalLayerConstants<Bn254, 3>, Poseidon2InternalLayerBn254, 3, 5>, 2, 1, 3>, 1>>, Vec<BatchOpening<MontyField31<BabyBearParameters>, MerkleTreeMmcs<MontyField31<BabyBearParameters>, Bn254, MultiField32PaddingFreeSponge<MontyField31<BabyBearParameters>, Bn254, Poseidon2<Bn254, ExternalLayerConstants<Bn254, 3>, Poseidon2InternalLayerBn254, 3, 5>, 3, 16, 1>, TruncatedPermutation<Poseidon2<Bn254, ExternalLayerConstants<Bn254, 3>, Poseidon2InternalLayerBn254, 3, 5>, 2, 1, 3>, 1>>>>>§final_poly: Vec<BinomialExtensionField<MontyField31<BabyBearParameters>, 4>>§query_pow_witness: MontyField31<BabyBearParameters>

Trait Implementations§