feat(circom): DivisionBy

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

@@ -42,10 +42,31 @@ template DivisionVerification() {
   signal input quotient;
   signal input remainder;
 
-  //TODO: Needs additional corebase nstraint
   dividend === divisor * quotient + remainder;
+
+  component lessThan = LessThanBitsCheck(252);
+  lessThan.in[0] <== remainder;
+  lessThan.in[1] <== divisor;
+  lessThan.out === 1;
+}
+
+template DivisionBy() {
+    signal input divisor;
+    signal input dividend;
+    signal output quotient;
+    signal output remainder;
+
+    quotient <-- dividend \ divisor;
+    remainder <-- dividend % divisor;
+
+    component divisionVerification = DivisionVerification();
+    divisionVerification.divisor <== divisor;
+    divisionVerification.dividend <== dividend;
+    divisionVerification.quotient <== quotient;
+    divisionVerification.remainder <== remainder;
 }
 
+
 template Pow(N){
     signal input base;
     signal input power;

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"
+}