NOTE: This is not libcrux the formally verified rust crypto library (and one of the underlying crypto primitives libraries for Firefox's NSS).