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:
- Playing with zero-knowledge proof languages☆106Updated 2 years ago
- The simplest way to spin your own dev / prod rollup, fully configurable.☆99Updated 11 months ago
- Stylus VM and Fraud Prover☆119Updated last year
- basic circom project using hardhat-circom (upgrade to circom2 is WIP)☆132Updated 2 years ago
- A curated list of repos related to Circom☆101Updated 2 years ago
- the race to prove Ethereum in real-time☆114Updated this week
- Cross-chain interop research, funded by Optimism Governance.☆60Updated 5 months ago
- group signatures implemented with zkSNARKs☆85Updated 3 years ago
- The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve☆213Updated last year
- zkevm-chain: Deprecated☆90Updated 2 years ago
- Zero Knowledge-based NFT Private Airdrop. 🏆 finalist EthDenver 22☆44Updated 3 years ago
- ☆192Updated 4 months ago
- ☆102Updated 2 years ago
- The most advanced solidity library for merkle (multi) proof verification of different kinds of merkle trees☆192Updated 3 months ago
- The off-chain implementation of the Cartesi Machine☆90Updated last week
- Provable play of Nintendo Entertainment System in Noir☆137Updated last year
- A hidden-information game without a trusted third party. Uses MPC and zero-knowledge proofs.☆39Updated 2 years ago
- Ethereum Lean client in Zig (wip)☆66Updated this week
- Circuits library for matrix operations in circom☆32Updated last year
- Implementation of ERC 7524 - PLUME for ECDSA Nullifiers☆138Updated 3 months ago
- ☆95Updated last year
- ☆100Updated 3 years ago
- Commit-Boost allows Ethereum validators to safely run MEV-Boost and community-built commitment protocols☆121Updated this week
- To collect data on the performance and security characteristics of ZK circuits being verified on the Ethereum Blockchain and expose this …☆60Updated 2 years ago
- Cryptographic Primitives for Blockchain Systems (solidity, cairo, C and rust)☆145Updated last year
- Template for integrating RISC Zero and Ethereum using Foundry☆139Updated 3 months ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆138Updated 2 weeks ago
- ED25519 implementation in Circom☆119Updated 2 years ago
- The hub for Ethereum-wide interoperability. A collective effort focused on defining common standards and system designs to keep the Ether…☆64Updated last month
- ☆70Updated last year