From b838696c97b9dce48a817578927410466ab1a24c Mon Sep 17 00:00:00 2001
From: Andrew Toth <andrewstoth@gmail.com>
Date: Tue, 10 Dec 2024 19:20:50 -0500
Subject: [PATCH] Remove cbytes wrapper from m'

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

diff --git a/bip-DLEQ.mediawiki b/bip-DLEQ.mediawiki
index 5726059175..90de1e15c9 100644
--- a/bip-DLEQ.mediawiki
+++ b/bip-DLEQ.mediawiki
@@ -81,7 +81,7 @@ The algorithm ''VerifyProof(A, B, C, proof, G, m)'' is defined as:
 * Let ''R<sub>2</sub> = s⋅B - e⋅C''.
 * Fail if ''is_infinite(R<sub>2</sub>)''.
 * Let ''m' = m if m is provided, otherwise an empty byte array''.
-* Fail if ''e ≠ int(hash<sub>BIP0???/challenge</sub>(cbytes(A) || cbytes(B) || cbytes(C) || cbytes(G) || cbytes(R<sub>1</sub>) || cbytes(R<sub>2</sub>) || cbytes(m')))''.
+* Fail if ''e ≠ int(hash<sub>BIP0???/challenge</sub>(cbytes(A) || cbytes(B) || cbytes(C) || cbytes(G) || cbytes(R<sub>1</sub>) || cbytes(R<sub>2</sub>) || m'))''.
 * Return success iff no failure occurred before reaching this point.
 
 ==Backwards Compatibility==