7.3 計算證據

使用一個抗碰撞散列函數（見圖1）計算出M的散列值H，它是確定性的證據。
隨機化證據R定義為一個可選字段的串接，它可用于標識散列函數和填充方法，并使用抗碰撞散列函數來計算。如果M不為空的話，R依賴于預簽名∏，并且可選擇地依賴于M（見圖2）。
注：除非散列函數是由簽名機制或域參數唯一確定的，散列函數標識符應包含在散列權標中。