#95 rw minor update

NilFoundation · Nov 1, 2024 · 50796e2 · 50796e2
1 parent 0780f3f
commit 50796e2
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 7 deletions.
diff --git a/crypto3/libs/blueprint/include/nil/blueprint/utils/satisfiability_check.hpp b/crypto3/libs/blueprint/include/nil/blueprint/utils/satisfiability_check.hpp
@@ -119,14 +119,14 @@ namespace nil {
 
             std::cout << "Satisfiability check. Check" << std::endl;
             for (const auto& i : used_gates) {
-                std::cout << "Check gate " << i << std::endl;
+                //std::cout << "Check gate " << i << std::endl;
                 crypto3::zk::snark::plonk_column<BlueprintFieldType> selector =
                     assignments.crypto3::zk::snark::
                         template plonk_assignment_table<BlueprintFieldType>::selector(
                             gates[i].selector_index);
-                for (std::size_t j = 0; j < gates[i].constraints.size(); j++) {
-                    std::cout << gates[i].constraints[j] << std::endl;
-                }
+                //for (std::size_t j = 0; j < gates[i].constraints.size(); j++) {
+                //    std::cout << gates[i].constraints[j] << std::endl;
+                //}
 
                 for (const auto& selector_row : selector_rows) {
                     // std::cout << "selector row " << selector_row << ": ";

diff --git a/crypto3/libs/blueprint/include/nil/blueprint/zkevm_bbf/rw.hpp b/crypto3/libs/blueprint/include/nil/blueprint/zkevm_bbf/rw.hpp
@@ -54,7 +54,7 @@ namespace nil {
                 static constexpr std::size_t chunks_amount = 30;
 
                 static nil::crypto3::zk::snark::plonk_table_description<FieldType> get_table_description(std::size_t max_rw_size, std::size_t max_mpt_size){
-                    nil::crypto3::zk::snark::plonk_table_description<FieldType> desc(rw_table_type::get_witness_amount() + 50, 0, 2, 4);
+                    nil::crypto3::zk::snark::plonk_table_description<FieldType> desc(rw_table_type::get_witness_amount() + 50, 0, 2, 6);
                     desc.usable_rows_amount = max_rw_size + max_mpt_size;
                     return desc;
                 }
@@ -180,7 +180,7 @@ namespace nil {
                     } else {
                         std::cout << "Build circuit" << std::endl;
                     }
-                    for( std::size_t i = 0; i < max_rw_size - 1; i++){
+                    for( std::size_t i = 0; i < max_rw_size; i++){
                         if( i % 50 == 0)  std::cout << "Circuit for " << i << " rows is constructed"  << std::endl;
                         std::size_t cur_column = rw_table_type::get_witness_amount();
                         TYPE op_bit_composition;

diff --git a/crypto3/libs/blueprint/include/nil/blueprint/zkevm_bbf/subcomponents/rw_table.hpp b/crypto3/libs/blueprint/include/nil/blueprint/zkevm_bbf/subcomponents/rw_table.hpp
@@ -80,7 +80,7 @@ namespace nil {
                     } else {
                         std::cout << "RW circuit" << std::endl;
                     }
-                    for( std::size_t i = 0; i < max_rw_size-1; i++ ){
+                    for( std::size_t i = 0; i < max_rw_size; i++ ){
                         allocate(op[i], 0, i);
                         allocate(id[i], 1, i);
                         allocate(address[i], 2, i);