cartesi / dave
Cartesi fraud-proof system
☆21Updated this week
Alternatives and similar repositories for dave:
Users that are interested in dave are comparing it to the libraries listed below
- Smart Contracts for Cartesi Rollups☆24Updated 2 weeks ago
- The off-chain implementation of the Cartesi Machine☆69Updated last week
- The simplest way to spin your own dev / prod rollup, fully configurable.☆96Updated 4 months ago
- Reference implementation of the Cartesi Rollups Node☆25Updated this week
- Playing with zero-knowledge proof languages☆105Updated 2 years ago
- SNARKifying Ethereum☆63Updated this week
- ☆51Updated this week
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆50Updated 3 weeks ago
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆127Updated 2 years ago
- Cairo / Starknet files for the Briq protocol and the Briq builder☆66Updated 9 months ago
- A collection of devnets for the Pectra ethereum fork☆30Updated this week
- Shenlong is a blazingly fast ⚡ tool to generate LLVM IR from Cairo, written in Rust 🦀☆67Updated last year
- Walkthroughs to leverage Odyssey's features from the future.☆85Updated 2 months ago
- Foundry like framework for starknet contracts☆77Updated last year
- Build Cosmos SDK applications on the OP Stack.☆29Updated 2 months ago
- Redstone is Optimism, with off-chain data availability.☆71Updated this week
- ZK Email in Noir☆59Updated 2 weeks ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆83Updated this week
- Basic Noir anonymous proof of membership☆88Updated 3 weeks ago
- A curated list of repos related to Circom☆96Updated 2 years ago
- Commit-Boost allows Ethereum validators to safely run MEV-Boost and community-built commitment protocols☆95Updated this week
- 🦄 UniswapV3 fork that computes swaps off-chain via a zkVM☆83Updated last year
- An Execution Abstraction framework that allows apps, frontends, and oracles to fulfill their users' intents and retain their users' MEV b…☆149Updated last week
- ☆62Updated 3 months ago
- Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.☆91Updated last year
- Learn how to debug a StarkNet smart contract☆47Updated last year
- zkevm-chain: Deprecated☆87Updated last year
- Smart contracts for on-chain anonymous settlement.☆98Updated 2 weeks ago
- PoC of Revm execution in SGX☆79Updated last year
- Scaling Ethereum, but this time in rust.☆90Updated last year