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:
- Pricing anything, anywhere, anytime.☆87Updated 3 weeks ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆139Updated last week
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.☆200Updated this week
- ☆192Updated 4 months ago
- An onchain game which explores different ZK game mechanics and information asymmetry☆95Updated 2 years ago
- Stylus VM and Fraud Prover☆119Updated last year
- Playing with zero-knowledge proof languages☆107Updated 2 years ago
- The simplest way to spin your own dev / prod rollup, fully configurable.☆99Updated 11 months ago
- RISC-V prover system for ZKsync OS☆97Updated this week
- Technical documentation of the zkEVM☆91Updated last year
- Ethereum Lean client in Zig (wip)☆69Updated this week
- Cairo / Starknet files for the Briq protocol and the Briq builder☆65Updated last year
- Generates a stark from a pil☆98Updated last year
- Mirror of AztecProtocol/aztec-packages/aztec-nr☆127Updated this week
- The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve☆213Updated last year
- ☆102Updated 2 years ago
- Smart contracts for onchain verification of SP1.☆119Updated last month
- ☆100Updated 3 years ago
- An online playground for zero knowledge circuits☆153Updated 4 months ago
- ☆55Updated last year
- ☆96Updated last year
- A testing & development environment for Circom.☆116Updated 2 months ago
- basic circom project using hardhat-circom (upgrade to circom2 is WIP)☆132Updated 2 years ago
- Walkthroughs to leverage Odyssey's features from the future.☆105Updated 4 months ago
- A collection of devnets for the Pectra ethereum fork☆35Updated 5 months ago
- EigenLayer Rust Developer Tooling☆91Updated 2 months ago
- ☆158Updated 7 months ago
- Cross-chain interop research, funded by Optimism Governance.☆61Updated 5 months ago
- Template for integrating RISC Zero and Ethereum using Foundry☆138Updated 4 months ago
- the race to prove Ethereum in real-time☆118Updated this week