From 868385ce2ab689652b2155af77396f912014843c Mon Sep 17 00:00:00 2001
From: erabinov <erabinovich92@gmail.com>
Date: Tue, 30 Jul 2024 13:52:51 -0700
Subject: [PATCH] removed unnecessary

---
 prover/src/lib.rs                    | 50 ++++++++++++++--------------
 recursion/circuit/src/constraints.rs |  2 +-
 2 files changed, 26 insertions(+), 26 deletions(-)

diff --git a/prover/src/lib.rs b/prover/src/lib.rs
index c3e5d48fa..efd218f86 100644
--- 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
index 5b36b5745..7d7cf3c13 100644
--- 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);