This project aims to create a fully formally proven software library that uses physical sources as entropy sources for True Random Number Generator (TRNG). I will be composed of a core engine and an extendable static API to add physical sources such as Lava Lamp, Radioactive Decay...
We use Formosa KECCAK as a formally proven cryptographical implementation of functions used inside our core engine. You can connect proprietary crpytographical implementations using the appropriate crate feature.
The rest of the software will be made using Rust Creusot.
- NIST SP 800-90A Rev. 1: Recommendation for Random Number Generation Using Deterministic Random Bit Generators.
- NIST SP 800-90B: Recommendation for the Entropy Sources Used for Random Bit Generation.
- NIST SP 800-90C: Recommendation for Random Bit Generator (RBG) Constructions.
- NIST SP 800-22 Rev. 1a: A Statistical Test Suite for Random and Pseudorandom Number Generators for Cryptographic Applications.
- BSI AIS 31: Multiple documents.
All the references are available free of charge following the links; I also regrouped them at https://kdrive.infomaniak.com/app/share/1926560/59e64735-4282-4d51-b705-4bf41fb9aaa6.