Add tests for sha256 and poseidon. Assigner submodule updated.

Author: akokoshn

examples/inputs/validate_merkle_path_sha2_256.inp

@@ -31,8 +31,8 @@
     },
     {
         "vector": [
-            {"field": "86554538938959106637154046931247318302"},
-            {"field": "250679293405040244372434488049653302086"}
+            {"field": "35174607401651764532592651957486212894"},
+            {"field": "140712014106150384775276850496842098004"}
         ]
     }
 ]

libs/assigner

@@ -222,5 +222,9 @@ add_zkllvm_unit_test("libc/strncmp/strncmp")
 add_zkllvm_unit_test("libc/strcpy/strcpy")
 add_zkllvm_unit_test("libc/strncpy/strncpy")
 
+#hashes
+add_zkllvm_unit_test("hashes/sha256/sha2_256")
+add_zkllvm_unit_test("hashes/poseidon/poseidon")
+
 add_dependencies(all_for_test_run all_circuit_tests)
 add_dependencies(all_for_test_run all_expected_res_tests)

tests/cpp/CMakeLists.txt

@@ -0,0 +1,36 @@
+#ifndef __ZKLLVM__
+#include "../../read_boost_json.hpp"
+#include <cstdint>
+#include <fstream>
+#endif
+
+#include <nil/crypto3/hash/algorithm/hash.hpp>
+#include <nil/crypto3/hash/poseidon.hpp>
+
+#ifdef __ZKLLVM__
+
+using namespace nil::crypto3;
+using namespace nil::crypto3::algebra::curves;
+
+[[circuit]] typename pallas::base_field_type::value_type test_func(typename pallas::base_field_type::value_type b,
+                                                             typename pallas::base_field_type::value_type c) {
+    typename pallas::base_field_type::value_type hash_result = hash<hashes::poseidon>(b, c);
+
+    return hash_result;
+}
+
+#endif
+
+#ifndef __ZKLLVM__
+
+int main (int argc, char *argv[]){
+    if (argc != 2) {
+        std::cerr << "one command line argument must be provided\n";
+        std::abort();
+    }
+
+    std::cout << "1090649087601646060577911565538921894952249843885775285625455432992693168204" << std::endl;
+
+    return 0;
+}
+#endif

tests/cpp/hashes/poseidon/poseidon.cpp

@@ -0,0 +1,35 @@
+#ifndef __ZKLLVM__
+#include "../../read_boost_json.hpp"
+#include <cstdint>
+#include <fstream>
+#endif
+
+#include <nil/crypto3/hash/algorithm/hash.hpp>
+#include <nil/crypto3/hash/sha2.hpp>
+
+#ifdef __ZKLLVM__
+
+using namespace nil::crypto3;
+
+[[circuit]] typename hashes::sha2<256>::block_type test_func(typename hashes::sha2<256>::block_type first_input_block,
+                                                             typename hashes::sha2<256>::block_type second_input_block) {
+    typename hashes::sha2<256>::block_type hash_result = hash<hashes::sha2<256>>(first_input_block, second_input_block);
+
+    return hash_result;
+}
+
+#endif
+
+#ifndef __ZKLLVM__
+
+int main (int argc, char *argv[]){
+    if (argc != 2) {
+        std::cerr << "one command line argument must be provided\n";
+        std::abort();
+    }
+
+    std::cout << "88644561790884159333416244513756961366 279256413903306112288588927002886743215 " << std::endl;
+
+    return 0;
+}
+#endif

tests/cpp/hashes/sha256/sha2_256.cpp

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

tests/inputs/hashes/poseidon/poseidon.inp

@@ -0,0 +1,2 @@
+[ {"vector": [{"field": "326522724692461750427768532537390503835"},{"field": "89059515727727869117346995944635890507"}]},
+  {"vector": [{"field": "291547819587797372485177713898460727720"},{"field": "194782098816759892662980765881849306481"}]} ]