Cartesi is an open-source framework for building application-specific rollups on Ethereum and other EVM-compatible chains. Applications run off-chain as ordinary Linux programs, with the languages, libraries, and tools available for RISC-V Linux.
Build your first application or explore the documentation.
Cartesi Machine is a deterministic RISC-V emulator that runs Linux. Anyone can reproduce a computation and check its result. An experimental ZK integration proves Machine state transitions, with on-chain verification.
Cartesi Rollups combines the Machine, smart contracts, and the Cartesi Rollups Node into an SDK for application-specific rollups. Each application is its own rollup, with its own Machine and state. The node reads inputs recorded on the base chain, executes the application off-chain, and submits claims about the results for on-chain settlement. Deployment and node operation are permissionless: anyone can deploy an application and run a node.
Dave is Cartesi's permissionless fraud-proof system. Applications using it allow anyone to validate execution and dispute incorrect results through an on-chain Machine verifier.
Cartesi is developed as an open-source public good, with infrastructure available for anyone to use, inspect, and contribute to.
- CLI: create, build, and run an application.
- Sequencer: add optional low-latency soft confirmations and batch inputs for submission to the base chain.
- Engineering map: find repositories, component status, and dependencies.
- Developer community: ask questions and discuss what you are building.
- Security policy: report a vulnerability privately.
Contributions are welcome through each repository's contribution guidelines. Licenses vary by component: the Cartesi Machine uses LGPL-3.0; the on-chain Machine verifier, Dave, Rollups Contracts, Rollups Node, Sequencer, and the CLI use Apache-2.0. See each repository for its full license terms and dependency notices.