cartesi / daveLinks
Cartesi's permissionless fraud-proof system.
☆24Updated last 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 2 weeks ago
- Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcamp☆151Updated last year
- RISC-V prover system for ZKsync OS☆118Updated this week
- The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve☆219Updated 2 years ago
- The simplest way to spin your own dev / prod rollup, fully configurable.☆98Updated last year
- basic circom project using hardhat-circom (upgrade to circom2 is WIP)☆132Updated 2 years ago
- ☆98Updated 2 years ago
- the race to mainnet-grade L1 zkEVMs☆136Updated this week
- ☆192Updated 8 months ago
- A virtual machine for Cairo written in Go☆88Updated 7 months ago
- ☆353Updated 6 months ago
- Privacy-first tooling for the Ethereum ecosystem☆289Updated last week
- Middleware to compile Circom circuits to Nova prover☆245Updated last year
- STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language☆103Updated 2 years ago
- ZK Email in Noir☆82Updated 2 months ago
- Playing with zero-knowledge proof languages☆107Updated 3 years ago
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.☆214Updated last week
- A fully on-chain trading card game. There will be elves, wizards & shit. Drama and broken friendships also.☆107Updated last year
- A curated list of zkVM, zero-knowledge virtual machine☆300Updated 4 months ago
- Template for integrating RISC Zero and Ethereum using Foundry☆140Updated 7 months ago
- A library for mental poker (and other card games). Based on the Barnett-Smart protocol and the Bayer-Groth argument of correct shuffle☆117Updated last year
- A curated list of repos related to Circom☆104Updated 3 years ago
- Technical documentation of the zkEVM☆91Updated last year
- Cross-chain interop research, funded by Optimism Governance.☆62Updated 9 months ago
- ☆172Updated this week
- Circom Circuits Library for Machine Learning☆181Updated last year
- Implementation of ERC 7524 - PLUME for ECDSA Nullifiers☆139Updated 8 months ago
- ☆103Updated 3 years ago
- EigenLayer Rust Developer Tooling☆92Updated 3 weeks ago
- A minimal (and wicked fast) blockchain built with the Commonware Library.☆96Updated last week