feat(circom): Add tests to IsEqaulArrays

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

@@ -42,7 +42,7 @@ template DivisionVerification() {
   signal input quotient;
   signal input remainder;
 
-  //TODO: Needs additional constraint
+  //TODO: Needs additional corebase nstraint
   dividend === divisor * quotient + remainder;
 }
 
@@ -66,5 +66,3 @@ template Pow(N){
 
     out <== selector.out;
 }
-
-component main = Pow(256);

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

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

@@ -1,13 +1,5 @@
 pragma circom 2.1.5;
 
-include "../../circuits/utils/arrays.circom";
+include "../../circuits/utils/numerical.circom";
 
-<<<<<<< HEAD
-<<<<<<< HEAD
 component main = LessThanOrEqualBitsCheck(32);
-=======
-component main = Selector(8) // N must be equal to input["in"] length
->>>>>>> 7f6ce53 (feat(circom) Add tests for Selector circuit.)
-=======
-component main = LessThanOrEqualBitsCheck(32) 
->>>>>>> 5452718 (fix(circom): Fix wrong main call for selector and less_than_eq_bits_check.)

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

@@ -2,4 +2,4 @@ pragma circom 2.1.5;
 
 include "../../circuits/utils/arrays.circom";
 
-component main = Selector(32) // N must be equal to input["in"] length
+component main = Selector(8); // N must be equal to input["in"] length