cartesi / dave
Cartesi fraud-proof system
☆20Updated 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☆68Updated this week
- Redstone is Optimism, with off-chain data availability.☆71Updated this week
- Repository for research on Suave.☆23Updated last year
- TypeScript framework for Cartesi applications☆18Updated this week
- The on-chain implementation of the Cartesi Machine☆107Updated 2 months ago
- Stylus VM and Fraud Prover☆120Updated 8 months ago
- Playing with zero-knowledge proof languages☆104Updated last year
- ☆110Updated this week
- Sunodo monorepo☆31Updated 2 weeks ago
- Cartesi Compute SDK☆34Updated last year
- prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…☆70Updated this week
- A performant, type-1 zkEVM written in Rust & SP1.☆128Updated 3 months ago
- A modular zk-Rollup for zero knowledge smart contracts, zkApps, on the Mina blockchain.☆31Updated last year
- Cartesi Rollups☆30Updated last year
- Structured, dependable legos for Starknet development.☆132Updated 2 years ago
- The official TypeScript implementation of Topology Protocol☆29Updated this week
- The simplest way to spin your own dev / prod rollup, fully configurable.☆93Updated 2 months ago
- Smart contracts for onchain verification of SP1.☆68Updated this week
- Cairo / Starknet files for the Briq protocol and the Briq builder☆65Updated 8 months ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆73Updated this week
- snapchain prototype☆71Updated this week
- Reference implementation of the Cartesi Rollups Node☆25Updated this week
- The schelling point for ZK applications.☆135Updated 8 months ago
- 🚀🪑 evm-bench is a suite of Ethereum Virtual Machine stress tests and benchmarks.☆209Updated last month
- Commit-Boost allows Ethereum validators to safely run MEV-Boost and community-built commitment protocols☆87Updated this week
- Efficient, all-vs-all dispute protocol for Optimistic Rollups☆117Updated last week
- A smart contract implementation of the Ethereum light client sync protocol☆49Updated this week
- ☆61Updated 2 months ago
- Experimental Next-gen Account☆161Updated this week
- Pragma is the leading zk-native oracle, live on StarkNet with 20+ price feeds. Pragma makes data decentralized, transparent and composabl…☆84Updated 2 months ago