CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
Primary LanguageTypeScriptApache License 2.0Apache-2.0