feat(circom): Add DivisionBy tests

beacon-light-client/circom/circuits/utils/numerical.circom

@@ -44,7 +44,7 @@ template DivisionVerification() {
 
   dividend === divisor * quotient + remainder;
 
-  component lessThan = LessThan(252);
+  component lessThan = LessThanBitsCheck(252);
   lessThan.in[0] <== remainder;
   lessThan.in[1] <== divisor;
   lessThan.out === 1;
@@ -59,8 +59,6 @@ template DivisionBy() {
     quotient <-- dividend \ divisor;
     remainder <-- dividend % divisor;
 
-    quotient * divisor + remainder === dividend;
-
     component divisionVerification = DivisionVerification();
     divisionVerification.divisor <== divisor;
     divisionVerification.dividend <== dividend;

beacon-light-client/circom/test/division_by/circuit.circom

@@ -0,0 +1,5 @@
+pragma circom 2.1.5;
+
+include "../../circuits/utils/numerical.circom";
+
+component main = DivisionBy();

beacon-light-client/circom/test/division_by/data/case01/input.json

@@ -0,0 +1,4 @@
+{
+    "dividend": "23",
+    "divisor": "10"
+}

beacon-light-client/circom/test/division_by/data/case01/output.json

@@ -0,0 +1,4 @@
+{
+    "quotient": "2",
+    "remainder": "3"
+}

beacon-light-client/circom/test/division_by/data/case02/input.json

@@ -0,0 +1,4 @@
+{
+    "dividend": "100",
+    "divisor": "10"
+}

beacon-light-client/circom/test/division_by/data/case02/output.json

@@ -0,0 +1,4 @@
+{
+    "quotient": "10",
+    "remainder": "0"
+}

beacon-light-client/circom/test/division_by/data/case03/input.json

@@ -0,0 +1,4 @@
+{
+    "dividend": "420",
+    "divisor": "469"
+}

beacon-light-client/circom/test/division_by/data/case03/output.json

@@ -0,0 +1,4 @@
+{
+    "quotient": "0",
+    "remainder": "420"
+}