Alternatives and similar repositories for qbft-formal-spec-and-verification

Users that are interested in qbft-formal-spec-and-verification are comparing it to the libraries listed below

• Verified-zkEVM / ArkLib
  Formally Verified Arguments of Knowledge in Lean
  ☆133Updated this week
• franklynwang / EcneProject
  Ecne: An engine for verifying the soundness of R1CS constraints
  ☆113Updated 3 years ago
• rdi-berkeley / zkp-course-lecture3-code
  ☆61Updated 2 years ago
• Veridise / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆92Updated last year
• initc3 / babySNARK
  Baby SNARK (do do dodo dodo)
  ☆239Updated last year
• Veridise / Coda
  ☆48Updated 2 years ago
• crate-crypto / go-eth-kzg
  ☆32Updated last month
• circify / circ
  (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.
  ☆312Updated 6 months ago
• informalsystems / atomkraft
  Advanced fuzzing via Model Based Testing for Cosmos blockchains
  ☆84Updated 2 years ago
• Consensys / eth2.0-dafny
  Eth2.0 spec in Dafny
  ☆79Updated last year
• daira / halographs
  Slides and notes for "Halo Optimizations and Constructing Graphs of Elliptic Curves"
  ☆49Updated 3 years ago
• Consensys / evm-dafny
  An EVM interpreter in Dafny
  ☆133Updated last year
• armanthepythonguy / Useless-ZKVM
  ☆16Updated 5 months ago
• risc0 / zirgen
  Zirgen compiler and RISC Zero circuits
  ☆103Updated last week
• rdi-berkeley / zkp-mooc-lab
  ☆90Updated 2 years ago
• ReamLabs / ream-study-group
  A collection of learning materials on the Beam chain and Ream client.
  ☆49Updated this week
• eniac / Reef
  Reef: A zkSNARK system for proving that a committed document matches a regex
  ☆75Updated 2 weeks ago
• zksecurity / halo2-course
  A course on Halo2 in collaboration with Zircuit
  ☆33Updated 10 months ago
• openvm-org / stark-backend
  Proof system backends for OpenVM.
  ☆31Updated this week
• NethermindEth / Clear
  Interactive formal verification tool for Yul programs
  ☆75Updated 3 weeks ago
• lurk-lab / awesome-folding
  A curated list of zero-knowledge folding schemes
  ☆305Updated last year
• Koukyosyumei / zkFuzz
  ZK Circuit Fuzzer (IEEE S&P'26)
  ☆34Updated 3 weeks ago
• Electron-Labs / ed25519-circom
  ED25519 implementation in Circom
  ☆119Updated 2 years ago
• hash-based-snargs-book / hash-based-snargs-book
  Source code for "Building Cryptographic Proofs from Hash Functions"
  ☆222Updated last week
• ingonyama-zk / papers
  A repo for our research papers
  ☆239Updated 6 months ago
• barryWhiteHat / plonk_tutorial
  ☆81Updated 5 years ago
• flashbots / geth-sgx-gramine
  Geth-in-SGX provides an example of running go-ethereum in SGX
  ☆76Updated last year
• anoma / zkp-compiler-shootout
  Evaluating & benchmarking ZKP compilation strategies.
  ☆121Updated last year
• zkCollective / zk-Harness
  Benchmarking framework for general purpose zero-knowledge proofs languages and libraries
  ☆102Updated last year
• NethermindEth / horus-checker
  Horus, a formal verification tool for StarkNet smart contracts.
  ☆76Updated 5 months ago