Skip to content

Commit 74b4f2f

Browse files
committed
Escape occurrences of (R)
1 parent f713f56 commit 74b4f2f

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

docs/rfc/rfc-10.adoc

+3-3
Original file line numberDiff line numberDiff line change
@@ -82,9 +82,9 @@ The algorithm `Verify(pk, m, sig)` is defined as:
8282
* Let `s = int(sig[32:64])`; fail if `s ≥ n`.
8383
* Let `e = int(hash(BIP0340/challenge, bytes(r) || bytes(P) || m)) mod n`.
8484
* Let `R = s⋅G - e⋅P`.
85-
* Fail if `is_infinite(R)`.
86-
* Fail if not `has_even_y(R)`.
87-
* Fail if `x(R) ≠ r`.
85+
* Fail if `is_infinite\(R)`.
86+
* Fail if not `has_even_y\(R)`.
87+
* Fail if `x\(R) ≠ r`.
8888
* Return success iff no failure occurred before reaching this point.
8989

9090
For every valid secret key `sk` and message `m`, `Verify(PubKey(sk),m,Sign(sk,m))` will succeed.

0 commit comments

Comments
 (0)