arnaucube/circomlib
1
0
Fork 0
mirror of https://github.com/arnaucube/circomlib.git synced 2026-02-06 18:56:43 +01:00
Code Issues Packages Projects Releases Wiki Activity

fix LessThan and adds assert

Browse Source
This commit is contained in:
Kobi Gurkan
2020-08-24 10:46:37 +03:00
parent 01e3f0d680
commit 1cd3d203c5
3 changed files with 135 additions and 45 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
circuits/comparators.circom
View File

@@ -86,10 +86,11 @@ template LessThan(n) {
*/
template LessThan(n) {
assert(n <= 252);
signal input in[2];
signal output out;
component n2b = Num2Bits(n*2+1);
component n2b = Num2Bits(n+1);
n2b.in <== in[0]+ (1<<n) - in[1];