Alternatives and similar repositories for dave

Users that are interested in dave are comparing it to the libraries listed below

• cartesi / machine-emulator
  The off-chain implementation of the Cartesi Machine
  ☆84Updated this week
• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆123Updated this week
• arnaucube / awesome-circom
  A curated list of repos related to Circom
  ☆98Updated 2 years ago
• aragonzkresearch / noir-trie-proofs
  ☆68Updated 10 months ago
• ethproofs / ethproofs
  SNARKifying Ethereum
  ☆102Updated last week
• 0xFableOrg / roll-op
  The simplest way to spin your own dev / prod rollup, fully configurable.
  ☆98Updated 7 months ago
• starkware-libs / sequencer
  ☆51Updated this week
• 0xPolygonHermez / zisk
  ☆82Updated this week
• laudiacay / barustenberg
  barretenburg in rust (here we go)
  ☆97Updated last year
• lambdaclass / mina_bridge
  Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum
  ☆91Updated 2 months ago
• succinctlabs / sp1-contracts
  Smart contracts for onchain verification of SP1.
  ☆95Updated this week
• astraly-labs / Pragma
  Pricing anything, anywhere, anytime.
  ☆86Updated this week
• keep-starknet-strange / shenlong
  Shenlong is a blazingly fast ⚡ tool to generate LLVM IR from Cairo, written in Rust 🦀
  ☆67Updated 2 years ago
• erhant / circomkit
  A testing & development environment for Circom.
  ☆110Updated 2 weeks ago
• noir-lang / noir-examples
  A repo of example Noir projects.
  ☆52Updated this week
• plume-sig / zk-nullifier-sig
  Implementation of ERC 7524 - PLUME for ECDSA Nullifiers
  ☆137Updated last week
• 0xFableOrg / xchain
  Cross-chain interop research, funded by Optimism Governance.
  ☆60Updated last month
• MatteoMer / any-zkvm
  A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use
  ☆52Updated 2 months ago
• spalladino / zkp-tests
  Playing with zero-knowledge proof languages
  ☆105Updated 2 years ago
• 0xPolygonHermez / zkevm-techdocs
  Technical documentation of the zkEVM
  ☆88Updated last year
• zkemail / zk-regex
  A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex…
  ☆95Updated last week
• vezenovm / simple_shield
  Basic Noir private proof of membership
  ☆89Updated 2 months ago
• 0xPolygonHermez / pilcom
  Polynomials Identity Language
  ☆69Updated last year
• whitenois3 / huff-snark-verifier
  Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.
  ☆127Updated 2 years ago
• VictorColomb / stark-snark-recursive-proofs
  STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language
  ☆103Updated last year
• zkCollective / zk-Harness
  Benchmarking framework for general purpose zero-knowledge proofs languages and libraries
  ☆101Updated 6 months ago
• EspressoSystems / HotShot
  ☆140Updated 3 months ago
• cryptonerdcn / wasm-cairo
  A suite of development tools and a WASM-Runtime environment for Cairo. All based on WebAssembly. By Caironautes, for Caironautes.
  ☆58Updated 5 months ago
• FlynnSC / zk-hunt
  An onchain game which explores different ZK game mechanics and information asymmetry
  ☆94Updated last year
• gakonst / awesome-sp1
  A curated list of awesome resources related to SP1 - Succinct's zkVM.
  ☆109Updated 2 months ago