2022 年 5 月区块链操作系统的开发回顾

查看 Cartesi Machine、Cartesi Rollups 和 Noether 的更新

正在寻找区块链操作系统组件的最新进展？你找对地方了！正如在我们的路线图文章中所描述的那样，我们一直在朝着定期且频繁的更新方向发展着，，以便让我们的社区能够及时的了解到我们取得的进展，以及将区块链操作系统提升到一个生产级别，一个美丽且多样化的DApp生态系统正在蓬勃发展。

 

如果你对区块链操作系统的组成不是很熟悉？那么建议你在你阅读本文之前，一定要通读一下这些介绍性的文章，让你迅速的了解我们:

 

• Cartesi Machine

• Cartesi Rollups

• Noether

如果想快速的浏览本文，请查看下面的路线图，了解 Cartesi Machine、Cartesi Rollups 和 Noether 的总体进展。 请继续关注下个月的报告，我们将在其中展示列出的图表，以显示每个里程碑的详细进度！

The Cartesi Machine

 

Cartesi Machine 是 Cartesi 的确定性虚拟机，它模拟 RISC-V 架构，可以运行成熟的 Linux 操作系统。 Cartesi Machine 是 Cartesi 的开创性技术，它为使用主流软件构建的去中心化应用程序。

 

The Microarchitecture

 

Microarchitecture已经达到了一个里程碑，在这个里程碑中，我们可以编译部分主模拟器代码在其中运行，并且仍然可以使用主模拟器的状态访问。我们现在计划将其合并到我们的开发分支中。

 

Self-Hosted Distributions

 

• 我们的产品团队开始测试Gentoo self-hosted distribution。

• 我们已经开始探索使用Alpine Linux的构建，但偶然发现了一些RISC-V架构的交叉编译问题。我们正在研究解决这个问题的方法。

 

Benchmarks

 

• 我们用Benchmarks来比较我们的模拟器和其他两个模拟器。Tinyemu是一个非抖动的RISC-V模拟器，它使用软浮点实现浮点指令。它的性能比我们的模拟器更好，但我们有信心，当Microarchitecture到位时，我们可以缩小差距。QEMU是一个使用硬浮点数的抖动模拟器。它比我们的仿真器要快得多，要想消除这一差距需要大量的研究、增加复杂性和努力。

 

• 我们还将我们的模拟器与一些EVM实现进行了基准比较。我们的模拟器速度要快很多倍，可以处理大量的数据。在实际的工作负载中，所有的EVM Dapps都会竞争相同的资源。相反，每个Cartesi Dapp都是独立工作的。因此，优势将是几个数量级更大。

 

改进的 API接口

 

改进的HTTP DApp API将与最新版本的SDK和rollup示例一起发布。我们现在正在改进组件之间的接口，比如我们在服务器管理器接口上对异常处理所做的更改。

新功能的文档

 

新功能的文档进展缓慢，但将在下一个阶段中加快速度。

 

Cartesi Rollups

Cartesi Rollups 是 Cartesi 的 Optimistic rollup layer-2 系统，它依赖于 Cartesi Machine，允许开发人员使用主流软件组件创建可扩展的去中心化应用程序。 它由链上和链下组件组成，允许区块链提供数据可用性、订单输入数据、在第 1 层和第 2 层之间桥接代币，并在发生争议时充当裁判。

 

通往主网之路

 

• 上个月，我们发布了Cartesi rollps 0.2.0，凭借它，我们向Cartesi的测试网基础设施(我们通往主网之路的里程碑II)迈出了重要的一步，同时也提供了我们解决方案的经济组件。

 

• 我们正在为Cartesi rollup Examples进行自动化集成测试，以便在确保代码质量的同时保持开发团队的工作速度。

 

• 我们相信示例和工作代码是学习新技术的有效途径。考虑到这一点，我们正在研究两个新的示例，稍后将与您分享。

 

你是Rust的开发者吗？如果是，那么你的例子来了。

 

我们将提供一个关于Portal如何工作的示例。请记住，Portal组件负责将资产从L1带到L2，反之亦然。

 

我们与一个集成商合作，交叉编译OpenCV库，在Cartesi Machine中运行它。

 

