3.4 Verify (Verifizieren)

3.4 Verify (Verifizieren)

Um eine PureEdDSA-Signatur ENC(R) || ENC(S) auf einer Nachricht M unter einem öffentlichen Schlüssel ENC(A) zu verifizieren, gehen Sie wie folgt vor. Analysieren Sie die Eingaben so, dass A und R Elemente von E sind und S ein Mitglied der Menge {0, 1, ..., L-1} ist. Berechnen Sie h = H(ENC(R) || ENC(A) || M) und prüfen Sie die Gruppengleichung [2^c * S] B = 2^c * R + [2^c * h] A in E. Die Signatur wird abgelehnt, wenn die Analyse fehlschlägt (einschließlich wenn S außerhalb des Bereichs liegt) oder wenn die Gruppengleichung nicht gilt.

Die EdDSA-Verifizierung für eine Nachricht M ist definiert als PureEdDSA-Verifizierung für PH(M).