p3_fri/
proof.rs

1use alloc::vec::Vec;
2
3use p3_commit::Mmcs;
4use p3_field::Field;
5use serde::{Deserialize, Serialize};
6
7#[derive(Serialize, Deserialize, Clone)]
8#[serde(bound(
9    serialize = "Witness: Serialize",
10    deserialize = "Witness: Deserialize<'de>"
11))]
12pub struct FriProof<F: Field, M: Mmcs<F>, Witness> {
13    pub commit_phase_commits: Vec<M::Commitment>,
14    pub query_proofs: Vec<QueryProof<F, M>>,
15    // This could become Vec<FC::Challenge> if this library was generalized to support non-constant
16    // final polynomials.
17    pub final_poly: F,
18    pub pow_witness: Witness,
19}
20
21#[derive(Serialize, Deserialize, Clone)]
22#[serde(bound = "")]
23pub struct QueryProof<F: Field, M: Mmcs<F>> {
24    /// For each commit phase commitment, this contains openings of a commit phase codeword at the
25    /// queried location, along with an opening proof.
26    pub commit_phase_openings: Vec<CommitPhaseProofStep<F, M>>,
27}
28
29#[derive(Debug, Serialize, Deserialize, Clone)]
30// #[serde(bound(serialize = "F: Serialize"))]
31#[serde(bound = "")]
32pub struct CommitPhaseProofStep<F: Field, M: Mmcs<F>> {
33    /// The opening of the commit phase codeword at the sibling location.
34    // This may change to Vec<FC::Challenge> if the library is generalized to support other FRI
35    // folding arities besides 2, meaning that there can be multiple siblings.
36    pub sibling_value: F,
37
38    pub opening_proof: M::Proof,
39}
p3_fri/proof.rs

p3_fri/
proof.rs
