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

Question

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

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

有没有关于这个主题的具体讲座？一些提示呢？是否有用于这种经验方法测试的工具？

Answer 1

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

顽固派（就像之前的顽固派）的主要目的是让时间和测试（伪）随机数生成器变得容易，包括软件和硬件，用于研究和密码学中的各种目的。该工具完全建立在 GSL 的随机数生成器接口之上，并在其操作中使用各种其他 GSL 工具（例如排序、erfc、不完全伽玛、分布生成器）。