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:
- Privacy-first tooling for the Ethereum ecosystem☆278Updated 2 weeks ago
- Cross-chain interop research, funded by Optimism Governance.☆62Updated 8 months ago
- The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve☆219Updated 2 years ago
- basic circom project using hardhat-circom (upgrade to circom2 is WIP)☆132Updated 2 years ago
- ☆192Updated 7 months ago
- Pricing anything, anywhere, anytime.☆87Updated 2 months ago
- Playing with zero-knowledge proof languages☆107Updated 2 years ago
- The simplest way to spin your own dev / prod rollup, fully configurable.☆98Updated last year
- Provable play of Nintendo Entertainment System in Noir☆136Updated last year
- Commit-Boost allows Ethereum validators to safely run MEV-Boost and community-built commitment protocols☆128Updated 2 weeks ago
- RISC-V prover system for ZKsync OS☆116Updated this week
- A Solidity library that authenticates that the user is a correct holder of the specific email address, and specify entirely in Solidity h…☆83Updated this week
- ☆100Updated 3 years ago
- group signatures implemented with zkSNARKs☆85Updated 4 years ago
- Mirror of AztecProtocol/aztec-packages/aztec-nr☆145Updated this week
- A monorepo of reusable libraries for zero-knowledge technologies.☆361Updated 3 months ago
- Walkthroughs to leverage Odyssey's features from the future.☆106Updated 6 months ago
- ☆352Updated 5 months ago
- Implementation of ERC 7524 - PLUME for ECDSA Nullifiers☆139Updated 7 months ago
- Tools for STARK proving using cupy☆177Updated 2 months ago
- A testing & development environment for Circom.☆117Updated 5 months ago
- Ethereum Lean client in Zig (wip)☆82Updated this week
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.☆211Updated this week
- ☆71Updated last year
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆146Updated last month
- A fully on-chain trading card game. There will be elves, wizards & shit. Drama and broken friendships also.☆106Updated last year
- ERC-7683 - Intents Framework Monorepo☆153Updated 9 months ago
- An online playground for zero knowledge circuits☆153Updated 7 months ago
- zkSudoku is a platform that allows users to play zk (zero knowledge) Sudoku games.☆46Updated 2 years ago
- Hardhat plugin to integrate Circom and SnarkJS into your build process.☆119Updated 2 years ago