Rust Programming Language - hacspec: succinct, executable, verifiable specifications for high-assurance cryptography
Sign in to continue reading, translating and more.
