From 06b1c4d415740f7832efd983004296ae111eea20 Mon Sep 17 00:00:00 2001
From: Srinath Setty <srinath@microsoft.com>
Date: Tue, 27 Jul 2021 16:30:08 -0700
Subject: [PATCH] remove asserts

---
 src/r1cs.rs | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/src/r1cs.rs b/src/r1cs.rs
index ec0c9b1..0f0e7f0 100644
--- a/src/r1cs.rs
+++ b/src/r1cs.rs
@@ -160,8 +160,6 @@ impl R1CSShape {
       res == 0
     };
 
-    assert!(res_eq, true);
-
     // verify if comm_E and comm_W are commitments to E and W
     let res_comm: bool = {
       let comm_W = W.W.commit(&gens.gens_W);
@@ -170,8 +168,6 @@ impl R1CSShape {
       U.comm_W == comm_W && U.comm_E == comm_E
     };
 
-    assert!(res_comm, true);
-
     if res_eq && res_comm {
       Ok(())
     } else {