hacspec
rust-crypto
| hacspec | rust-crypto | |
|---|---|---|
| 3 | 2 | |
| 235 | 1,357 | |
| - | - | |
| 5.1 | 0.0 | |
| 3 months ago | about 1 year ago | |
| Coq | Rust | |
| MIT License | Apache License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
hacspec
-
Bertie – A minimal, high-assurance implementation of TLS 1.3 written in hacspec
I have no idea what the legal weight is for a toml field so this repo really would benefit from having a formal copy of the Apache-2 license file https://github.com/hacspec/hax/blob/2da100068e9ae5e69e5b35bb... similar to its MIT friend https://github.com/hacspec/hacspec/blob/4ecc847fc944fe996e19...
-
Lets goo memory safe asm
†The "Rust" code would most likely need to be written in a strict subset of the language like Hacspec
-
Rustlang Cryptography Interest Group & Formal Verification Sync-up Call 2
Bas Spitter will be speaking on Hacspec and ConCert
rust-crypto
-
Should we be worried about proliferation of unsafe in Rust code?
3680 in azul 147 in rayon 2 functions and 1 pattern match in ripgrep 25 in rust-crypto
-
Crate for AES256 - which one to choose? Questions about block cipher modes and AEAD too.
rust-crypto (GitHub: DaGenix / rust-crypto) good: support for different algorithms I wanna use for enrypting hashing (the latter is for another project) good: seems easy to use according to the example bad: no audit yet bad: don't know if still maintained, last commit on GitHub is from September 2016
What are some alternatives?
creusot - Creusot helps you prove your code is correct in an automated fashion. [Moved to: https://github.com/creusot-rs/creusot]
ring - Safe, fast, small crypto using Rust
ConCert - A framework for smart contract verification in Coq
curve25519-dalek - A pure-Rust implementation of group operations on Ristretto and Curve25519
proofs - My personal repository of formally verified mathematics.
rust-openssl - OpenSSL bindings for Rust
zips - Zcash Improvement Proposals
ed25519-dalek - Fast and efficient ed25519 signing and verification in Rust.
silveroak - Formal specification and verification of hardware, especially for security and privacy.
sodiumoxide - [DEPRECATED] Sodium Oxide: Fast cryptographic library for Rust (bindings to libsodium)
magmide - A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
rustls - A modern TLS library in Rust