From 2f58acfae72a19f5dfe9d9e47bbad364441aa924 Mon Sep 17 00:00:00 2001
From: "sm.wu" <hero78119@gmail.com>
Date: Fri, 29 Aug 2025 16:32:03 +0800
Subject: [PATCH] adjust basefold visibility

---
 Cargo.toml                            |  2 +-
 crates/mpcs/src/basefold.rs           |  8 ++++----
 crates/mpcs/src/basefold/structure.rs | 24 ++++++++++++------------
 crates/mpcs/src/lib.rs                |  2 +-
 4 files changed, 18 insertions(+), 18 deletions(-)

diff --git a/Cargo.toml b/Cargo.toml
index 17034c4..034a74b 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -32,7 +32,7 @@ poseidon = { path = "crates/poseidon", default-features = false }
 sumcheck_macro = { path = "crates/sumcheck_macro", default-features = false }
 transcript = { path = "crates/transcript", default-features = false }
 witness = { path = "crates/witness", default-features = false }
-whir = { path = "crates/whir", default-features = false }
+whir = { path = "crates/whir" }
 
 bincode = "1"
 clap = { version = "4.5", features = ["derive"] }
diff --git a/crates/mpcs/src/basefold.rs b/crates/mpcs/src/basefold.rs
index 52bf9ef..fd88c86 100644
--- a/crates/mpcs/src/basefold.rs
+++ b/crates/mpcs/src/basefold.rs
@@ -18,20 +18,20 @@ use witness::RowMajorMatrix;
 use itertools::Itertools;
 use serde::{Serialize, de::DeserializeOwned};
 
-mod structure;
+pub mod structure;
 pub use structure::{
     Basefold, BasefoldCommitment, BasefoldCommitmentWithWitness, BasefoldDefault, BasefoldParams,
     BasefoldProverParams, BasefoldRSParams, BasefoldVerifierParams,
 };
-mod commit_phase;
+pub mod commit_phase;
 use commit_phase::batch_commit_phase;
-mod encoding;
+pub mod encoding;
 use multilinear_extensions::mle::ArcMultilinearExtension;
 
 #[cfg(debug_assertions)]
 use ff_ext::{Instrumented, PoseidonField};
 
-mod query_phase;
+pub mod query_phase;
 
 /// Implement the Polynomial Commitment Scheme present in the BaseFold paper
 /// https://eprint.iacr.org/2023/1705
diff --git a/crates/mpcs/src/basefold/structure.rs b/crates/mpcs/src/basefold/structure.rs
index e1b479b..c9b9d9d 100644
--- a/crates/mpcs/src/basefold/structure.rs
+++ b/crates/mpcs/src/basefold/structure.rs
@@ -90,11 +90,11 @@ pub struct BasefoldCommitmentWithWitness<E: ExtensionField>
 where
     E::BaseField: Serialize + DeserializeOwned,
 {
-    pub(crate) commit: Digest<E>,
-    pub(crate) codeword: MerkleTree<E::BaseField>,
+    pub commit: Digest<E>,
+    pub codeword: MerkleTree<E::BaseField>,
 
-    pub(crate) log2_max_codeword_size: usize,
-    pub(crate) polys: Vec<Vec<ArcMultilinearExtension<'static, E>>>,
+    pub log2_max_codeword_size: usize,
+    pub polys: Vec<Vec<ArcMultilinearExtension<'static, E>>>,
 }
 
 impl<E: ExtensionField> BasefoldCommitmentWithWitness<E>
@@ -264,11 +264,11 @@ pub struct BasefoldProof<E: ExtensionField>
 where
     E::BaseField: Serialize + DeserializeOwned,
 {
-    pub(crate) commits: Vec<Digest<E>>,
-    pub(crate) final_message: Vec<Vec<E>>,
-    pub(crate) query_opening_proof: QueryOpeningProofs<E>,
-    pub(crate) sumcheck_proof: Option<Vec<IOPProverMessage<E>>>,
-    pub(crate) pow_witness: E::BaseField,
+    pub commits: Vec<Digest<E>>,
+    pub final_message: Vec<Vec<E>>,
+    pub query_opening_proof: QueryOpeningProofs<E>,
+    pub sumcheck_proof: Option<Vec<IOPProverMessage<E>>>,
+    pub pow_witness: E::BaseField,
 }
 
 #[derive(Clone, Serialize, Deserialize)]
@@ -280,7 +280,7 @@ pub struct BasefoldCommitPhaseProof<E: ExtensionField>
 where
     E::BaseField: Serialize + DeserializeOwned,
 {
-    pub(crate) sumcheck_messages: Vec<IOPProverMessage<E>>,
-    pub(crate) commits: Vec<Digest<E>>,
-    pub(crate) final_message: Vec<Vec<E>>,
+    pub sumcheck_messages: Vec<IOPProverMessage<E>>,
+    pub commits: Vec<Digest<E>>,
+    pub final_message: Vec<Vec<E>>,
 }
diff --git a/crates/mpcs/src/lib.rs b/crates/mpcs/src/lib.rs
index efe97e0..aa08767 100644
--- a/crates/mpcs/src/lib.rs
+++ b/crates/mpcs/src/lib.rs
@@ -261,7 +261,7 @@ pub enum Error {
     WhirError(whir_external::error::Error),
 }
 
-mod basefold;
+pub mod basefold;
 pub use basefold::{
     Basefold, BasefoldCommitment, BasefoldCommitmentWithWitness, BasefoldDefault, BasefoldParams,
     BasefoldRSParams, BasefoldSpec, EncodingScheme, RSCode, RSCodeDefaultSpec,