One Rust binary, zero persistence: E2EE conversations with post-quantum Noise + ML-KEM that are never written to disk.
Turn a $5 Raspberry Pi RP2350 board into an open-source hardware passkey: WebAuthn/FIDO2 logins, ssh & git signing, OpenPGP, PIV, TOTP. Rust firmware, no_std.
A modern TLS library in Rust
Cryptographic filesystem for the cloud
Collection of cryptographic hash functions written in pure Rust
β‘ Automatically decrypt encryptions without knowing the key or cipher, decode encodings, and crack hashes β‘
π Local-first Secrets Manager
Rosenpass is a post-quantum-secure VPN that uses WireGuard to transport the actual data.
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. β‘
Modern Cryptographic Firmware
Minimal implementation of the Mimblewimble protocol.
TFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.
Noir is a domain specific language for zero knowledge proofs
An implementation of the IETF QUIC protocol
A pure-Rust implementation of group operations on Ristretto and Curve25519
A zkVM for Decentralized Private Computations (DPC)
OpenPGP implemented in pure Rust, permissively licensed
Unsafely fast hashing algorithm π
The Halo2 zero-knowledge proving system
Libraries for finite field, elliptic curve, and polynomial arithmetic
STARK-based virtual machine
Usable, easy and safe pure-Rust crypto
Pure Rust implementation of the PLONK ZKProof System done by the Dusk team
Easy and secure paper backups of secrets
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
An RPKI Validator and RTR server written in Rust
A Decentralized Operating System for ZK Applications
Declare your digital independence
Spartan: High-speed zkSNARKs without trusted setup