From 1fa151136477ad337706993432b6509bd44c33d9 Mon Sep 17 00:00:00 2001
From: bobowang2333 <bobowang2014@gmail.com>
Date: Sat, 30 Dec 2023 23:31:09 -0800
Subject: [PATCH] Fix binsub.circom comment inconsistency

Update comment to match program semantics
---
 circuits/binsub.circom | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/circuits/binsub.circom b/circuits/binsub.circom
index a20fbf81..6ffae197 100644
--- a/circuits/binsub.circom
+++ b/circuits/binsub.circom
@@ -26,11 +26,11 @@ Main Constraint:
  +  2^n
  - (in[1][0]     * 2^0  +  in[1][1]     * 2^1  + ..... + in[1][n-1]    * 2^(n-1))
  ===
-   out[0] * 2^0  + out[1] * 2^1 +   + out[n-1] *2^(n-1) + aux
+   out[0] * 2^0  + out[1] * 2^1 +   + out[n-1] *2^(n-1) + aux * 2^n
 
 
     out[0]     * (out[0] - 1) === 0
-    out[1]     * (out[0] - 1) === 0
+    out[1]     * (out[1] - 1) === 0
     .
     .
     .