Make parameter empty

scroll-tech · Feb 14, 2025 · ea63b35 · ea63b35
1 parent 0ed42ca
commit ea63b35
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 10 deletions.
diff --git a/mpcs/Cargo.toml b/mpcs/Cargo.toml
@@ -32,7 +32,7 @@ rand_chacha.workspace = true
 rayon = { workspace = true, optional = true }
 serde.workspace = true
 transcript = { path = "../transcript" }
-whir = { path = "../../whir", features = ["ceno"] }
+whir = { git = "https://github.com/scroll-tech/whir", branch = "feat/ceno-binding-batch", features = ["ceno"] }
 zeroize = "1.8"
 bincode = "1.3.3"
 

diff --git a/mpcs/src/whir.rs b/mpcs/src/whir.rs
@@ -34,16 +34,9 @@ where
 
     fn trim(
         param: Self::Param,
-        poly_size: usize,
+        _poly_size: usize,
     ) -> Result<(Self::ProverParam, Self::VerifierParam), crate::Error> {
-        if poly_size > (1 << param.num_variables) {
-            return Err(crate::Error::InvalidPcsParam(
-                "Poly size is greater than param poly size".to_string(),
-            ));
-        }
-        // TODO: Do the real trim instead of regenerating.
-        let param = WhirInnerT::<E, Spec>::setup(poly_size);
-        Ok((param.clone(), param.clone()))
+        Ok((param, param))
     }
 
     fn commit(