Alternatives and similar repositories for dave

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

• vacp2p / zerokit
  A set of Zero Knowledge modules, written in Rust and designed to be used in other system programming environments.
  ☆139Updated this week
• r55-eth / r55
  ☆344Updated 3 months ago
• risc0 / zeth
  A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM
  ☆420Updated last month
• grandinetech / grandine
  High performance Ethereum consensus client
  ☆222Updated this week
• personaelabs / spartan-ecdsa
  The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve
  ☆209Updated last year
• AztecProtocol / noir-starter
  ☆190Updated last month
• risc0 / risc0-ethereum
  Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.
  ☆183Updated this week
• OffchainLabs / stylus
  Stylus VM and Fraud Prover
  ☆120Updated last year
• EspressoSystems / HotShot
  ☆143Updated 4 months ago
• 0xFableOrg / roll-op
  The simplest way to spin your own dev / prod rollup, fully configurable.
  ☆98Updated 8 months ago
• starkware-libs / blockifier
  Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs …
  ☆171Updated 2 months ago
• 0xPolygonHermez / zisk
  ☆105Updated this week
• nalinbhardwaj / Nova-Scotia
  Middleware to compile Circom circuits to Nova prover
  ☆241Updated last year
• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆132Updated last week
• lambdaclass / sparkling_water_bootcamp
  Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcamp
  ☆144Updated 9 months ago
• lambdaclass / mina_bridge
  Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum
  ☆93Updated 4 months ago
• polymerdao / monomer
  Build Cosmos SDK applications on the OP Stack.
  ☆29Updated 7 months ago
• 0xPARC / circom-starter
  basic circom project using hardhat-circom (upgrade to circom2 is WIP)
  ☆132Updated 2 years ago
• ziyadedher / evm-bench
  🚀🪑 evm-bench is a suite of Ethereum Virtual Machine stress tests and benchmarks.
  ☆213Updated this week
• polytope-labs / solidity-merkle-trees
  The most advanced solidity library for merkle (multi) proof verification of different kinds of merkle trees
  ☆190Updated last month
• yi-sun / circom-pairing
  ☆199Updated last year
• astraly-labs / Pragma
  Pricing anything, anywhere, anytime.
  ☆87Updated last month
• starkware-libs / veedo
  ☆80Updated 4 years ago
• arkworks-rs / circom-compat
  Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.
  ☆269Updated 4 months ago
• spalladino / zkp-tests
  Playing with zero-knowledge proof languages
  ☆105Updated 2 years ago
• privacy-scaling-explorations / chiquito
  DSL for Halo2 circuits
  ☆187Updated 8 months ago
• op-rs / kona
  Monorepo for OP Stack Types, Components, and Services built in Rust.
  ☆213Updated this week
• rkdud007 / awesome-zkvm
  A curated list of zkVM, zero-knowledge virtual machine
  ☆223Updated 2 months ago
• zkwebauthn / webauthn-halo2
  ☆95Updated last year
• andrewmilson / sandstorm
  Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
  ☆160Updated 6 months ago