RCIG_Coordination_Repo
evercrypt-rust
Our great sponsors
RCIG_Coordination_Repo | evercrypt-rust | |
---|---|---|
18 | 2 | |
240 | 27 | |
3.8% | - | |
3.5 | 0.0 | |
16 days ago | 11 months ago | |
HTML | Rust | |
- | - |
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.
RCIG_Coordination_Repo
-
Do any libraries exist for zero-trust file storage (storing client-encrypted data on the server without the key)?
You may find https://cryptography.rs/ helpful -- especially https://cryptography.rs/#high-level-libraries.
-
Major standard library changes in Go 1.20
https://cryptography.rs/
I would still like to have a more comprehensive or high level stdlib for Rust that is maintained by a core Rust team.
-
[Noob alert] Is there a way to encrypt and decrypt a file with a password using rust?
Checkout https://cryptography.rs/ and look under the symmetric encryption section.
-
Hey Rustaceans! Got a question? Ask here! (30/2022)!
There are some listed on https://cryptography.rs/
-
dryoc – a pure-Rust libsodium implementation
Relevant Rust Crypto Interest Group issue on what compiler changes would be helpful for constant-time assuredness.
- Looking for good (low level?) Elliptic Curve library
-
Rust cryptography resources.
If you’re looking for good crypto libraries try http://cryptography.rs
-
Math programming for newbies like me
If you want to see some existing crypto in rust I suggest taking a look at http://cryptography.rs
- Crate for AES256 - which one to choose? Questions about block cipher modes and AEAD too.
- Rust Cryptography: Showcase of notable cryptography libraries in Rust
evercrypt-rust
-
How We Proved the Eth2 Deposit Contract Is Free of Runtime Errors
CompCert is also very impressive. It's not, however, free software / open source (the source is available though)
https://www.absint.com/compcert/structure.htm
A problem with both seL4 and CompCert is that the code written to express the proofs is huge, much larger than code that actually does stuff. This puts a ceiling on the size of the projects we can verify.
F* is a language that tries to address that, by finding proofs with z3, a smt prover; z3 can't prove everything on its own but it cuts down proof code by orders of magnitude. They have written a verified cryptography stack and TLS stack, and want to write a whole verified http stack.
https://www.fstar-lang.org/
https://github.com/project-everest/hacl-star
https://www.mitls.org/
https://project-everest.github.io/
F* (through Low, a verified low-level subset of F) can extract verified code to C, which is kind of the inverse than the seL4 proof: seL4 begins with C code and enriches it with proofs of correctness; hacl* (a verified crypto F* lib) begins with a proven correct F* code and extracts C code (I gather the actual crypto primitives is compiled directly to asm code because C has some problems with constant time stuff). This enables hacl* to make bindings to other languages that can just call C code, like this Rust binding
https://github.com/franziskuskiefer/evercrypt-rust
Also this F* stuff is all free software / open source, so it might become a very prevalent crypto and TLS stack
-
Awesome Rust Cryptography list compiled by the Rust Cryptography Interest Group (RCIG)
evercrypt-rust (verified) Rust bindings for evercrypt, a set of high-performance HACL*-verified implementations of cryptographic primitives. bindings crate, bringing HACL-verified cryptographic primitives.
What are some alternatives?
block-ciphers - Collection of block cipher algorithms written in pure Rust
dafny - Dafny is a verification-aware programming language
concrete - Concrete: TFHE Compiler that converts python programs into FHE equivalent
hacl-star - HACL*, a formally verified cryptographic library written in F*
librabft_simulator - Discrete-event simulation for BFT consensus protocols
FStar - A Proof-oriented Programming Language
rust-crypto - A (mostly) pure-Rust implementation of various cryptographic algorithms.
gdb-multiarch-windows - GDB multi-architecture build for Windows
RustCrypto - Authenticated Encryption with Associated Data Algorithms: high-level encryption ciphers
warg - Declarative and Intuitive Command Line Apps with Go
Nova - Nova: High-speed recursive arguments from folding schemes