add exit_check_eq_pallas test

Author: CblPOK-git

tests/cpp/CMakeLists.txt

@@ -228,6 +228,7 @@ add_zkllvm_unit_test("algebra/integers/shift/right")
 
 #bool tests
 add_zkllvm_unit_test("algebra/bool/assigner_exit_check")
+add_zkllvm_unit_test("algebra/bool/assigner_exit_check_eq_pallas")
 
 # bit de/composition tests
 add_zkllvm_unit_test("algebra/de_composition/decomposition/msb")

tests/cpp/algebra/bool/assigner_exit_check.cpp

@@ -6,7 +6,12 @@
 
 #include <nil/crypto3/algebra/curves/pallas.hpp>
 
-[[circuit]] bool assert_equaluty(uint32_t a, uint32_t b) {
+using namespace nil::crypto3::algebra::curves;
+
+[[circuit]] bool assert_equaluty(
+    typename pallas::base_field_type::value_type a,
+    typename pallas::base_field_type::value_type b
+) {
 
     bool c = a == b;
 
@@ -34,8 +39,9 @@ int main (int argc, char *argv[]){
 
     boost::json::value input_json = read_boost_json(std::string(argv[1]));
 
-    uint32_t a = read_uint<uint32_t>(input_json, 0);
-    uint32_t b = read_uint<uint32_t>(input_json, 1);
+    using BlueprintFieldType = typename pallas::base_field_type;
+    typename BlueprintFieldType::value_type a = read_field <BlueprintFieldType>(input_json, 0);
+    typename BlueprintFieldType::value_type b = read_field <BlueprintFieldType>(input_json, 1);
 
     assert_equaluty(a, b);
     return 0;

tests/cpp/algebra/bool/assigner_exit_check_eq_pallas.cpp

@@ -0,0 +1,49 @@
+#ifndef __ZKLLVM__
+#include "../../read_boost_json.hpp"
+#include <cstdint>
+#include <fstream>
+#endif
+
+#include <nil/crypto3/algebra/curves/pallas.hpp>
+
+using namespace nil::crypto3::algebra::curves;
+
+[[circuit]] bool assert_equaluty(
+    typename pallas::base_field_type::value_type a,
+    typename pallas::base_field_type::value_type b
+) {
+
+    bool c = a == b;
+
+
+#ifdef __ZKLLVM__
+    __builtin_assigner_exit_check_eq_pallas(a, b);
+#else
+    assert(c);
+#endif
+
+    #ifndef __ZKLLVM__
+    std::cout << c <<std::endl;
+    #endif
+
+    return c;
+}
+
+#ifndef __ZKLLVM__
+
+int main (int argc, char *argv[]){
+    if (argc != 2) {
+        std::cerr << "one command line argument must be provided\n";
+        std::abort();
+    }
+
+    boost::json::value input_json = read_boost_json(std::string(argv[1]));
+
+    using BlueprintFieldType = typename pallas::base_field_type;
+    typename BlueprintFieldType::value_type a = read_field <BlueprintFieldType>(input_json, 0);
+    typename BlueprintFieldType::value_type b = read_field <BlueprintFieldType>(input_json, 1);
+
+    assert_equaluty(a, b);
+    return 0;
+}
+#endif

tests/faulty_inputs/algebra/bool/bad_input.inp

@@ -1,4 +1,4 @@
 [
-  {"int": 5},
-  {"int": 10}
+  {"field": 5},
+  {"field": 10}
 ]

tests/inputs/algebra/bool/good_input.inp

@@ -1,4 +1,4 @@
 [
-  {"int": 5},
-  {"int": 5}
+  {"field": 5},
+  {"field": 5}
 ]