feat(circom): Add tests to IsEqaulArrays

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

@@ -27,6 +27,19 @@ template Selector(N) {
     out <== sums[N];
 }
 
+<<<<<<< HEAD
+=======
+template RangeCheck(n) {
+  signal input in[3];
+  signal output out;
+
+  signal first <== LessThanBitsCheck(64)([in[0], in[1]]);
+  signal second <== LessThanBitsCheck(64)([in[1], in[2]]);
+
+  out <== first * second;
+}
+
+>>>>>>> d2c78b2f19ec512a921c39fedcba5413061c5a30
 template IsEqualArrays(N) {
   signal input in[2][N];
   signal output out;

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

@@ -26,6 +26,7 @@ template LessThanOrEqualBitsCheck(n) {
   out <== LessEqThan(n)(in);
 }
 
+<<<<<<< HEAD
 template RangeCheck(n) {
   signal input in[3];
   signal output out;
@@ -36,13 +37,18 @@ template RangeCheck(n) {
   out <== first * second;
 }
 
+=======
+>>>>>>> d2c78b2f19ec512a921c39fedcba5413061c5a30
 template DivisionVerification() {
   signal input dividend;
   signal input divisor;
   signal input quotient;
   signal input remainder;
 
+<<<<<<< HEAD
   //TODO: Needs additional constraint
+=======
+>>>>>>> d2c78b2f19ec512a921c39fedcba5413061c5a30
   dividend === divisor * quotient + remainder;
 }
 

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

@@ -0,0 +1,5 @@
+pragma circom 2.1.5;
+
+include "../../circuits/utils/arrays.circom";
+
+component main = IsEqualArrays(3); // N must be equal to length in both arrays in input["in"]

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

@@ -0,0 +1 @@
+{"in": [["1","2","2"],["1","2","2"]]}

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

@@ -0,0 +1 @@
+{"out": "1"}

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

@@ -0,0 +1 @@
+{"in": [["100","2","2"],["1","2","101"]]}

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

@@ -0,0 +1 @@
+{"out": "0"}

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

@@ -0,0 +1 @@
+{"in": [["10","8","7"],["7","8","10"]]}

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

@@ -0,0 +1 @@
+{"out": "0"}