fix(circom): Constrain DivisionVerification

metacraft-labs · Jun 27, 2023 · 45eaaf9 · 45eaaf9
1 parent 843b9f7
commit 45eaaf9
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/beacon-light-client/circom/circuits/utils/numerical.circom b/beacon-light-client/circom/circuits/utils/numerical.circom
@@ -42,10 +42,16 @@ template DivisionVerification() {
   signal input quotient;
   signal input remainder;
 
-  //TODO: Needs additional corebase nstraint
   dividend === divisor * quotient + remainder;
+
+  component lessThan = LessThan(252);
+  lessThan.in[0] <== remainder;
+  lessThan.in[1] <== divisor;
+  lessThan.out === 1;
 }
 
+
+
 template Pow(N){
     signal input base;
     signal input power;