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 index 0d2157a6..c35f6d44 100644 --- 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); @@ -197,7 +196,6 @@ namespace nil { { std::vector T_splitted_dfs = quotient_polynomial_split_dfs(); - _proof.commitments[QUOTIENT_BATCH] = T_commit(T_splitted_dfs); } transcript(_proof.commitments[QUOTIENT_BATCH]); @@ -206,7 +204,6 @@ namespace nil { _proof.eval_proof.challenge = transcript.template challenge(); generate_evaluation_points(); - { PROFILE_PLACEHOLDER_SCOPE("commitment scheme proof eval time"); _proof.eval_proof.eval_proof = _commitment_scheme.proof_eval(transcript); @@ -236,7 +233,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 +251,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; }