From 50796e2efe5a3dc51ee7c732bd50271d2cc9889e Mon Sep 17 00:00:00 2001
From: "e.tatuzova" <e.tatuzova@nil.foundation>
Date: Sat, 26 Oct 2024 16:20:33 +0400
Subject: [PATCH] #95 rw minor update

---
 .../include/nil/blueprint/utils/satisfiability_check.hpp  | 8 ++++----
 .../libs/blueprint/include/nil/blueprint/zkevm_bbf/rw.hpp | 4 ++--
 .../nil/blueprint/zkevm_bbf/subcomponents/rw_table.hpp    | 2 +-
 3 files changed, 7 insertions(+), 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
index d054c271e3..7b5381e683 100644
--- 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
index f8611bf31e..8a94ef34b0 100644
--- 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
index 02c45b136b..eabc43e31d 100644
--- 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);