听 @carlofragni 解释 Cartesi 如何通过基于 Linux 的扩展设计空间带来计算能力和表现力。并且在争议情况下，如何通过其防欺诈系统的验证游戏，单一诚实方可以强制执行正确的结果。