cartesi / daveLinks
Cartesi's permissionless fraud-proof system.
☆24Updated this week
Alternatives and similar repositories for dave
Users that are interested in dave are comparing it to the libraries listed below
Sorting:
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆150Updated last week
- Playing with zero-knowledge proof languages☆107Updated 3 years ago
- Privacy-first tooling for the Ethereum ecosystem☆289Updated this week
- ☆98Updated 2 years ago
- RISC-V prover system for ZKsync OS☆118Updated this week
- basic circom project using hardhat-circom (upgrade to circom2 is WIP)☆132Updated 2 years ago
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.☆214Updated this week
- Pricing anything, anywhere, anytime.☆87Updated 3 months ago
- The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve☆219Updated 2 years ago
- Technical documentation of the zkEVM☆91Updated last year
- A curated list of repos related to Circom☆104Updated 3 years ago
- The simplest way to spin your own dev / prod rollup, fully configurable.☆98Updated last year
- Middleware to compile Circom circuits to Nova prover☆245Updated last year
- ☆192Updated 8 months ago
- ☆71Updated last year
- Implementation of ERC 7524 - PLUME for ECDSA Nullifiers☆139Updated 7 months ago
- Template for integrating RISC Zero and Ethereum using Foundry☆140Updated 7 months ago
- ☆103Updated 3 years ago
- An online playground for zero knowledge circuits☆153Updated 7 months ago
- Provable play of Nintendo Entertainment System in Noir☆136Updated last year
- group signatures implemented with zkSNARKs☆85Updated 4 years ago
- A smart contract implementation of the Ethereum light client sync protocol☆66Updated last week
- Specular Monorepo☆37Updated last year
- A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex…☆102Updated this week
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆102Updated last year
- DSL for Halo2 circuits☆188Updated last year
- An onchain game which explores different ZK game mechanics and information asymmetry☆95Updated 2 years ago
- the race to mainnet-grade L1 zkEVMs☆136Updated this week
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆87Updated 3 weeks ago
- Parallelized multi-backend KZG library for Ethereum Data Sharding (aka Proto-Danksharding, EIP-4844)☆134Updated last month