Zilliqa 宣布紧急升级解决挖矿节点巨大的内存消耗

• Zilliqa 正在致力于解决用户面临的区块链停机问题。
• Zilliqa 计划引入形式验证工具来验证“关键任务软件系统的正确性、可靠性和可靠性”。

Zilliqa 是第一个实施分片的公共区块链，宣布对其区块链平台进行紧急升级。 Zilliqa 安全与工程高级副总裁 Jun Hao Tan 表示，此次升级是为了解决 DS 委员会挖矿节点内存消耗大的问题。 因此，在 7 月 14 日星期三的公告中，Zilliqa 发推文（复制链接打开：https://twitter.com/zilliqa/status/1415205870011441152）：

亲爱的社区 我们正在紧急进行网络升级。 在此升级期间，不会处理任何交易和区块链。 API 可能无法访问。 我们会及时通知你升级的状态。 感谢你一直以来的支持

Zilliqa 在其 Reddit 帖子中指出，其最新的网络升级 v8.0 功能丰富。 此外，它减少了出块时间，调整了矿工的优先级，以及其他一些优化。 然而，Zilliqa区块链在升级后表现出不稳定。 因此，核心团队多次介入以引入补丁。 但这导致了多次停机。

Zilliqa 指出，它旨在提高透明度，同时采取措施减少未来发生此类事件的可能性。 它旨在在遵循行业标准和运行压力测试的同时，在其底层技术之上引入新功能。 Reddit 公告 笔记（复制链接打开：https://www.reddit.com/r/zilliqa/comments/ok8or2/a_note_on_the_recent_major_upgrade/）：

一旦更改和单元测试完全准备好，我们会在私有小规模网络上运行这些新更改一段时间，然后在主网规模上进行大规模集成，然后将更改部署在公开的公共测试网上供所有人互动。 如果在任何网络上的测试过程中发现错误，则修复错误，我们从第一步开始，编写单元测试来捕获错误，在专用网络上部署修复程序等等。

介绍形式验证工具

现在，为了推进其测试过程，Zilliqa 计划引入“形式验证工具”来对系统建模。 然后开发人员可以正式验证生成的模型甚至实现。 然而，形式验证工具需要大量的工时。 但同时，它们有助于验证“关键任务软件系统的正确性、可靠性和可靠性”。

Zilliqa 旨在结合单元测试和形式验证这两个互补的功能。 这将帮助开发人员检测与代码库关键部分相关的任何设计或实现问题。

为了进一步解决这些问题，Zilliqa 计划减少网络升级的频率。 这将有更多时间来测试其区块链和野外的现有功能。

在最新的故障排除中，Zilliqa 注意到“在主网上部署了几个智能合约，其中实施的逻辑使合约状态随着新交易的增长而增长”。 该团队现在将微调一些参数，这些参数将使底层设计模式不被注意。 此外，它会带来更好的静态和动态警告开发人员在这方面。 Reddit 帖子指出：

请注意，此类合约目前可能工作正常，但迟早可能会达到区块 gas 限制，从而导致这些合约无法使用和无法调用。 我们鼓励开发人员注意这种和其他类似的设计模式。 例如，如果合约使用一个列表，并且该列表随着每笔交易而增长，这可能会在未来为合约带来问题。 此外，合约应尽可能避免循环，因为在非常大的列表或地图上的循环会在某些时候达到区块 gas 限制。