Description
Cartesi Machine is the execution environment for the Cartesi Rollups protocol. Built on the RISC-V instruction set, it runs decentralized-application backends off-chain and can host a full Linux operating system. Its self-contained, reproducible, and transparent execution state is committed on-chain through Merkle roots and can be verified through an interactive verification game.