cartesi / dave
Cartesi's permissionless fraud-proof system.
☆23Updated this week
Alternatives and similar repositories for dave:
Users that are interested in dave are comparing it to the libraries listed below
- The off-chain implementation of the Cartesi Machine☆73Updated last week
- The simplest way to spin your own dev / prod rollup, fully configurable.☆97Updated 6 months ago
- 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
- Smart contracts for the Telepathy protocol☆76Updated last year
- Cairo / Starknet files for the Briq protocol and the Briq builder☆66Updated 11 months ago
- Cross-chain interop research, funded by Optimism Governance.☆59Updated this week
- Commit-Boost allows Ethereum validators to safely run MEV-Boost and community-built commitment protocols☆105Updated this week
- Walkthroughs to leverage Odyssey's features from the future.☆99Updated 4 months ago
- Repository for research on Suave.☆23Updated last year
- Sidecar to Enable Rollup Extensions☆113Updated this week
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆104Updated this week
- A repo of example Noir projects.☆51Updated last month
- Pricing anything, anywhere, anytime.☆86Updated last week
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆127Updated 2 years ago
- ☆77Updated this week
- Playing with zero-knowledge proof languages☆105Updated 2 years ago
- ☆47Updated 2 years ago
- Smart contracts for onchain verification of SP1.☆88Updated last month
- An onchain game which explores different ZK game mechanics and information asymmetry☆93Updated last year
- The Slush SDK allows you to spin up L3s on Starknet☆68Updated 2 years ago
- Build Cosmos SDK applications on the OP Stack.☆29Updated 4 months ago
- ☆66Updated 6 months ago
- The Ethereum Rollup Improvement Proposal repository☆133Updated last month
- Reference implementation of the Cartesi Rollups Node☆25Updated last week
- All you need account for authentication and payments on the web.☆187Updated this week
- RISC-V interactive fault proof tech☆102Updated last month
- A suite of development tools and a WASM-Runtime environment for Cairo. All based on WebAssembly. By Caironautes, for Caironautes.☆58Updated 4 months ago
- Scaling Ethereum, but this time in rust.☆90Updated 2 years ago
- Multi-signature functionality for StarkNet☆92Updated last year
- ☆65Updated 2 years ago