From 1ce5a77e4420fa761486f42d4a3d28ebbedff329 Mon Sep 17 00:00:00 2001
From: thomaslavaur <thomas19.lavaur@gmail.com>
Date: Wed, 8 Apr 2026 09:02:15 +0200
Subject: [PATCH] fix bug in comparator full less than

---
 misc/comparator.circom | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/misc/comparator.circom b/misc/comparator.circom
index 4f5ce28..ac5850a 100644
--- a/misc/comparator.circom
+++ b/misc/comparator.circom
@@ -52,7 +52,7 @@ template SafeFullLessThan() {
 
     signal intermediate_results[4];
     intermediate_results[0] <== (1 - C.out) * (1-D.out);
-    intermediate_results[1] <== (1 - C.out) * (1-E.out);
+    intermediate_results[1] <== C.out * (1-E.out);
     intermediate_results[2] <== intermediate_results[1] * (1- F.out);
     intermediate_results[3] <== B.out * (intermediate_results[0] + intermediate_results[2]);