diff --git a/crypto3/libs/zk/include/nil/crypto3/zk/snark/systems/plonk/placeholder/prover.hpp b/crypto3/libs/zk/include/nil/crypto3/zk/snark/systems/plonk/placeholder/prover.hpp index 58bc05cb05..be917cfad3 100644 --- a/crypto3/libs/zk/include/nil/crypto3/zk/snark/systems/plonk/placeholder/prover.hpp +++ b/crypto3/libs/zk/include/nil/crypto3/zk/snark/systems/plonk/placeholder/prover.hpp @@ -215,9 +215,11 @@ namespace nil { if (!_skip_commitment_scheme_eval_proofs) { _proof.eval_proof.eval_proof = _commitment_scheme.proof_eval(transcript); } else { - // This is required for aggregated prover. If we do not run the LPC proof right now, - // we still need to push the merkle tree roots into the transcript. - _commitment_scheme.eval_polys_and_add_roots_to_transcipt(transcript); + if constexpr (nil::crypto3::zk::is_lpc) { + // This is required for aggregated prover. If we do not run the LPC proof right now, + // we still need to push the merkle tree roots into the transcript. + _commitment_scheme.eval_polys_and_add_roots_to_transcipt(transcript); + } } return _proof;