Cartesi is a blockchain operating system that enables developers to build decentralized logic with Linux and standard programming environments, while preserving the decentralization and security of blockchains.