diff --git a/circuits/comparators.circom b/circuits/comparators.circom index 3eaa3d8..e3de809 100644 --- a/circuits/comparators.circom +++ b/circuits/comparators.circom @@ -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<