Cartesi Machine: Cartesi Rollups support a VM with a RISC-V architecture, making it possible to boot Linux or other mature operating systems. Developers can bring their ideas to life through rich code libraries, programming languages, and open-source tooling.

Cartesi Compute: A computational oracle for other L1 or L2 DApps. It offers an extra computational resource for smart contracts on the blockchain, which will call Cartesi to execute complex functions in a fully verifiable way. Cartesi Compute decentralizes computational tasks so that any honest validator node can enforce a correct result against a majority of validators presenting false claims.