9.2　數據類型轉換原語

9.2　數據類型轉換原語

本條目定義數據類型轉換原語，這些原語在整數、八位位組串和群元素之間進行轉換。

9.2.1　OS2IP

對于給定的長度為k的八位位組串M，應通過以下步驟或者相當的過程轉換成整數i：
a） 把M按字節分解為Mk-1||Mk-2||…||M0，其中Mk-1是最左側的字節，M0是最右側字節；
b） 對于所有的j ∈[0,k-1]，計算i =∑28jMj；

9.2.2　I2OSP

對于給定的非負整數i和目標八位位組串長度l，應通過以下步驟或者相當的過程轉換成八位位組串M：
a） 如果i >256^l，則輸出“整數過大”；
b） 對于所有的j∈[0,l -1]計算mj= i mod (256^j)>>(8 j)；
c） 設Mj是mj對應的字節表示，則M = Ml-1||Ml-2||…||M0；

9.2.3　I2FEP

執行非負整數到有限域元素的操作的原語稱為整數到域元素轉換原語（I2FEP）。
對于給定的整數i∈[0, q -1]應該通過以下步驟或者相當的過程轉換成有限域GF(q)中的元素j：
a） 應用I2OSP轉換i到「log256（q）長度的八位位組串；
b） 應用OS2FEP轉換結果八位位組串到域元素j；

9.2.4　GE2FEP

原語GE2FEP轉換群元素e到有限域上的一個元素。
——在離散對數體制中，由于離散對數體制中，群元素就是域元素，直接輸出域元素e；
——在橢圓曲線體制中：
1) 如果e是無窮遠點，則輸出域元素0并停止；
2) 否則設置域元素xe=e的x坐標；

9.2.5　FE2OSP

FE2OSP轉換有限域GF(q)中的元素e到八位位組串。
——如果q為奇素數，則e是區間[1,q-1]中的整數，則應用I2OSP轉換e到八位位組串；

9.2.6　GE2OSP

——在離散對數體制中,由于在離散對數體制中，群元素就是對于域中的域元素，因此輸出oe=FE2OSP（e）；
——在橢圓曲線體制中：
1） 計算ex= GE2FEP (e)；