难以计算正弦的MD5整数部分

Question

此问题是密码学堆栈交换的migrated，因为可以在堆栈溢出中回答。Migrated<< [9小时前。

我正在玩MD5实现，并使用Wikipedia上的伪代码对以下整数整数的二进制部分进行了编码。我发现我的输出和预先计算的表之间存在差异。

我正在尝试确定我的代码是否错误或Wikipedia上的伪代码是否错误。在下面的代码中用math.Floor替换math.Ceil可以修复预先计算的表和我的输出之间的差异。

package main

import "fmt"
import "math"

func main() {
        var i float64
        for i < 64 {
                x := uint(math.Floor(float64(math.MaxUint32) * math.Abs(math.Sin(i+1))))
                fmt.Printf("%d : %x\n", uint(i+1), x)
                i = i + 1
        }
}

1 : d76aa477
2 : e8c7b755
3 : 242070db
4 : c1bdceee

第1行和第2行与预先计算的表不同，而第3行一致。 

Answer 1

问题是math.MaxUint32一对一！即2 32-1而不是2 ³²。

但是无论如何，最简单/最快/通用/最好的选择是使用预先计算的表。

权威的MD5规范是RFC 1321：

the integer part of 4294967296 times abs(sin(i)), where i is in radians.

并且其中

“整数部分”应理解为下限函数。毫无疑问，以floor(abs(sin))的适当精度给出了RFC表中的数字。在这里，将每个条目的格式重新设置为8个十六进制数字，然后对照Wolfram's Alpha吐出的BaseForm[Floor[Abs[2^32 Sin[Range[64]]]],16]进行交叉检查。

d76aa478 e8c7b756 242070db c1bdceee f57c0faf 4787c62a a8304613 fd469501 698098d8 8b44f7af ffff5bb1 895cd7be 6b901122 fd987193 a679438e 49b40821 f61e2562 c040b340 265e5a51 e9b6c7aa d62f105d 02441453 d8a1e681 e7d3fbc8 21e1cde6 c33707d6 f4d50d87 455a14ed a9e3e905 fcefa3f8 676f02d9 8d2a4c8a fffa3942 8771f681 6d9d6122 fde5380c a4beea44 4bdecfa9 f6bb4b60 bebfbc70 289b7ec6 eaa127fa d4ef3085 04881d05 d9d4d039 e6db99e5 1fa27cf8 c4ac5665 f4292244 432aff97 ab9423a7 fc93a039 655b59c3 8f0ccc92 ffeff47d 85845dd1 6fa87e4f fe2ce6e0 a3014314 4e0811a1 f7537e82 bd3af235 2ad7d2bb eb86d391