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 2 months ago
• 0xPARC / circom-starter
  basic circom project using hardhat-circom (upgrade to circom2 is WIP)
  ☆132Updated 2 years ago
• personaelabs / spartan-ecdsa
  The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve
  ☆211Updated last year
• lambdaclass / sparkling_water_bootcamp
  Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcamp
  ☆144Updated 10 months ago
• matter-labs / zksync-airbender
  RISC-V prover system for ZKsync OS
  ☆87Updated this week
• noir-lang / noir-examples
  A repo of example Noir projects.
  ☆64Updated 3 weeks ago
• spalladino / zkp-tests
  Playing with zero-knowledge proof languages
  ☆106Updated 2 years ago
• 0xFableOrg / roll-op
  The simplest way to spin your own dev / prod rollup, fully configurable.
  ☆98Updated 10 months ago
• risc0 / risc0-ethereum
  Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.
  ☆192Updated this week
• andrewmilson / sandstorm
  Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
  ☆159Updated 7 months ago
• OilerNetwork / fossil_cairo0
  ☆100Updated 3 years ago
• arnaucube / awesome-circom
  A curated list of repos related to Circom
  ☆100Updated 2 years ago
• ithacaxyz / odyssey-examples
  Walkthroughs to leverage Odyssey's features from the future.
  ☆104Updated 2 months ago
• OffchainLabs / stylus
  Stylus VM and Fraud Prover
  ☆119Updated last year
• maxgillett / giza
  A Cairo VM prover implemented using Winterfell
  ☆157Updated 3 years ago
• lambdaclass / starknet_in_rust
  A Rust implementation of Starknet execution logic
  ☆171Updated last year
• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆135Updated this week
• NethermindEth / cairo-vm-go
  A virtual machine for Cairo written in Go
  ☆89Updated 2 months ago
• tonk-labs / dappicom
  Provable play of Nintendo Entertainment System in Noir
  ☆137Updated last year
• 0xPolygonHermez / zisk
  ☆117Updated this week
• auditless / cairo-template
  A minimal template for building smart contracts with Cairo 1.0
  ☆87Updated 2 years ago
• lambdaclass / mina_bridge
  Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum
  ☆94Updated 5 months ago
• FlynnSC / zk-hunt
  An onchain game which explores different ZK game mechanics and information asymmetry
  ☆96Updated last year
• zkjargon / zkjargon.github.io
  A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.
  ☆107Updated 2 months ago
• RareSkills / zk-book
  This is the markdown for the ZK Book
  ☆103Updated 2 weeks ago
• zkemail / zkemail.nr
  ZK Email in Noir
  ☆74Updated last month
• lambdaclass / cairo-vm_in_go
  cairo-vm_in_go is a Go implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for wr…
  ☆57Updated last year
• ethproofs / ethproofs
  SNARKifying Ethereum
  ☆109Updated this week
• AztecProtocol / noir-starter
  ☆190Updated 3 months ago
• paradigmxyz / zk-eth-rng
  Secure randomness for Ethereum's execution layer via SNARKs and RANDAO.
  ☆176Updated 2 years ago