新项目使用汇总来构建基于Linux的分散式计算机

第二层项目Cartesi已为其Cartesi Machine推出了以汇总为中心的设计，该Cartesi Machine是基于Linux的虚拟机，它使开发人员可以运行通过区块链保护的任何类型的计算应用程序。

Cartesi的设计使用了Optimistic Rollups的略微修改版本，该版本是在以太坊生态系统内开发的第二层技术，可为其虚拟机提供动力。 与Optimism的实施相反，该实施主要使用这种类型的汇总来保持与以太坊智能合约的完全兼容性，而Cartesi希望提供传统的开发环境。

Cartesi虚拟机模拟RISC-V微处理器体系结构，这是智能手机或基于Apple的M1的计算机中常用的ARM指令集的开源替代方案。 RISC-V体系结构允许运行基于Linux的标准软件环境。 对于基于Cartesi的开发人员，这意味着只要Linux支持，就可以使用几乎所有语言和开发生态系统来开发智能合约。

基于汇总的设计允许Cartesi将如此复杂的环境连接到区块链，并搭载其安全模型以确保第二层上发生的事情的有效性。 汇总的前提是，外部环境状态的所有更改（例如，钱包余额和交易所交易）最终都会以压缩形式发布到主层一个区块链（例如以太坊）。

乐观汇总依赖于在区块链上发布数据并允许挑战期。 在此期间，用户可以提交“欺诈证明”以表明数据不正确，从而引发争端，应导致对数据的更正。 解决后，状态将最终确定，并通过区块链的安全模型保证其有效。 然而，撤退期长是批评的共同点。

Cartesi的Optimistic Rollups版本使用了所谓的交互式争议解决方案，以允许区块链本身以最小的成本计算出正确的数据版本。 Cartesi的创始人Erick de Moura告诉Cointelegraph，这种设计可以运行比以太坊虚拟机提供的计算复杂得多的计算：

“其他汇总解决方案只会使Solidity代码在第二层上表现更好。 但是，我们正在创造一种更接近具有真实操作系统的真实分散计算机的东西。”

De Moura还强调，Cartesi的设计与区块链无关，并且可以在Binance Smart Chain或Matic等其他区块链上工作，并且将来还将开发更多集成。

卡特西的命题能否找到牵引力还有待观察。 在几乎所有采用Solidity的智能合约平台中，该项目都难以实现。 尽管如此，基于Linux的环境对于构建更复杂的DApp的人可能很有吸引力。

—-

原文链接：https://cointelegraph.com/news/new-project-uses-rollups-to-build-linux-based-decentralized-computer

原文作者：Cointelegraph By Andrey Shevchenko

编译者/作者：wanbizu AI

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