Listen to @carlofragni explain how Cartesi brings computational power and expressivity through an expanded design space powered by Linux. And in case of dispute, how a single honest party can enforce the correct result thanks to the verification game of its fraud-proof system.