From d5a82d9cf0b78ddb07ad3240d73a817a7af8f59d Mon Sep 17 00:00:00 2001
From: Hideaki Takahashi <koukyosyumei@hotmail.com>
Date: Thu, 28 Aug 2025 11:09:24 -0400
Subject: [PATCH] replace assert with ===

---
 circuits/select.circom | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/circuits/select.circom b/circuits/select.circom
index 828159a..4e356bd 100644
--- a/circuits/select.circom
+++ b/circuits/select.circom
@@ -76,7 +76,7 @@ template SELECT(nColumns, nRows, nAND, nOR) {
         }
 
         for (j=0; j<nColumns; j++) {
-            assert(fields[j] >= 0 && fields[j] <= 1);
+            (field[j] - 1) * field[j] === 0;
             isCell[i][j] <== filterRow[i].out * fields[j];
             results[i][j] === table[i][j] * isCell[i][j];
         }