Type Safe OCaml Bindings for the Open Quantum Safe Post-Quantum Cryptography Library
The finalization of NIST post-quantum cryptography (PQC) standards necessitates the immediate migration of security-critical ecosystems to quantum-resistant algorithms. Despite OCaml powering high-assurance security infrastructure such as MirageOS unikernels, the Tezos blockchain, and NetHSM hardware security modules,...