Question

在正在处理的小脚本中，我使用以下功能：

function ROTR( $x, $t ){
    return( $x >> $t ) | ( $x << ( 32 - $t ) );
}

function Σ0( $x ){
    echo("SIG INPUT: " . $x . "<br>" );

    $s0 = ROTR( $x, 2 );
    $s1 = ROTR( $x, 13 );
    $s2 = ROTR( $x, 22 );

    echo( "SIGMA0 2: " . $s0 . "<br>" );
    echo( "SIGMA0 13: " . $s1 . "<br>" );
    echo( "SIGMA0 22: " . $s2 . "<br>" );

    return ( $s0 ^ $s1 ^ $s2 );
}

这两者都在第5和10页的this document中进行了定义

我应用以下内容并获得以下结果：

Σ0( 1779033703 )
> SIG INPUT: 1779033703
> SIGMA0 2: -628983399
> SIGMA0 13: 859525199
> SIGMA0 22: 664378792

输入和最后两个输入（SIGMA0 13和SIGMA0 22都非常正常，但是ROTR( 1779033703, 2 )移位似乎溢出了2^31-1有符号整数限制。 / p>

我期望的值为3665983897，我可以通过以下方式在VB.Net中获得：

' THIS SCRIPT HAS INTEGER OVERFLOW CHECKS DISABLED!
Function RotRight(x As UInt32, count As UInt32) As UInt32
    Dim t5 = x \ (2 ^ count)
    Dim t6 = x * (2 ^ (32 - count))

    Return (t5 Or t6)
End Function

Function EP0(x As UInt32) As UInt32
    Dim t7 = RotRight(x, 2)
    Dim t8 = RotRight(x, 13)
    Dim t9 = RotRight(x, 22)

    Return (t7 Xor t8 Xor t9)
End Function

>

SIG INPUT: 1779033703
SIGMA0 2: 3665983897
SIGMA0 13: 859525199
SIGMA0 22: 664378792

我读到有多种方法可以通过使用gmp库将整数视为字符串来避免溢出问题，但是我没有找到一种有效的方法。

到目前为止，我已经尝试将整数转换为字符串，然后使用gmp_init( string )将字符串转换为GMP编号，但是该库似乎不支持移位。

PS：我正在使用32位版本的PHP（我在Windows上使用尚未支持64位的XAMPP）

Answer 1

因为您安装了32位PHP，并且PHP不支持无符号整数，所以您需要使用GMP之类的库来解决问题。不幸的是，GMP没有移位运算功能，但是您可以使用除法和乘法来模拟它们：

function ROTR( $x, $t ){
    return gmp_and(gmp_or(gmp_div($x, 1 << $t), gmp_mul($x, 1 << (32 - $t))), "4294967295");
}

function Σ0( $x ){
    echo("SIG INPUT: " . $x . "\n" );

    $s0 = ROTR( $x, 2 );
    $s1 = ROTR( $x, 13 );
    $s2 = ROTR( $x, 22 );

    echo( "SIGMA0 2: " . gmp_strval($s0, 10) . "\n" );
    echo( "SIGMA0 13: " . gmp_strval($s1, 10) . "\n" );
    echo( "SIGMA0 22: " . gmp_strval($s2, 10) . "\n" );

    return ( gmp_xor($s0, gmp_xor($s1, $s2)) );
}

Σ0( 1779033703 );

请注意，由于GMP具有任意精度，因此您需要屏蔽ROTR的输出，以使用and'ing按位(1 << 32) - 1将其限制为32位。

输出：

SIG INPUT: 1779033703
SIGMA0 2: 3665983897
SIGMA0 13: 859525199
SIGMA0 22: 664378792

这是3v4l上的演示

PHP位移位意外结果/溢出？

1 个答案: