39 branch prepared to merge #39

Delete couts #39
NilFoundation · Feb 2, 2024 · 491e056 · 491e056
1 parent f206e94
commit 491e056
Show file tree

Hide file tree

Showing 5 changed files with 2,114 additions and 655 deletions.
diff --git a/include/nil/blueprint/transpiler/evm_verifier_gen.hpp b/include/nil/blueprint/transpiler/evm_verifier_gen.hpp
@@ -598,6 +598,7 @@ namespace nil {
                 } else {
                     auto it = constraints.begin();
                     while (it != constraints.end()) {
+                        std::cout << "Gates modules count" <<  gate_modules_count << std::endl;
                         std::string code = print_constraint_series(it, constraints.end());
 
                         std::string result = modular_external_gate_library_template;
@@ -794,6 +795,7 @@ namespace nil {
                 if (fixed_poly_values.size() == 0)
                     return "";
 
+                result << "\t\t\t///* 1 - 2*permutation_size */" << std::endl;
                 std::vector<std::uint8_t> eta_buf;
 
                 std::size_t poly_points = 2*_permutation_size;
@@ -806,7 +808,7 @@ namespace nil {
                 std::array<std::uint8_t, 0> empty;
                 auto writer = eta_buf.begin();
 
-                result << "\t\t/* eta points check */" << std::endl;
+                result << "\t\t///* eta points check */" << std::endl;
                 result << "\t\t{" << std::endl;
                 result << "\t\t\tuint256[" << poly_points << "] memory points;" << std::endl;
 
@@ -883,8 +885,6 @@ namespace nil {
 
             void print(){
                 std::filesystem::create_directory(_folder_name);
-                std::cout << "Generating verifier " << _test_name << std::endl;
-
                 std::string gate_argument = print_gate_argument();
                 std::string lookup_argument = print_lookup_argument();