removed unnecessary

succinctlabs · Jul 30, 2024 · 868385c · 868385c
1 parent 50b4f23
commit 868385c
Show file tree

Hide file tree

Showing 2 changed files with 26 additions and 26 deletions.
diff --git a/prover/src/lib.rs b/prover/src/lib.rs
@@ -765,40 +765,40 @@ pub mod tests {
         let core_proof = prover.prove_core(&pk, &stdin, opts, context)?;
         let public_values = core_proof.public_values.clone();
 
-        // tracing::info!("verify core");
-        // prover.verify(&core_proof.proof, &vk)?;
+        tracing::info!("verify core");
+        prover.verify(&core_proof.proof, &vk)?;
 
-        // if test_kind == Test::Core {
-        //     return Ok(());
-        // }
+        if test_kind == Test::Core {
+            return Ok(());
+        }
 
-        // tracing::info!("compress");
-        // let compressed_proof = prover.compress(&vk, core_proof, vec![], opts)?;
+        tracing::info!("compress");
+        let compressed_proof = prover.compress(&vk, core_proof, vec![], opts)?;
 
-        // tracing::info!("verify compressed");
-        // prover.verify_compressed(&compressed_proof, &vk)?;
+        tracing::info!("verify compressed");
+        prover.verify_compressed(&compressed_proof, &vk)?;
 
-        // if test_kind == Test::Compress {
-        //     return Ok(());
-        // }
+        if test_kind == Test::Compress {
+            return Ok(());
+        }
 
-        // tracing::info!("shrink");
-        // let shrink_proof = prover.shrink(compressed_proof, opts)?;
+        tracing::info!("shrink");
+        let shrink_proof = prover.shrink(compressed_proof, opts)?;
 
-        // tracing::info!("verify shrink");
-        // prover.verify_shrink(&shrink_proof, &vk)?;
+        tracing::info!("verify shrink");
+        prover.verify_shrink(&shrink_proof, &vk)?;
 
-        // if test_kind == Test::Shrink {
-        //     return Ok(());
-        // }
+        if test_kind == Test::Shrink {
+            return Ok(());
+        }
 
-        // tracing::info!("wrap bn254");
-        // let wrapped_bn254_proof = prover.wrap_bn254(shrink_proof, opts)?;
-        // let bytes = bincode::serialize(&wrapped_bn254_proof).unwrap();
+        tracing::info!("wrap bn254");
+        let wrapped_bn254_proof = prover.wrap_bn254(shrink_proof, opts)?;
+        let bytes = bincode::serialize(&wrapped_bn254_proof).unwrap();
 
-        // // Save the proof.
-        // let mut file = File::create("proof-with-pis.bin").unwrap();
-        // file.write_all(bytes.as_slice()).unwrap();
+        // Save the proof.
+        let mut file = File::create("proof-with-pis.bin").unwrap();
+        file.write_all(bytes.as_slice()).unwrap();
 
         // Load the proof.
         let mut file = File::open("proof-with-pis.bin").unwrap();

diff --git a/recursion/circuit/src/constraints.rs b/recursion/circuit/src/constraints.rs
@@ -98,7 +98,7 @@ where
                     .filter(|(j, _)| *j != i)
                     .map(|(_, other_domain)| {
                         // Calculate: other_domain.zp_at_point(zeta)
-                        // * other_domain.zp_at_point(domain.first_point()).inverse()
+                        //     * other_domain.zp_at_point(domain.first_point()).inverse()
                         let first_point = domain.first_point(builder);
                         let first_point_ext = first_point.to_operand().symbolic();
                         let first_point: Ext<_, _> = builder.eval(first_point_ext);