mit-plv / fiat-cryptoLinks
Cryptographic Primitive Code Generation by Fiat
☆761Updated 3 weeks ago
Alternatives and similar repositories for fiat-crypto
Users that are interested in fiat-crypto are comparing it to the libraries listed below
Sorting:
- Language for high-assurance and high-speed cryptography☆293Updated this week
- Please see https://github.com/hacspec/hax☆243Updated last year
- EasyCrypt: Computer-Aided Cryptographic Proofs☆352Updated this week
- Verified Assembly Language for Everest☆291Updated last year
- ☆161Updated this week
- Automated generation of provably secure, zero-copy parsers from format specifications☆274Updated this week
- Cryptol: The Language of Cryptography☆1,158Updated this week
- KaRaMeL is a tool for extracting low-level F* programs to readable C code☆451Updated last week
- Λ ⚬ λ: Functional Lattice Cryptography☆231Updated 4 years ago
- A Rust library for lattice-based additive homomorphic encryption.☆415Updated last year
- The BLAKE3 paper: specifications, analysis, and design rationale☆177Updated 2 years ago
- Verified implementation of TLS 1.3 in F*☆177Updated 3 months ago
- Main source code repository of the Tamarin prover for security protocol verification.☆459Updated last week
- Cryptographic Addition Chain Generation in Go☆189Updated 11 months ago
- ☆198Updated this week
- The SAW scripting language.☆468Updated this week
- Spartan: High-speed zkSNARKs without trusted setup☆769Updated last week
- Crucible is a library for symbolic simulation of imperative programs☆719Updated last week
- A pure-Rust implementation of group operations on Ristretto and Curve25519☆984Updated last week
- eXtended Keccak Code Package☆607Updated 2 weeks ago
- A pure-Rust implementation of Bulletproofs using Ristretto.☆1,085Updated 10 months ago
- Flexible and Constant Time Programming Language☆200Updated 3 years ago
- Verified Software Toolchain☆463Updated this week
- seL4 specification and proofs☆547Updated 3 weeks ago
- The SPHINCS+ reference code, accompanying the submission to NIST's Post-Quantum Cryptography project☆171Updated last year
- OCaml DSL for verifiable computation☆499Updated last week
- K Framework Tools 7.0☆492Updated this week
- Rust language general purpose elliptic curve cryptography.☆269Updated 10 months ago
- A verification toolchain for Rust programs☆262Updated this week
- Boogie☆540Updated last week