Polygon 已修复 BlockSTM V2 中的两个漏洞。BlockSTM V2 是驱动 Polygon PoS 区块链的 Bor 客户端内的并行执行系统，这些漏洞可能使有效交易拖慢网络节点。根据 Polygon 发布的技术评估，这些漏洞没有改变交易结果，也没有威胁共识。其风险在于可用性：节点可能计算出某个区块的正确结果，却因处理时间过长而落后于网络中的其他节点。该公司在公开发布包含修复内容的客户端版本 Bor v2.10.3 的同时披露了这些发现。

Polygon 表示，其在主网和 Amoy 测试网上均未发现被利用的情况。

为什么串行执行先完成并未终结延迟

Bor 通过串行和并行两种执行方式处理传入的区块，并采用先完成的那条路径。串行执行按交易顺序处理，而并行执行尝试并发处理交易，然后验证其假设的依赖关系是否正确。这种做法可以在交易互不依赖时加速普通工作负载，但它也会产生投机性工作，一旦不再有用就必须及时停止。

这一设计使 Bor 属于乐观并行执行系统：客户端假设大多数交易相互独立，并行运行它们，并在假设被证伪时付出验证成本。此类系统中的性能漏洞往往表现为浪费的工作而非错误的结果，这与 Polygon 描述的情况相符。

Polygon 的重复代码哈希测试暴露了这一差距。串行执行在几十毫秒内完成了该交易，而并行路径却持续运行了约 11 秒。当时，取消操作只在交易之间进行检查，这意味着一笔已在并行执行中运行的高开销交易即使在串行执行已产出结果后仍必须运行完毕。

这正是该测试重要的原因：交易是有效的，Bor 能够快速确定其最终状态，但节点仍不得不等待不必要的处理结束。

两个缺陷产生了 gas 未充分定价的工作

这两个漏洞源于不同的多余工作来源。一个允许投机执行保留过多的已计算数据；另一个则在本可复用先前结果的情况下反复重新计算合约的代码哈希。

gas 限制按指定的交易操作向用户收费，但并不总能涵盖客户端实现引入的每一项成本。在这些案例中，缓存增长和冗余哈希计算可能产生与交易表面成本不成比例的节点端工作。

Polygon 将这两个漏洞均评定为中等严重程度，并表示二者均不影响共识。该评级与发现的特征一致：风险暴露是节点变慢和资源浪费，而非交易结果被改变或共识受损。

Bor v2.10.3 补丁的改动

v2.10.3 的修复在不改变执行结果的前提下限制了这类开销。此次更新限制了投机执行期间使用的共享缓存，并使 Bor 能够复用代码哈希结果，而不是在重复读取时重新计算。其目标是防止有效但棘手的工作负载消耗过多资源或不必要地延长区块处理时间。

根据 Bor v2.10.3 发行说明，公开发布的版本无需硬分叉、数据库迁移或节点重新同步。运营商可以单独升级各自的节点。

私有补丁先于公开披露

Polygon 表示，其于 10 月 5 日向 Amoy 测试网分发了私有版本，随后于 10 月 8 日分发了私有主网版本。在升级已覆盖网络大部分之后，该公司于 10 月 15 日在 Polygon 治理论坛上发布了技术披露。另一份发布公告则涵盖主网和测试网的推出情况。

发行说明指出，大多数验证者和主要 RPC 提供商已在运行私有版本。这并不意味着每个连接的节点都已升级，因此 Polygon 的运营商公告敦 Bor v2.10.2 或更早版本的用户尽快更新。已在私有版本上的运营商可以在其下一个维护窗口迁移到公开发布版本。

剩下的问题是补丁覆盖率

对于钱包、应用和其他服务而言，落后的节点可能返回延迟的链上信息，或需要更长时间提交交易。Polygon 的披露并未证实用户曾遭遇此类中断，且公司表示其在主网和 Amoy 上均未发现被利用的情况。

由于 v2.10.3 的发布不涉及硬分叉，不存在迫使落后者升级的协议层面截止时间；采用进度取决于每个运营商自己的安排。这使得补丁覆盖率成为值得关注的可观测信号：即仍在运行 Bor v2.10.2 或更早版本的运营商多快迁移到修复版本。

Polygon 在更快处理和支付基础设施方面的更广泛工作使这种运营可靠性尤为重要。该补丁消除了两个已确定的多余工作来源；接下来的实际步骤是由剩余的 Bor 运营商应用它。

本文仅供参考。漏洞描述及利用评估均基于 Polygon 发布的披露内容。

来源：Coindoo