From 1bb1aee5b0b6f5e0d2ca2c72970cc6de727df1bf Mon Sep 17 00:00:00 2001
From: Forostovec <ilonaforostovec22@gmail.com>
Date: Sun, 19 Oct 2025 13:21:14 +0300
Subject: [PATCH] BIP-374: Pass G and m to VerifyProof in GenerateProof
 self-check

---
 bip-0374.mediawiki | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bip-0374.mediawiki b/bip-0374.mediawiki
index e58956210d..32f3550c51 100644
--- a/bip-0374.mediawiki
+++ b/bip-0374.mediawiki
@@ -82,7 +82,7 @@ The algorithm ''GenerateProof(a, B, r, G, m)'' is defined as:
 * Let ''e = int(hash<sub>BIP0374/challenge</sub>(cbytes(A) || cbytes(B) || cbytes(C) || cbytes(G) || cbytes(R<sub>1</sub>) || cbytes(R<sub>2</sub>) || m'))''.
 * Let ''s = (k + e⋅a) mod n''.
 * Let ''proof = bytes(32, e) || bytes(32, s)''.
-* If ''VerifyProof(A, B, C, proof)'' (see below) returns failure, abort.
+* If ''VerifyProof(A, B, C, proof, G, m)'' (see below) returns failure, abort.
 * Return the proof ''proof''.
 
 === DLEQ Proof Verification ===