From dc07e6c925f9c00be1e1d39a7f8009942df702a7 Mon Sep 17 00:00:00 2001 From: Adam Date: Sat, 15 Nov 2025 14:44:11 +0100 Subject: [PATCH] docs: align ZK-patch polynomial notation in r1cs_to_qap_witness_map Update function documentation to match inline comment notation for ZK-patch polynomial. Changed (A d2 + B d1 - d3) to (d2*A + d1*B - d3) for consistency with code comment. --- libsnark/reductions/r1cs_to_qap/r1cs_to_qap.tcc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/libsnark/reductions/r1cs_to_qap/r1cs_to_qap.tcc b/libsnark/reductions/r1cs_to_qap/r1cs_to_qap.tcc index 2b45c252..16f3a8a5 100644 --- a/libsnark/reductions/r1cs_to_qap/r1cs_to_qap.tcc +++ b/libsnark/reductions/r1cs_to_qap/r1cs_to_qap.tcc @@ -197,7 +197,7 @@ qap_instance_evaluation r1cs_to_qap_instance_map_with_evaluation(const r * (3) compute evaluations of A,B,C on T = "coset of S" * (4) compute evaluation of H on T * (5) compute coefficients of H - * (6) patch H to account for d1,d2,d3 (i.e., add coefficients of the polynomial (A d2 + B d1 - d3) + d1*d2*Z ) + * (6) patch H to account for d1,d2,d3 (i.e., add coefficients of the polynomial (d2*A + d1*B - d3) + d1*d2*Z ) * * The code below is not as simple as the above high-level description due to * some reshuffling to save space.