Paso 12: Verificación de la firma
Ahora que tienes tu firma, quieres comprobarlo, también es bastante simple y sólo necesitas la clave pública (y parámetros de la curva del curso) para hacerlo. Utilizar esta ecuación para calcular un punto P :
P = S ^ -1 * z * G + S ^ -1 * R * Qa
Si la coordenada x del punto P es igual a R, esto significa que la firma es válida, de lo contrario no es.
Bastante simple, ¿EH? Ahora vamos a ver cómo y por qué... y esto va a requerir algunos matemáticas para verificar:
Tenemos:
P = S ^ -1 * z * G + S ^ -1 * R * Qa
pero Qa = dA * G, entonces:
P = S ^ -1 * z * G + S ^ -1 * R * dA * G = S ^ -1 (z + dA * R) * G
Pero la coordenada x de P debe coincidir con los R y R es la coordenada x del k * G, que significa que:
k * G = S ^ -1 (z + dA * R) * G
podemos simplificar quitando G que nos da:
k = S ^ -1 (z + dA * R)
por inversión del tubo k y S, obtenemos:
S = k ^ -1 (z + dA * R)
y que es la ecuación que se utiliza para generar la firma... por lo que los partidos, y esa es la razón por qué usted puede verificar la firma con esa primera ecuación anterior.
