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

Question

我想对由特定硬件生成的真正随机数生成器（TRNG）编号进行验证，但我不习惯这个。

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

是否有关于此主题的特定讲座？ 一些提示呢？ 是否有这种经验方法测试的工具？

Answer 1

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

对于研究和加密中的各种目的而言，畏缩者的主要观点（如之前的死硬）是为了方便时间和测试（伪）随机数发生器（软件和硬件）。 该工具完全建立在GSL的随机数发生器接口之上，并在其操作中使用各种其他GSL工具（例如，sort，erfc，不完整的gamma，分布式发生器）。