メッセージ "m" と署名("r", "s")の検証は以下のように行われる。