Zilliqa为未来建立了测试更新的核心框架

在他的Reddit帖子中，Zilliqa发现他的最后一个网络升级V8.0充满了功能。 此外，减少了阻止时间，对矿工进行了调整的优先级，并进行了其他一些优化。 但是，Zilliqa区块链在升级后显示出不稳定。 结果，核心团队进行了多次介入以引入补丁。 但是，这导致了几次停机时间。

正式验证工具的简介

为了推进他的测试过程，Zilliqa现在正计划引入“正式验证工具”以建模系统。 然后，开发人员可以正式验证生成的模型甚至实现。 但是，正式验证工具需要大量的工作时间。 但是，与此同时，它们有助于检查“公司 - 关键软件系统的正确性，可靠性和可靠性”。

Zilliqa的目的是将单位测试的两个其他功能和正式验证结合起来。 这有助于开发人员识别与代码库的关键部分有关的所有设计或实施问题。

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

在最新的错误校正中，Zilliqa注意到“主力集中提供的一些智能合约，并且实施的逻辑允许合同状态随着新的交易而增长”。 现在，团队将完善一些忽略基本设计模式的参数。 在这方面，它还将带来更好的静态和动力学，以警告开发人员。 Reddit帖子说：

请注意，此类合同暂时可以很好地工作，但是较早或更早的气体限制可以实现，这意味着这些合同变得无法使用且无法统计。 我们建议开发人员考虑这种和其他类似的设计模式。 例如，如果合同使用列表，并且此列表随着每个单独的交易而增长，则将来可能会给合同带来问题。 此外，如果可能的话，合同应避免打磨，因为在某个时候在非常大的列表上打磨或达到块气限制。