feat(circom): Add tests for RangeCheck circuit.

metacraft-labs · Jun 27, 2023 · dfb10fe · dfb10fe
1 parent a6a522e
commit dfb10fe
Show file tree

Hide file tree

Showing 11 changed files with 27 additions and 2 deletions.
diff --git a/beacon-light-client/circom/test/less_than_eq_bits_check/circuit.circom b/beacon-light-client/circom/test/less_than_eq_bits_check/circuit.circom
@@ -2,8 +2,12 @@ pragma circom 2.1.5;
 
 include "../../circuits/utils/arrays.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.)
diff --git a/beacon-light-client/circom/test/range_check/circuit.circom b/beacon-light-client/circom/test/range_check/circuit.circom
@@ -0,0 +1,5 @@
+pragma circom 2.1.5;
+
+include "../../circuits/utils/numerical.circom";
+
+component main = RangeCheck(32);
diff --git a/beacon-light-client/circom/test/range_check/data/case01/input.json b/beacon-light-client/circom/test/range_check/data/case01/input.json
@@ -0,0 +1 @@
+{"in": ["1","2","3"]}
diff --git a/beacon-light-client/circom/test/range_check/data/case01/output.json b/beacon-light-client/circom/test/range_check/data/case01/output.json
@@ -0,0 +1,3 @@
+{
+    "out": "1"
+}
diff --git a/beacon-light-client/circom/test/range_check/data/case02/input.json b/beacon-light-client/circom/test/range_check/data/case02/input.json
@@ -0,0 +1 @@
+{"in": ["3","2","1"]}
diff --git a/beacon-light-client/circom/test/range_check/data/case02/output.json b/beacon-light-client/circom/test/range_check/data/case02/output.json
@@ -0,0 +1,3 @@
+{
+    "out": "0"
+}
diff --git a/beacon-light-client/circom/test/range_check/data/case03/input.json b/beacon-light-client/circom/test/range_check/data/case03/input.json
@@ -0,0 +1 @@
+{"in": ["2","2","3"]}
diff --git a/beacon-light-client/circom/test/range_check/data/case03/output.json b/beacon-light-client/circom/test/range_check/data/case03/output.json
@@ -0,0 +1,3 @@
+{
+    "out": "0"
+}
diff --git a/beacon-light-client/circom/test/range_check/data/case04/input.json b/beacon-light-client/circom/test/range_check/data/case04/input.json
@@ -0,0 +1 @@
+{"in": ["1","2","2"]}
diff --git a/beacon-light-client/circom/test/range_check/data/case04/output.json b/beacon-light-client/circom/test/range_check/data/case04/output.json
@@ -0,0 +1,3 @@
+{
+    "out": "0"
+}
diff --git a/beacon-light-client/circom/test/selector/circuit.circom b/beacon-light-client/circom/test/selector/circuit.circom
@@ -1,5 +1,5 @@
 pragma circom 2.1.5;
 
-include "../../circuits/utils/numerical.circom";
+include "../../circuits/utils/arrays.circom";
 
-component main = LessThanOrEqualBitsCheck(32)
+component main = Selector(32) // N must be equal to input["in"] length