mit-plv / fiat-crypto
Cryptographic Primitive Code Generation by Fiat
☆717Updated this week
Related projects ⓘ
Alternatives and complementary repositories for fiat-crypto
- Please see https://github.com/hacspec/hax☆243Updated 9 months ago
- EasyCrypt: Computer-Aided Cryptographic Proofs☆319Updated this week
- Language for high-assurance and high-speed cryptography☆270Updated this week
- Λ ⚬ λ: Functional Lattice Cryptography☆224Updated 3 years ago
- A pure-Rust implementation of group operations on Ristretto and Curve25519☆902Updated last month
- Verified Assembly Language for Everest☆270Updated 9 months ago
- The BLAKE3 paper: specifications, analysis, and design rationale☆166Updated 2 years ago
- Flexible and Constant Time Programming Language☆198Updated 2 years ago
- KaRaMeL is a tool for extracting low-level F* programs to readable C code☆396Updated this week
- A Rust library for lattice-based additive homomorphic encryption.☆408Updated last year
- Cryptographic Addition Chain Generation in Go☆186Updated 4 months ago
- Main source code repository of the Tamarin prover for security protocol verification.☆419Updated this week
- ☆127Updated this week
- The SPHINCS+ reference code, accompanying the submission to NIST's Post-Quantum Cryptography project☆135Updated 7 months ago
- OCaml DSL for verifiable computation☆496Updated this week
- Cryptol: The Language of Cryptography☆1,137Updated this week
- Interfaces for Relations and SNARKs for these relations☆794Updated 3 weeks ago
- Verified implementation of TLS 1.3 in F*☆173Updated 5 months ago
- Automated generation of provably secure, zero-copy parsers from format specifications☆251Updated this week
- SIDH Library is a fast and portable software library that implements state-of-the-art supersingular isogeny cryptographic schemes. The ch…☆318Updated last year
- Rust language general purpose elliptic curve cryptography.☆264Updated 4 months ago
- Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup☆535Updated last year
- Community Cryptography Specification Project☆313Updated last month
- Spartan: High-speed zkSNARKs without trusted setup☆696Updated last month
- Clean, portable, tested implementations of post-quantum cryptography☆595Updated last month
- MLS protocol☆232Updated 2 months ago
- Reference implementation of the Picnic post-quantum signature scheme☆157Updated last year
- The SAW scripting language.☆442Updated this week
- Libraries for finite field, elliptic curve, and polynomial arithmetic☆644Updated this week
- ☆113Updated 6 months ago