7.3 驗證過程

7.3.1　準備驗證消息

驗證方檢索已簽名的消息并且確定如7.2.2中所指定的兩個數據輸入部分M1和M2。

7.3.2　檢索證據

驗證方按照7.2.3中指定的證據函數檢索證據H，它是數據輸入M1的一個函數。

7.3.3　計算驗證函數

使用從域參數集Z或驗證密鑰Y得到的整數v，驗證方利用驗證函數以獲得一個重新計算的證據H。

7.3.4　驗證證據

如果檢索出的證據H 與由驗證函數重新計算出的證據一致，則簽名是有效的。