真隨機數生成器（TRNG），Haskell和經驗/形式方法

Question

我想對由特定硬件生成的真正隨機數生成器（TRNG）編號進行驗證，但我不習慣這個。

首先，我想通過經驗方法測試真隨機數發生器（TRNG）的一致性（ AKA ，我想檢查它們是否真的是真正的隨機數（TRN））; 而且我不知道我是否可以用正式方法檢查這一點。

是否有關於此主題的特定講座？ 一些提示呢？ 是否有這種經驗方法測試的工具？

Answer 1

我建議你不要試圖復制現有的工具，因為這將是很多工作。 Marsaglia的Diehard測試應該可行，或者你可以使用dieharder ，這是一個GPL重新實現。 從網頁：

對於研究和加密中的各種目的而言，畏縮者的主要觀點（如之前的死硬）是為了方便時間和測試（偽）隨機數發生器（軟件和硬件）。 該工具完全建立在GSL的隨機數發生器接口之上，並在其操作中使用各種其他GSL工具（例如，sort，erfc，不完整的gamma，分布式發生器）。