diff --git a/src/merkle_proofs.rs b/src/merkle_proofs.rs index b7625f63..7b7cb67a 100644 --- a/src/merkle_proofs.rs +++ b/src/merkle_proofs.rs @@ -158,7 +158,6 @@ mod tests { use super::*; use crate::circuit_data::CircuitConfig; use crate::field::crandall_field::CrandallField; - use crate::field::extension_field::quartic::QuarticCrandallField; use crate::merkle_tree::MerkleTree; use crate::verifier::verify; use crate::witness::PartialWitness; diff --git a/src/polynomial/commitment.rs b/src/polynomial/commitment.rs index 4436a454..0b9e5bb0 100644 --- a/src/polynomial/commitment.rs +++ b/src/polynomial/commitment.rs @@ -248,10 +248,10 @@ impl ListPolynomialCommitment { } } -#[derive(Serialize, Deserialize, Debug)] +#[derive(Serialize, Deserialize, Clone, Debug)] #[serde(bound = "")] pub struct OpeningProof, const D: usize> { - fri_proof: FriProof, + pub(crate) fri_proof: FriProof, // TODO: Get the degree from `CommonCircuitData` instead. quotient_degree: usize, } @@ -283,7 +283,7 @@ impl, const D: usize> OpeningProof { } pub struct OpeningProofTarget { - fri_proof: FriProofTarget, + pub(crate) fri_proof: FriProofTarget, } impl OpeningProofTarget {