logos-blockchain/logos-blockchain-circuits
1
0
Fork 0
mirror of https://github.com/logos-blockchain/logos-blockchain-circuits.git synced 2026-05-19 07:49:30 +00:00
Code Issues Packages Projects Releases Wiki Activity

fix bug in comparator full less than

Browse Source
This commit is contained in:
thomaslavaur 2026-04-08 09:02:15 +02:00
parent b36f7f3f2f
commit 1ce5a77e44
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
misc/comparator.circom
View File

@ -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]);