From a0d8aad1dfee73da6ec82cbbaed073fc643dc914 Mon Sep 17 00:00:00 2001 From: Andrew Toth Date: Sat, 21 Dec 2024 16:18:24 -0500 Subject: [PATCH] Fix typo --- bip-DLEQ.mediawiki | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bip-DLEQ.mediawiki b/bip-DLEQ.mediawiki index c03260bed7..71ed2637a7 100644 --- a/bip-DLEQ.mediawiki +++ b/bip-DLEQ.mediawiki @@ -48,7 +48,7 @@ Verifying the proof involves recreating ''R1'' and ''R2'' * Let ''R1 = s⋅G - e⋅A''. * Let ''R2 = s⋅B - e⋅C''. -This can be verified by substituing ''s = (k + e⋅a)'': +This can be verified by substituting ''s = (k + e⋅a)'': * ''s⋅G - e⋅A = (k + e⋅a)⋅G - e⋅A = k⋅G + e⋅(a⋅G) - e⋅A = k⋅G + e⋅A - e⋅A = k⋅G''. * ''s⋅B - e⋅C = (k + e⋅a)⋅B - e⋅C = k⋅B + e⋅(a⋅B) - e⋅C = k⋅B + e⋅C - e⋅C = k⋅B''.