Cartesi Machine
A reproducible RISC-V virtual machine that boots Linux and runs familiar languages, libraries, and tools.
Technical Plan / 2026
From verifiable compute to production infrastructure.
Cartesi is open source and general purpose. The foundations are in place. Our current work focuses on security hardening, efficiency, and ease of use.
The foundations are already in place.
Cartesi combines a general Linux execution environment with permissionless dispute resolution on Ethereum.
Permissionless fraud proofs
The PRT dispute system runs on Ethereum mainnet. One honest participant can enforce the correct result.
Stage 2 maturity
An independent maturity classification for the live PRT Honeypot rollup.
View on L2BEATApp-specific rollups
Each application receives dedicated compute and can be deployed as an L2, an L3, or a sovereign rollup.
Three outcomes guide the work in motion.
Status describes the work as of 3 August 2026. This page will change as tests complete and priorities move. To make technical progress easier to follow, we are publishing engineering reports (opens in a new tab) highlighting key developments and milestones.
Safe infrastructure for real money.
Recovery paths and dispute resolution designed to hold under adversarial conditions.
-
In testing
Emergency withdrawals
Give users a path to recover funds if an application stops or funds are at risk.
-
In progress
Validator diversity
Support multiple validator implementations to reduce correlated implementation risk.
-
In progress
Fraud-proof system v3
Integrate hardened settlement and tournament logic across the rollups stack.
-
Upcoming
Auditing and battle testing
External review, extended live testing, and sophisticated adversarial testing.
Economical computation at scale.
Make risk models, simulations, and statistical analysis practical enough to run every block.
-
Completed
Machine Emulator v0.20
Faster state hashing, disk-backed state, and more efficient proofs for long computations.
-
Exploring
ZK verification path
Investigate a zero-knowledge route that can reduce delay without constraining computation.
-
In testing
Confirmation latency
Use sequencing for fast soft confirmations while fraud-proof settlement remains behind them.
An easier stack for shipping onchain.
Make familiar Linux tooling translate into a shorter path from idea to working application.
-
In testing
Rollups Node v2
Multi-application throughput, restart resilience, and production diagnostics.
-
In testing
Agentic development
An MCP server and Cartesi skills for AI-assisted development workflows.
-
In testing
CLI 2.0 and Rollups Explorer
Local development, mainnet forking, and clearer node inspection.
-
Completed
Demo DeFi implementations
Reference implementations for risk engines, curves, vaults, and advanced order types.
A narrower focus.
As the focus moved toward DeFi, work on Bitcoin execution, the EigenLayer coprocessor, Lambada, alternative data-availability and sequencer integrations, ENS resolution, and browser-based rollups was discontinued. The code remains open source for anyone who wants to continue those directions.
Explore the code