Cartesi is a decentralized and scalable Linux infrastructure that solves the problems of computational scalability and development infrastructure for the decentralized web.
With Cartesi, Blockchain applications can be coded with the vast domain of mainstream software stacks available today. Applications run off-chain, with the strong security guarantees of the blockchain, but free from its computation limits and high costs.
Cartesi is a layer-2 platform for the development and deployment of scalable decentralized applications. Cartesi DApps are composed of both blockchain and off-chain components. Off-chain components run inside Cartesi Nodes that represent the interests of each DApp user. Cartesi Nodes provide DApp developers with reproducible Cartesi Machines, where large scale verifiable computations can be run. These verifiable computations are easily integrated into smart contracts by powerful primitives that provide strong conflictresolution guarantees.