libcrux

A high-assurance cryptographic library: formally verified, high-performance implementations of post-quantum and classical primitives.