From aa2615e936c59169b887a98e78c28e640ab04af6 Mon Sep 17 00:00:00 2001
From: poma <Semenov.Roman@mail.ru>
Date: Tue, 16 Jul 2019 19:34:46 +0300
Subject: [PATCH] remove redundant constraints

---
 circuits/withdraw.circom | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/circuits/withdraw.circom b/circuits/withdraw.circom
index e6fcc36..1a1aadf 100644
--- a/circuits/withdraw.circom
+++ b/circuits/withdraw.circom
@@ -26,6 +26,7 @@ template CommitmentHasher() {
 template Withdraw(levels, rounds) {
     signal input root;
     signal input nullifier;
+    // TODO: Check if we need some kind of explicit constraints or something for those 2 inputs
     signal input receiver; // not taking part in any computations
     signal input fee; // not taking part in any computations
     signal private input secret;
@@ -43,10 +44,6 @@ template Withdraw(levels, rounds) {
         tree.pathElements[i] <== pathElements[i];
         tree.pathIndex[i] <== pathIndex[i];
     }
-
-    // TODO: Check if we need some kind of explicit constraints or something
-    fee === fee;
-    receiver === receiver;
 }
 
-component main = Withdraw(16, 220);
\ No newline at end of file
+component main = Withdraw(16, 220);