assert selector_older_than is == 1 | 0

zk-passport · Sep 23, 2024 · 0b67347 · 0b67347
1 parent 64ac277
commit 0b67347
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/circuits/circuits/disclose/disclose.circom b/circuits/circuits/disclose/disclose.circom
@@ -42,6 +42,9 @@ template DISCLOSE() {
         selector_dg1[i] * (selector_dg1[i] - 1) === 0;
     }
 
+    // assert selector_older_than is 0 or 1
+    selector_older_than * (selector_older_than - 1) === 0;
+
     signal revealedData[88];
     for (var i = 0; i < 88; i++) {
         revealedData[i] <== dg1[5+i] * selector_dg1[i];