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:
- The simplest way to spin your own dev / prod rollup, fully configurable.☆98Updated last year
- Stylus VM and Fraud Prover☆119Updated last year
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.☆206Updated last week
- Playing with zero-knowledge proof languages☆107Updated 2 years ago
- Commit-Boost allows Ethereum validators to safely run MEV-Boost and community-built commitment protocols☆128Updated this week
- Dango exchange☆127Updated this week
- Pricing anything, anywhere, anytime.☆87Updated last month
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆146Updated last week
- Technical documentation of the zkEVM☆91Updated last year
- Template for integrating RISC Zero and Ethereum using Foundry☆140Updated 6 months ago
- basic circom project using hardhat-circom (upgrade to circom2 is WIP)☆132Updated 2 years ago
- ☆103Updated 3 years ago
- Sidecar to Enable Rollup Extensions☆157Updated this week
- Smart contracts for onchain verification of SP1.☆124Updated 2 months ago
- ☆100Updated 3 years ago
- Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs …☆170Updated 7 months ago
- EigenLayer Rust Developer Tooling☆91Updated last month
- The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve☆218Updated 2 years ago
- Celestia -> EVM bridge☆137Updated 3 weeks ago
- ☆192Updated 6 months ago
- Cross-chain interop research, funded by Optimism Governance.☆62Updated 7 months ago
- A minimal implementation of the Polynomial Commitments API for EIP-4844 and EIP-7594, written in C.☆159Updated 2 weeks ago
- Ethereum Lean client in Zig (wip)☆80Updated this week
- Symbiotic Core smart contracts☆56Updated this week
- ☆352Updated 4 months ago
- A minimal (and wicked fast) blockchain built with the Commonware Library.☆86Updated last month
- Build Cosmos SDK applications on the OP Stack.☆29Updated last year
- ZK Email in Noir☆78Updated last month
- Specular Monorepo☆37Updated last year
- ☆56Updated 2 years ago