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

区块链操作系统组件的最新开发更新

作为总结，请参阅我们最近发布的路线图，了解区块链操作系统组件的概述:

The Cartesi Machine

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

The Microarchitecture

• 集成 Cartesi Machine 微体系结构仿真器的过程仍在进行中;源代码已经集成和测试RV64I是通过成功。下一步是让微体系结构访问模拟器的内部状态。

Self-Hosted Distributions

• 概念验证中的第一个测试是在开发环境中完成的，包括一些小的修复，以便将其传递给产品团队，产品团队将从开发人员经验的角度进行测试。这将带来必要的输入，以定义下一步在Alpine Linux发行版上工作的需求。

Benchmarks

• 制定基准的工作正在取得进展。我们有初步的结果比较我们的模拟器与TinyEMU(我们有点慢，但这个差距可以消除)和QEMU(正如预期的，我们明显慢，但QEMU使用JIT;缩小这一差距将困难得多)。我们现在将开始进行比较Cartesi 机器和EVM的基准测试。

改进的 API接口

• 新的DApp Rollup HTTP API正在进行集成测试。所有的示例都已经移植到新的体系结构中。

新功能的文档

• Cartesi Machine主机视图的文档编写正在进行中。命令行界面几乎已经完全被文档化了。下一步是记录对Lua接口的更改(c++和gRPC接口非常相似，并不是独立记录的)。

Cartesi Rollups

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

通往主网之路

在我们的官方示例repo中增加了四个新示例:

• Converter - Echo DApp(我们的第一个Python示例)的扩展，它处理JSON字符串形式的复杂输入，以便对文本消息执行转换。

• Echo CPP -实现与Echo DApp相同的行为，但后端是用c++编写的。

• K-nn -一个机器学习Python应用程序，实现了k最近邻监督分类算法，并将其应用于经典的虹膜花数据集。

• M2cgen——一个更通用的机器学习DApp，它演示了如何使用M2cgen(从模型到代码生成器)库轻松地利用广泛使用的Python ML工具，如scikit-learn、NumPy和pandas。

我们一直在努力开发Cartesi rollup 0.2.0版本，这将是我们的下一个交付版本。这个版本将为我们计划的里程碑II(参见DApp验证器节点)和III(下面的经济项目)带来重要的步骤。

我们将带来与经济学相关的:

• DApp部署中更低的gas消耗，因为我们根据Diamonds设计模式开发了智能合约。

• Portal组件将负责将资产(令牌)从以太坊区块链传送到运行在Cartesi rollup上的dapp。它将支持ERC-20和ERC-721令牌，更不用说CTSI、ETH和MATIC了!

• 一个费用管理器组件，它将充当特定于支付验证器的令牌罐。

• 从开发人员的经验来看，DApp后端代码的开发非常简单。目前，在Cartesi rollup 0.1.0上，开发人员必须编写同时充当服务器和客户端的代码。在Cartesi rollops 0.2.0中，我们改变了API，以便允许开发人员编写仅作为基础架构客户端的代码。

• 最后但同样重要的是，我们有与安全有关的重要新闻。我们一直致力于使开发人员能够检查我们提供的工件是否与他们使用我们的源代码构建的工件相同。我们还添加了Cartesi Machine哈希作为DApp智能合约部署的一部分，以使它们在未来能够检查接收到的证明是否来自预期的Cartesi Machine。

• 如下图所示，我们的开发团队致力于采用频繁的小版本文化，一旦准备好，就向我们的社区交付新特性和改进。这样，我们的目标是获得快速的反馈，使我们能够以一致的方式改进我们的解决方案，并使我们的社区能够跟踪我们的努力的进展。

DApp 验证节点

• 我们的基础设施团队做了非常棒的工作，他们能够将我们所有的官方示例部署到我们的内部基础设施(Polygon Mumbai + AWS)。通过这样做，他们能够拥有部署的第一个过程，接下来将由产品团队执行。请继续关注，因为Cartesi DApps在测试网(里程碑II -图中主网之路)即将到来…

Rollups 增强

• 从我们的集成商的反馈来看，我们目前正在审查我们的HTTP API的设计，以使它更强大、更容易使用。

• Github上rollup仓库的README文件根据我们下一个版本(Cartesi rollup 0.2.0)的新特性进行了更新。

• 正如我们前面提到的，在我们的官方示例库中有四个新示例，以帮助我们社区的开发人员理解Cartesi rollup DApps的工作方式。

• 不要忘记，您可以通过我们的治理论坛为Cartesi rollps的改进做出贡献。访问该页面，查看现有的CIPs (Cartesi改进建议)，参与讨论，并/或提出新的建议。欢迎光临!

支持Computational Oracles

• 我们进行了一些解决方案设计讨论，寻找一种方法将Cartesi rollps和计算oracle特性合并到一个代码基上，或者至少定义可重用组件，以避免在维护两者时的工作重复。这似乎很有希望，但解决方案尚未完全明确。

Rollups 仲裁

• 由于我们增加了测试覆盖率，仲裁代码现在更加健壮，而且我们现在有了仲裁系统所需要的一个重要的链上中介功能(证明对区块链的内存访问)。

接下来的步骤是:

• 完成在链上将机器从一个输入的结束过渡到下一个输入的开始的拼接组件。这项工作需要一些研究;

• 增加健壮性和测试覆盖率;

• 集成所有单独的组件(代数数据类型库、分区库、拼接库、内存管理器、机器步长、时钟库和两方仲裁库)。

CTSI 激励的自动执行凭证

• 我们开始设计凭证的支付方式，它从哪里来，以及如何通知执行者。

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

CTSI 激励的交易排序器

• 链上部分的开发目前正在进行中，我们已经开始研究和实现BLS签名聚合的“原型”，这是该特性的重要组成部分。

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

Noether

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

Noether 2.0 版：从 PoS 升级到 PoS 2.0

• PoS 2.0的链上部分已经完成!我们目前正在进行从1.2到2.0的迁移。

The Scheduler

• 我们开始设计调度程序的解决方案，为“CTSI激励的自动凭证执行”和“CTSI激励的交易排序器”奠定基础。

Exploer

• 继续评估Cartesi Explorer的备选后端解决方案。

• 其他重要的更新是:

• 迁移到on - board.js V2;

• 池桩成熟度显示;

• 对非常高的Infura使用率的调查;

• 以ankr代替Infura的测试;

• 更改子图以支持池活动数据。

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

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

关于Cartesi 

 

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

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

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