真随机数生成器(TRNG)，Haskell和经验/形式方法

Question

我想对由特定硬件生成的真实随机数生成器(TRNG)数进行验证，但我不习惯这样做。

首先，我想通过经验方法(AKA，我想检查它们是否真的是真随机数(TRN))来测试真随机数生成器(TRNG)的一致性；我不知道是否可以用正式的方法来检查这一点。

有没有一些关于这个主题的特别讲座？有什么建议吗？有没有用于这个经验方法测试的工具？

Answer 1

我建议您不要尝试复制现有的工具，因为这将是大量的工作。Marsaglia的Diehard tests应该可以工作，或者您也可以使用dieharder，这是GPL的重新实现。从网页上：

diehard (就像之前的diehard一样)的主要目的是为了方便地对随机数生成器进行计时和测试(伪)，无论是软件还是硬件，用于研究和密码学的各种目的。该工具完全建立在GSL的随机数生成器接口之上，并在其操作中使用了各种其他GSL工具(例如排序、erfc、不完全伽马、分布生成器)。