8.3 計算驗證函數

基于身份的簽名機制的驗證函數的計算由下列步驟組成：
檢索賦值；
重新計算預簽名；

8.3.1　檢索賦值

該步驟等同于7.4.2。如果M不為空，驗證者計算賦值T，它是在8.2中檢索出的值R和消息M的函數。賦值T是個正整數。

8.3.2　 重計算預簽名

驗證者通過使用以下公式生成預簽名的重新計算值：

8.3.3　重計算證據

如果證據是確定性的，它是M的散列值H。驗證者使用R和計算出重新計算值。
如果證據是隨機性的，其計算等同于7.3，其中輸入數據為∏的重新計算值和M的重新計算值M。輸出數據是重計算證據。
。