Alternatives and similar repositories for dave

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

• matter-labs / zksync-airbender
  RISC-V prover system for ZKsync OS
  ☆104Updated this week
• 0xPARC / circom-starter
  basic circom project using hardhat-circom (upgrade to circom2 is WIP)
  ☆133Updated 2 years ago
• personaelabs / spartan-ecdsa
  The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve
  ☆214Updated last year
• spalladino / zkp-tests
  Playing with zero-knowledge proof languages
  ☆107Updated 2 years ago
• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆145Updated last week
• 0xFableOrg / roll-op
  The simplest way to spin your own dev / prod rollup, fully configurable.
  ☆99Updated last year
• lambdaclass / starknet_in_rust
  A Rust implementation of Starknet execution logic
  ☆171Updated last year
• AztecProtocol / noir-starter
  ☆192Updated 5 months ago
• 0xPolygonHermez / zisk
  ☆145Updated this week
• maxgillett / giza
  A Cairo VM prover implemented using Winterfell
  ☆157Updated 3 years ago
• astraly-labs / Pragma
  Pricing anything, anywhere, anytime.
  ☆87Updated last month
• Commit-Boost / commit-boost-client
  Commit-Boost allows Ethereum validators to safely run MEV-Boost and community-built commitment protocols
  ☆125Updated this week
• OffchainLabs / stylus
  Stylus VM and Fraud Prover
  ☆119Updated last year
• blockblaz / zeam
  Ethereum Lean client in Zig (wip)
  ☆73Updated this week
• enricobottazzi / Zeko
  Zero Knowledge-based NFT Private Airdrop. 🏆 finalist EthDenver 22
  ☆45Updated 3 years ago
• keep-starknet-strange / shenlong
  Shenlong is a blazingly fast ⚡ tool to generate LLVM IR from Cairo, written in Rust 🦀
  ☆67Updated 2 years ago
• ethproofs / ethproofs
  the race to prove Ethereum in real-time
  ☆126Updated this week
• 0xFableOrg / xchain
  Cross-chain interop research, funded by Optimism Governance.
  ☆61Updated 7 months ago
• succinctlabs / eth-proof-of-consensus
  ☆104Updated 3 years ago
• Account-Link / teleport-gramine-rs
  One-time programs on X, create and share a one-time post link from your Twitter account with LLM-enforced policies
  ☆117Updated 11 months ago
• risc0 / risc0-ethereum
  Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.
  ☆202Updated this week
• Layr-Labs / eigensdk-rs
  EigenLayer Rust Developer Tooling
  ☆91Updated last week
• 0xPolygon / zkevm-techdocs
  Technical documentation of the zkEVM
  ☆91Updated last year
• projectsophon / hardhat-circom
  Hardhat plugin to integrate Circom and SnarkJS into your build process.
  ☆119Updated 2 years ago
• zkp2p / zkp2p-poc
  ☆93Updated 2 years ago
• briqNFT / briq-protocol
  Cairo / Starknet files for the Briq protocol and the Briq builder
  ☆65Updated last year
• vezenovm / simple_shield
  Basic Noir private proof of membership
  ☆90Updated 8 months ago
• r55-eth / r55
  ☆350Updated 3 months ago
• VictorColomb / stark-snark-recursive-proofs
  STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language
  ☆104Updated 2 years ago
• zkemail / zkemail.nr
  ZK Email in Noir
  ☆77Updated this week