Cartesi与TrueBit

之前有个项目叫TrueBit，它也有类似的思考架构，将密集计算移至链下，并在链上进行验证来解决争议。虽然基本的思考架构类似，Cartesi跟TrueBit的具体解决方案存在不同。

TrueBit基于WebAssembly做的虚拟机，而Cartesi是基于RISC-V的指令集架构。前者是应用级别，后者是操作系统级别。WebAssembly会带来外部性，也就是不确定性，因为它用于应用间的协同、应用和用户或节点的操作系统的交互。而RISC-V更加底层，具有确定性。

此外，TrueBit更专注于智能合约计算能力的扩展，对运行环境更有约束，而真实场景的应用存在交互，Cartesi选择支持Linux的运行环境，RISC-V能提供更好的服务。

此外，在链下计算的动力方面，TrubeBit跟Cartesi存在很大差异。Cartesi的链下计算是依赖于智能合约背书，所有参与者都有责任执行链下计算，一旦出现争议，需要提交到链上解决。而TrueBit需要通过激励层的设计来解决纠纷。在TrueBit上，智能合约将计算的需求提交到由不可信方构成的市场，由其中的参与者执行链下计算并返回结果。为了保持成员的参与度，带有错误结果的计算诱饵会被投放到激励市场，这是相对低效的激励。

此外，Cartesi也考虑了应用中可能出现的大存储问题，通过Cartesi虚拟机，将代码和数据状态的哈希值提交到链上，计算只需在相关参与者节点中执行即可，这也使得Cartesi能够做到链下计算的跨链。这些是Truebit没有设计的。

—-

编译者/作者：币友_605347

玩币族申明：玩币族作为开放的资讯翻译/分享平台，所提供的所有资讯仅代表作者个人观点，与玩币族平台立场无关，且不构成任何投资理财建议。文章版权归原作者所有。