Case studies, catalogued by what each one contributes. Every entry states the problem, the constraints that made it non-trivial, the decision taken, and what the result made more reliable — with the repository, package, or documentation that carries the proof.
Rust's cryptographic crates largely wrap C through FFI, re-importing the supply-chain surface memory safety was meant to retire.
Solo author
Published as rs_shield 0.1.4: SHA, SHA-3, SHAKE, Keccak and HMAC — no_std, allocator-free, checked against NIST vectors.
Cryptography · Infrastructure · Standards · Supply Chain
GitHubRust's cryptographic crates largely wrap C through FFI, re-importing the supply-chain surface memory safety was meant to retire.
Solo author
Published as rs_shield 0.1.4: SHA, SHA-3, SHAKE, Keccak and HMAC — no_std, allocator-free, checked against NIST vectors.
Cryptography · Infrastructure · Standards · Supply Chain
GitHub