Alternatives and similar repositories for dave

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

• astraly-labs / Pragma
  Pricing anything, anywhere, anytime.
  ☆87Updated 3 weeks ago
• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆139Updated last week
• risc0 / risc0-ethereum
  Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.
  ☆200Updated this week
• AztecProtocol / noir-starter
  ☆192Updated 4 months ago
• FlynnSC / zk-hunt
  An onchain game which explores different ZK game mechanics and information asymmetry
  ☆95Updated 2 years ago
• OffchainLabs / stylus
  Stylus VM and Fraud Prover
  ☆119Updated last year
• spalladino / zkp-tests
  Playing with zero-knowledge proof languages
  ☆107Updated 2 years ago
• 0xFableOrg / roll-op
  The simplest way to spin your own dev / prod rollup, fully configurable.
  ☆99Updated 11 months ago
• matter-labs / zksync-airbender
  RISC-V prover system for ZKsync OS
  ☆97Updated this week
• 0xPolygon / zkevm-techdocs
  Technical documentation of the zkEVM
  ☆91Updated last year
• blockblaz / zeam
  Ethereum Lean client in Zig (wip)
  ☆69Updated this week
• briqNFT / briq-protocol
  Cairo / Starknet files for the Briq protocol and the Briq builder
  ☆65Updated last year
• 0xPolygon / pil-stark
  Generates a stark from a pil
  ☆98Updated last year
• AztecProtocol / aztec-nr
  Mirror of AztecProtocol/aztec-packages/aztec-nr
  ☆127Updated this week
• personaelabs / spartan-ecdsa
  The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve
  ☆213Updated last year
• succinctlabs / eth-proof-of-consensus
  ☆102Updated 2 years ago
• succinctlabs / sp1-contracts
  Smart contracts for onchain verification of SP1.
  ☆119Updated last month
• OilerNetwork / fossil_cairo0
  ☆100Updated 3 years ago
• 0xPARC / zkrepl
  An online playground for zero knowledge circuits
  ☆153Updated 4 months ago
• starkware-libs / stark-perpetual
  ☆55Updated last year
• zkwebauthn / webauthn-halo2
  ☆96Updated last year
• erhant / circomkit
  A testing & development environment for Circom.
  ☆116Updated 2 months ago
• 0xPARC / circom-starter
  basic circom project using hardhat-circom (upgrade to circom2 is WIP)
  ☆132Updated 2 years ago
• ithacaxyz / odyssey-examples
  Walkthroughs to leverage Odyssey's features from the future.
  ☆105Updated 4 months ago
• ethpandaops / pectra-devnets
  A collection of devnets for the Pectra ethereum fork
  ☆35Updated 5 months ago
• Layr-Labs / eigensdk-rs
  EigenLayer Rust Developer Tooling
  ☆91Updated 2 months ago
• EspressoSystems / HotShot
  ☆158Updated 7 months ago
• 0xFableOrg / xchain
  Cross-chain interop research, funded by Optimism Governance.
  ☆61Updated 5 months ago
• boundless-xyz / risc0-foundry-template
  Template for integrating RISC Zero and Ethereum using Foundry
  ☆138Updated 4 months ago
• ethproofs / ethproofs
  the race to prove Ethereum in real-time
  ☆118Updated this week