OpenCV是一个用于图像处理和执行计算机视觉任务的开源库。它还可以用于执行人脸检测、目标跟踪、地标检测等任务。

 

在Cartesi Machine内部运行OpenCV将使DApp开发人员能够以分散的方式探索复杂的主题，如生物识别中的指纹欺骗检测，使用OpenCV从指纹图像中提取特征，然后提供给机器学习模型进行模式识别。

 

你好，数据科学家和计算机视觉开发人员，欢迎来到区块链操作系统!

 

DApp验证器节点

 

我们目前正在测试和优化我们的程序，以便在我们的Cartesi测试网基础设施(Polygon Mumbai + AWS)上部署Cartesi rollup DApps。

 

Rollups 增强

 

我们在HTTP API的重新设计方面做得很好。下面的步骤将重构一些组件以遵循这种新设计。重新设计将使前端客户如何检索由运行DApp后端代码的Cartesi Machine生成的通知、凭证和报告变得更加清晰。

  

支持Computational Oracles

 

我们继续从技术和战略上讨论如何与Cartesi rollops一起推进我们的计算Oracle。

 

Rollups 仲裁

 

• 我们完成了splice组件的实现，目前正在测试中。

 

• 为了提升稳健性和测试覆盖率，我们为PartitionLib和Partition Enum添加了符号执行测试。我们还更新、修复和重构了两方仲裁系统的测试。

 

• 一旦我们完成测试，我们将集成所有独立的组件。

 

CTSI 激励的自动执行凭证

• 我们继续讨论凭证的支付方式，它将从哪里来，以及它将如何通知执行者。

• 需要注意的是，该特性依赖于调度器组件。

CTSI 激励的交易排序器

• 我们仍在开发链上部分和研究/实现BLS签名聚合的“原型”。

• 需要注意的是，该特性依赖于调度器组件。

 

Noether

Noether 是 Cartesi 的数据可用性侧链。 这是 Cartesi 解决方案的一部分，它将使区块链应用程序能够使用比以太坊或其他基础层更多的数据。

 

Noether 2.0 版：从 PoS 升级到 PoS 2.0

• 智能合约的另一轮gas优化已经完成！

 

The Scheduler

 

我们已经接近于证明我们的Scheduler的概念。我们已经在Goerli/Mumbai测试网上部署了链上部分，以实现双向消息传输。

 

Explorer

 

• 我们继续评估和测试Cartesi Explorer的备选后端解决方案。

 

• 通过使用测试库实现UI代码的单元测试，我们增加了测试的覆盖率。

 

• 作为改善用户体验努力的一部分:

 

我们收集了正在使用的钱包数据。目前，Metamask是我们用户的1号钱包。Metamask是一个非常受欢迎的钱包，它是我们支持的第一个，也是最容易使用的一个。完整的结果可以在下面的图表中查看。

Cartesi Explorer 中的钱包使用情况

 

我们正在为一些重要的功能创建一个新的UI原型。下面你可以看到未来的用户界面。

Staking 的新用户界面

为区块链操作系统做出贡献

兴趣与我们一起进行开发吗？ 我们一直在寻找协作的团队成员！ 请随时通过 Discord 与我们联系，点击链接查看我们当前的职业空缺，或将您的简历连同介绍发送至我们的人力资源电子邮件：hr@cartesi.io

 

关于Cartesi 

 

Blockchain OS 是一个分散的第 2 层基础设施，支持 Linux 和主流编程软件组件。 使得开发人员可以第一次在Blockchain OS上使用丰富的传统软件工具、库和他们习惯的服务编写可扩展的智能合约，Cartesi 弥合了主流软件和区块链之间的差距。

Cartesi 正在引领数百万新创业公司及其开发人员加入并使用区块链操作系统，同时将 Linux 应用程序纳入其中。 凭借开创性的虚拟机、Rollups和侧链，Cartesi 为所有开发人员铺平了道路，以帮助他们进入区块链的世界并构建下一代区块链应用程序。

Cartesi在此诚挚的邀请所有人，请和我们一起来到区块链操作系统的世界，一起探索未来。