From 93afb98c81f7b877a3fb8cacdb3b5c934ae3de3f Mon Sep 17 00:00:00 2001 From: "e.tatuzova" Date: Thu, 4 Jan 2024 12:02:05 +0400 Subject: [PATCH] Q computation updated #263 --- .../nil/crypto3/zk/snark/systems/plonk/placeholder/prover.hpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/include/nil/crypto3/zk/snark/systems/plonk/placeholder/prover.hpp b/include/nil/crypto3/zk/snark/systems/plonk/placeholder/prover.hpp index 907b40d1f..6d1ff0bee 100644 --- a/include/nil/crypto3/zk/snark/systems/plonk/placeholder/prover.hpp +++ b/include/nil/crypto3/zk/snark/systems/plonk/placeholder/prover.hpp @@ -245,7 +245,7 @@ namespace nil { PROFILE_PLACEHOLDER_SCOPE("split_polynomial_dfs_conversion_time"); std::size_t split_polynomial_size = std::max( - (preprocessed_public_data.identity_polynomials.size() + 1) * (preprocessed_public_data.common_data.rows_amount -1 ), + (preprocessed_public_data.identity_polynomials.size() + 2) * (preprocessed_public_data.common_data.rows_amount -1 ), (constraint_system.lookup_poly_degree_bound() + 1) * (preprocessed_public_data.common_data.rows_amount -1 )//, ); split_polynomial_size = std::max( @@ -386,7 +386,7 @@ namespace nil { if(_is_lookup_enabled){ _commitment_scheme.append_eval_point(LOOKUP_BATCH, _proof.eval_proof.challenge); _commitment_scheme.append_eval_point(LOOKUP_BATCH, _proof.eval_proof.challenge * _omega); - _commitment_scheme.append_eval_point(LOOKUP_BATCH, _proof.eval_proof.challenge * + _commitment_scheme.append_eval_point(LOOKUP_BATCH, _proof.eval_proof.challenge * _omega.pow(preprocessed_public_data.common_data.usable_rows_amount)); }