From 0b673470dd45f5772ea5c55c4e6d816066941c28 Mon Sep 17 00:00:00 2001
From: turnoffthiscomputer <colin.remi07@gmail.com>
Date: Mon, 23 Sep 2024 14:53:47 +0200
Subject: [PATCH] assert selector_older_than is == 1 | 0

---
 circuits/circuits/disclose/disclose.circom | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/circuits/circuits/disclose/disclose.circom b/circuits/circuits/disclose/disclose.circom
index 62aa77fb..5b77479e 100644
--- 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];