U

scroll-tech · Jul 11, 2023 · 54df0f3 · 54df0f3
1 parent 3693f00
commit 54df0f3
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/halo2_proofs/src/plonk.rs b/halo2_proofs/src/plonk.rs
@@ -51,7 +51,7 @@ pub struct VerifyingKey<C: CurveAffine> {
     domain: EvaluationDomain<C::Scalar>,
     fixed_commitments: Vec<C>,
     permutation: permutation::VerifyingKey<C>,
-    cs: ConstraintSystem<C::Scalar>,
+    pub cs: ConstraintSystem<C::Scalar>,
     /// Cached maximum degree of `cs` (which doesn't change after construction).
     cs_degree: usize,
     /// The representative of this `VerifyingKey` in transcripts.
@@ -136,9 +136,11 @@ where
         */
         // let selectors: Vec<Vec<bool>> = vec![vec![false; 1 << k]; cs.num_selectors];
         // Test for all true.
+        /*
         log::error!("gupeng - test for all true");
         let selectors: Vec<Vec<bool>> = vec![vec![true; 1 << k]; cs.num_selectors];
         let (cs, _) = cs.compress_selectors(selectors);
+        */
         Ok(Self::from_parts(
             domain,
             fixed_commitments,

diff --git a/halo2_proofs/src/plonk/keygen.rs b/halo2_proofs/src/plonk/keygen.rs
@@ -91,7 +91,6 @@ impl<'a, F: Field> Assignment<F> for Assembly<'a, F> {
             return Err(Error::Synthesis);
         }
 
-        log::debug!("Selector is enabled when gen pk or ck");
         self.selectors[selector.0][row - self.rw_rows.start] = true;
 
         Ok(())