Introduction
This section describes the Cartesi Machine from the perspective of the blockchain.
Hash view of state
One of the key goals of moving computations off-chain is to allow them to manipulate vast amounts of data: so much data that it becomes economically prohibitive to explicitly store them in the blockchain.
Verification game
This section is still under construction.