Alternatives and similar repositories for dave

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

• 0xPolygon / zkevm-techdocs
  Technical documentation of the zkEVM
  ☆90Updated last year
• tonk-labs / dappicom
  Provable play of Nintendo Entertainment System in Noir
  ☆137Updated last year
• 0xPolygonHermez / zisk
  ☆114Updated this week
• personaelabs / spartan-ecdsa
  The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve
  ☆210Updated 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…
  ☆97Updated this week
• VictorColomb / stark-snark-recursive-proofs
  STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language
  ☆104Updated last year
• 0xFableOrg / roll-op
  The simplest way to spin your own dev / prod rollup, fully configurable.
  ☆98Updated 9 months ago
• microbecode / zk-languages
  Introduction to various ZK languages
  ☆78Updated last month
• matter-labs / zksync-airbender
  RISC-V prover system for ZKsync OS
  ☆80Updated last week
• zkwebauthn / webauthn-halo2
  ☆95Updated last year
• 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
• maxgillett / giza
  A Cairo VM prover implemented using Winterfell
  ☆157Updated 2 years ago
• zkemail / zkemail.nr
  ZK Email in Noir
  ☆74Updated 3 weeks ago
• risc0 / risc0-ethereum
  Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.
  ☆190Updated this week
• spalladino / zkp-tests
  Playing with zero-knowledge proof languages
  ☆106Updated 2 years ago
• lambdaclass / mina_bridge
  Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum
  ☆93Updated 4 months ago
• nalinbhardwaj / Nova-Scotia
  Middleware to compile Circom circuits to Nova prover
  ☆241Updated last year
• arnaucube / awesome-circom
  A curated list of repos related to Circom
  ☆100Updated 2 years ago
• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆133Updated last week
• grandinetech / rust-kzg
  Parallelized multi-backend KZG library for Ethereum Data Sharding (aka Proto-Danksharding, EIP-4844)
  ☆124Updated 3 months ago
• personaelabs / efficient-zk-ecdsa
  Lowering client-side proving cost for private ZK signatures in circom
  ☆110Updated 2 years ago
• lambdaclass / sparkling_water_bootcamp
  Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcamp
  ☆144Updated 9 months ago
• 0xPARC / circom-starter
  basic circom project using hardhat-circom (upgrade to circom2 is WIP)
  ☆132Updated 2 years ago
• plume-sig / zk-nullifier-sig
  Implementation of ERC 7524 - PLUME for ECDSA Nullifiers
  ☆139Updated 2 months ago
• iden3 / rapidsnark
  rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.
  ☆78Updated last month
• ethproofs / ethproofs
  SNARKifying Ethereum
  ☆106Updated last week
• 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
  ☆54Updated 4 months ago
• erhant / circomkit
  A testing & development environment for Circom.
  ☆113Updated last week
• chancehudson / poseidon-solidity
  Poseidon hash function implemented in Solidity
  ☆52Updated 11 months ago
• NethermindEth / cairo-vm-go
  A virtual machine for Cairo written in Go
  ☆88Updated last month