bip374: clarify DLEQ verification wording

This commit is contained in:
ViniciusCestarii committed 2026-10-20 14:03:39 -03:00
1 parent e80c8549a1
commit af1e6e27c7
1 file changed
+1 -1
+1 -1
View File
@@ -87,7 +87,7 @@ The algorithm ''GenerateProof(a, B, r, G, m)'' is defined as:
=== DLEQ Proof Verification ===
The following verifies the proof generated in the previous section. If the following algorithm succeeds, the points ''A'' and ''C'' were both generated from the same scalar. The former from multiplying by ''G'', and the latter from multiplying by ''B''.
The following verifies the proof generated in the previous section. If the following algorithm succeeds, the points ''A'' and ''C'' were both generated from the same scalar ''a'', i.e. ''A = a⋅G'' and ''C = a⋅B''.
Input:
* The public key of the secret key used in the proof generation ''A'': a point on the curve