mit-plv / fiat-cryptoLinks
Cryptographic Primitive Code Generation by Fiat
☆763Updated this week
Alternatives and similar repositories for fiat-crypto
Users that are interested in fiat-crypto are comparing it to the libraries listed below
Sorting:
- EasyCrypt: Computer-Aided Cryptographic Proofs☆356Updated this week
- Language for high-assurance and high-speed cryptography☆295Updated this week
- ☆165Updated this week
- Please see https://github.com/hacspec/hax☆243Updated last year
- Λ ⚬ λ: Functional Lattice Cryptography☆231Updated 4 years ago
- Cryptol: The Language of Cryptography☆1,162Updated this week
- Verified Assembly Language for Everest☆291Updated last year
- A Rust library for lattice-based additive homomorphic encryption.☆416Updated last year
- The BLAKE3 paper: specifications, analysis, and design rationale☆179Updated 2 years ago
- Automated generation of provably secure, zero-copy parsers from format specifications☆277Updated last week
- Main source code repository of the Tamarin prover for security protocol verification.☆459Updated this week
- The formally verified crypto library for Rust☆131Updated this week
- Cryptographic Addition Chain Generation in Go☆189Updated 11 months ago
- Flexible and Constant Time Programming Language☆200Updated 3 years ago
- A Rust verification tool☆272Updated this week
- KaRaMeL is a tool for extracting low-level F* programs to readable C code☆456Updated last week
- Pure-Rust traits and utilities for constant-time cryptographic implementations.☆270Updated 10 months ago
- SIDH Library is a fast and portable software library that implements state-of-the-art supersingular isogeny cryptographic schemes. The ch…☆324Updated 2 years ago
- A pure-Rust implementation of group operations on Ristretto and Curve25519☆993Updated this week
- Cingulata (pronounced "tchingulata") is a compiler toolchain and RTE for running C++ programs over encrypted data by means of fully homom…☆407Updated last week
- Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup☆541Updated 2 years ago
- Verified implementation of TLS 1.3 in F*☆177Updated 4 months ago
- Crucible is a library for symbolic simulation of imperative programs☆725Updated this week
- ☆198Updated this week
- A verification toolchain for Rust programs☆299Updated this week
- Constant-Time Toolkit☆296Updated 6 years ago
- The SAW scripting language.☆470Updated this week
- A Coordination repo for all things Rust Cryptography oriented☆277Updated 3 months ago
- A new blockchain architecture under active development, with a strong focus on scalability, privacy and safety☆419Updated 4 years ago
- A pure-Rust implementation of Bulletproofs using Ristretto.☆1,091Updated 11 months ago