4 ms·HACL: A High-Assurance Cryptographic Library2 points by deterministic 2y agodeterministic 2y ago… with ready to use C code.