Alternatives and similar repositories for fiat-crypto:

Users that are interested in fiat-crypto are comparing it to the libraries listed below

• FStarLang / karamel
  KaRaMeL is a tool for extracting low-level F* programs to readable C code
  ☆416Updated 2 weeks ago
• project-everest / vale
  Verified Assembly Language for Everest
  ☆278Updated 11 months ago
• hacspec / hacspec
  Please see https://github.com/hacspec/hax
  ☆242Updated 11 months ago
• EasyCrypt / easycrypt
  EasyCrypt: Computer-Aided Cryptographic Proofs
  ☆332Updated last week
• jasmin-lang / jasmin
  Language for high-assurance and high-speed cryptography
  ☆278Updated this week
• tamarin-prover / tamarin-prover
  Main source code repository of the Tamarin prover for security protocol verification.
  ☆434Updated last month
• cpeikert / Lol
  Λ ⚬ λ: Functional Lattice Cryptography
  ☆226Updated 3 years ago
• project-everest / everparse
  Automated generation of provably secure, zero-copy parsers from format specifications
  ☆261Updated this week
• BLAKE3-team / BLAKE3-specs
  The BLAKE3 paper: specifications, analysis, and design rationale
  ☆169Updated 2 years ago
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆198Updated 2 years ago
• facebookresearch / Cupcake
  A Rust library for lattice-based additive homomorphic encryption.
  ☆413Updated last year
• o1-labs / snarky
  OCaml DSL for verifiable computation
  ☆499Updated 3 weeks ago
• awslabs / s2n-bignum
  ☆136Updated this week
• runtimeverification / k
  K Framework Tools 7.0
  ☆465Updated this week
• project-everest / mitls-fstar
  Verified implementation of TLS 1.3 in F*
  ☆176Updated 7 months ago
• dalek-cryptography / curve25519-dalek
  A pure-Rust implementation of group operations on Ristretto and Curve25519
  ☆931Updated last week
• GaloisInc / cryptol
  Cryptol: The Language of Cryptography
  ☆1,137Updated this week
• mit-plv / bedrock2
  A work-in-progress language and compiler for verified low-level programming
  ☆301Updated last week
• dalek-cryptography / subtle
  Pure-Rust traits and utilities for constant-time cryptographic implementations.
  ☆260Updated 5 months ago
• sdiehl / bulletproofs
  Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup
  ☆538Updated 2 years ago
• GaloisInc / saw-script
  The SAW scripting language.
  ☆446Updated this week
• mmcloughlin / addchain
  Cryptographic Addition Chain Generation in Go
  ☆188Updated 7 months ago
• project-everest / everest
  ☆193Updated this week
• XKCP / XKCP
  eXtended Keccak Code Package
  ☆596Updated last week
• sphincs / sphincsplus
  The SPHINCS+ reference code, accompanying the submission to NIST's Post-Quantum Cryptography project
  ☆147Updated 9 months ago
• seL4 / l4v
  seL4 specification and proofs
  ☆521Updated this week
• dalek-cryptography / bulletproofs
  A pure-Rust implementation of Bulletproofs using Ristretto.
  ☆1,063Updated 6 months ago
• microsoft / Spartan
  Spartan: High-speed zkSNARKs without trusted setup
  ☆739Updated this week
• microsoft / PQCrypto-SIDH
  SIDH Library is a fast and portable software library that implements state-of-the-art supersingular isogeny cryptographic schemes. The ch…
  ☆322Updated last year
• supranational / blst
  Multilingual BLS12-381 signature library
  ☆486Updated this week