IntroductionThe Cartesi Machine is Cartesi's solution for verifiable computation.Host perspective3 itemsTarget perspective3 itemsBlockchain perspective3 items