diff --git a/RIPS/rip-7212.md b/RIPS/rip-7212.md index f98250a..80534e6 100644 --- a/RIPS/rip-7212.md +++ b/RIPS/rip-7212.md @@ -73,13 +73,14 @@ The signature verifying algorithm takes the signed message hash, the signature c s1 = s^(−1) (mod n) # Recover the random point used during the signing: +# If R' is the point at infinity, verification fails R' = (h * s1) * G + (r * s1) * pubKey # Take from R' its x-coordinate: r' = R'.x # Calculate the signature validation result by comparing whether: -r' == r +r' == r (mod n) ```