Cartesi is an infrastructure layer for achieving consensus over real world computations running off-chain.