Fix prover for KZG commitment.

NilFoundation · Sep 19, 2024 · 1ba5e10 · 1ba5e10
1 parent 498376a
commit 1ba5e10
Showing 1 changed file with 5 additions and 3 deletions.
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
@@ -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<commitment_scheme_type>) {
+                                // 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;