Added test for multi-prover and zkllvm sha2_256 test #20

NilFoundation · Nov 29, 2023 · ea5cb65 · ea5cb65
1 parent 8f9216d
commit ea5cb65
Show file tree

Hide file tree

Showing 2 changed files with 368 additions and 66 deletions.
diff --git a/include/nil/actor/zk/snark/systems/plonk/placeholder/lookup_argument.hpp b/include/nil/actor/zk/snark/systems/plonk/placeholder/lookup_argument.hpp
@@ -159,6 +159,8 @@ namespace nil {
                                 for (std::size_t j = 0; j < usable_rows_amount; j++) {
                                     // This assert means that every value \in keys of sorting_map = set of values of reduced_value
                                     BOOST_ASSERT(sorting_map.find(reduced_input[i][j]) != sorting_map.end());
+                                    if(sorting_map.find(reduced_input[i][j]) != sorting_map.end())
+                                        std::cout << "Reduced input[" << i << "][" << j << "] = " << reduced_input[i][j] << "Not found" << std::endl;
                                     sorting_map[reduced_input[i][j]]++;
                                 }
                             }