cartesi / dave
Cartesi's permissionless fraud-proof system.
☆22Updated this week
Alternatives and similar repositories for dave:
Users that are interested in dave are comparing it to the libraries listed below
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆96Updated this week
- ☆142Updated last month
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.☆148Updated this week
- Middleware to compile Circom circuits to Nova prover☆237Updated last year
- Playing with zero-knowledge proof languages☆105Updated 2 years ago
- prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…☆87Updated this week
- The Layer 2 of Madness: A Blockchain Where Agents Make the Rules (or Don’t)☆64Updated 3 weeks ago
- Technical documentation of the zkEVM☆89Updated 9 months ago
- ☆94Updated 7 months ago
- Smart contracts for onchain verification of SP1.☆86Updated last month
- barretenburg in rust (here we go)☆98Updated last year
- Implementation of ERC 7524 - PLUME for ECDSA Nullifiers☆137Updated 3 months ago
- Horus, a formal verification tool for StarkNet smart contracts.☆74Updated 2 years ago
- Reference implementation of the node for the Polygon Miden rollup☆61Updated this week
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)☆159Updated 2 months ago
- The simplest way to spin your own dev / prod rollup, fully configurable.☆97Updated 5 months ago
- ☆195Updated last year
- STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language☆101Updated last year
- Generates a stark from a pil☆95Updated 7 months ago
- ☆98Updated 7 months ago
- The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve☆207Updated last year
- The off-chain implementation of the Cartesi Machine☆70Updated this week
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆106Updated 2 weeks ago
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum☆91Updated 2 weeks ago
- Walkthroughs to leverage Odyssey's features from the future.☆94Updated 3 months ago
- Cairo / Starknet files for the Briq protocol and the Briq builder☆66Updated 10 months ago
- ☆182Updated 2 weeks ago
- cairo-vm_in_go is a Go implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for wr…☆57Updated 11 months ago
- ☆96Updated last year
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆101Updated 4 months ago