Technical Evolution Plan

This dynamic and evolving technical roadmap, maintained and periodically updated by the Cartesi Foundation, summarizes Cartesi's ongoing efforts and technical direction.

Where We Are

Cartesi Machine

A RISC-V virtual machine that boots a full Linux OS. Developers can use any language, library or tool that runs on Linux in a verifiable execution environment.

Permissionless fraud proofs

The PRT dispute system runs on Ethereum mainnet. A single honest party can enforce the correct result against a well-funded adversary.

Stage 2 on L2BEAT

Cartesi has achieved stage 2 on L2BEAT. One of a handful of rollups to reach the highest maturity classification.

App-specific rollups (appchains)

Each application benefits from dedicated compute. Applications avoid block space competition while remaining deployable as an L2, an L3, or a sovereign rollup.

Current Technical Priorities

Last Updated on Aug 3, 2026

Safe Infrastructure for Real Money

Financial applications need recovery paths and dispute resolution that hold under adversarial conditions.

In Testing

Emergency Withdrawals

Enable users to recover their funds if an application stops or a security council determines that funds are at risk, such as when an exploit is discovered).

In Progress

Validator Diversity

Support multiple validator implementations, so that potential bugs in one implementation cannot be used to exploit the system.

In Progress

Fraud-Proof System v3

Integrate dispute resolution across the full rollups stack, with hardened settlement and tournament logic

Upcoming

Extensive Auditing / Battle Testing

Subject the full solution to external and internal audits, extended live testing, and sophisticated attacks carried out with the help of AI agents

Economical Computation at Scale

Real financial logic, like risk models, simulations, and statistical analysis, has to be cost-efficient enough to run every block.

Completed

Machine Emulator v0.20

Improve performance with faster state hashing, disk-backed machine state, more efficient proofs for long-running computations, and support for ZK proof.

Exploring

ZK Verification Path

Support ZK fraud proofs to eliminate delay attacks while still enabling arbitrarily complex computations beyond the capabilities of current ZK technologies.

In Testing

Confirmation Latency

Use a sequencer to provide fast soft confirmations for trading applications, with fraud-proof settlement behind them.

Easy Stack for Shipping Onchain in a Day

Linux onchain means developers can build with the languages, libraries, and tools they already know. Nothing new to learn.

In Testing

Rollups Node v2

Support multi-application throughput, restart resilience, production diagnostics.

In Testing

Agentic Development

Provide an MCP server and Cartesi skills so AI coding tools produce working Cartesi code.

In Testing

CLI 2.0 and Rollups Explorer

Support local development, mainnet forking, node inspection.

Completed

Demo DeFi Implementations

Demos that include implementations covering risk engines, bonding curves, liquidity vaults, and advanced order types.

Set Aside

As the focus narrowed to DeFi, several other directions were discontinued: Bitcoin execution, the EigenLayer coprocessor, Lambada, alternative data availability integrations, sequencer integrations, ENS resolution, browser-based rollups.

The code remains open source, available to anyone in the community who wants to build on it or continue exploring these areas.

Follow Cartesi's ongoing technical evolution through GitHub releases, ecosystem updates and what is coming on our blog, and technical discussions on Discord.