Fix prover segfault

NilFoundation · Jul 17, 2024 · 440b01a · 440b01a
1 parent 4e7dc62
commit 440b01a
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/libs/parallel-zk/include/nil/crypto3/zk/snark/systems/plonk/placeholder/prover.hpp b/libs/parallel-zk/include/nil/crypto3/zk/snark/systems/plonk/placeholder/prover.hpp
@@ -122,7 +122,6 @@ namespace nil {
                             , _is_lookup_enabled(constraint_system.lookup_gates().size() > 0)
                             , _commitment_scheme(commitment_scheme)
                     {
-                        std::cout << "Table has " << table_description.rows_amount << " rows." << std::endl;
 
                         // Initialize transcript.
                         transcript(preprocessed_public_data.common_data.vk.constraint_system_with_params_hash);
@@ -236,7 +235,7 @@ namespace nil {
                             (split_polynomial_size / preprocessed_public_data.common_data.desc.rows_amount + 1):
                             (split_polynomial_size / preprocessed_public_data.common_data.desc.rows_amount);
 
-                        if (preprocessed_public_data.common_data.max_quotient_chunks != 0 && 
+                        if (preprocessed_public_data.common_data.max_quotient_chunks != 0 &&
                             split_polynomial_size > preprocessed_public_data.common_data.max_quotient_chunks) {
                             split_polynomial_size = preprocessed_public_data.common_data.max_quotient_chunks;
                         }
@@ -254,6 +253,9 @@ namespace nil {
                             T_splitted_dfs[k].from_coefficients(T_splitted[k]);
                         }, ThreadPool::PoolLevel::HIGH);
 
+                        // DO NOT CHANGE, sizes are different by design
+                        T_splitted_dfs.resize(split_polynomial_size);
+
                         return T_splitted_dfs;
                     }