楕円曲線DSA
s − 1 {\displaystyle s^{-1}} を外に出して
C = ( z + r d A ) s − 1 ∗ G {\displaystyle C=(z+rd_{A})s^{-1}*G}
署名のステップ6より s {\displaystyle s} の定義を拡張すると
C = ( z + r d A ) ( z + r d A ) − 1 ( k − 1 ) − 1 ∗ G {\displaystyle C=(z+rd_{A})(z+rd_{A})^{-1}(k^{-1})^{-1}*G}
逆数の逆数は元と同じであることと、逆数と元の積は O {\displaystyle O} であることから
C = k ∗ G {\displaystyle C=k*G}
r {\displaystyle r} の定義より、これは署名検証のステップ6と等しい。
これは正しく署名されたメッセージは正しく検証されることのみを示しており、セキュアな署名アルゴリズムであるための他の要素については考慮していない。