执行层

　　最后还有执行层。执行层解释并执行由 Polygon 网络层确定的交易。该层有两个组成部分。

　　执行环境 – 由虚拟机实现。类似于 EVM，它可以跟踪区块链的状态。

　　执行逻辑 – 实现特定 Polygon 区块链的状态转换。这种逻辑用于定义过渡到下一个区块链状态，而以太坊可以被认为是一个 无限的状态机。（与有限状态机（英语：finite-state machine，缩写：FSM）相对，有限状态机通常简称状态机，是表示有限个状态以及在这些状态之间的转移和动作等行为的数学计算模型。）

　　然而，在所有这些层中，对开发者来说，关键的增值点是安全层，因为这使得 Polygon 框架的灵活性能够真正发挥出来。开发人员可以选择适合他们项目的安全解决方案，如果他们选择改变方向，可以交换解决方案。其目的是为开发者提供一套工具，以达到定制区块链项目的作用。

　　安全层：深入探究

　　虽然低交易成本和高处理效率是 Polygon 快速发展的主要动力，但如果没有 Polygon 的模块化安全解决方案，这些增长都是不可能的。这些 安全即服务 的解决方案包括 Polygon 的 PoS 侧链和欺诈证明机制，而像通用数据可用性层 Avail 和 Hermez ZK-rollups 这样的新解决方案仍在开发中。其中一些解决方案可以混合使用，但都依赖于 Polygon SDK 。

　　Polygon SDK

　　Polygon SDK（软件开发工具包）是一套框架，供项目推出自己的 EVM 兼容链。这个 SDK 实现了 安全即服务，允许开发者为其项目选择理想的扩展解决方案。

　　如上图所示，Polygon框架分离了功能，允许开发者选择自己的共识机制，或开发自己的共识机制，同时保持与Polygon生态系统内其他链的互操作性。

　　这种互操作性使具有不同扩展解决方案的Polygon链能够相互沟通，允许开发者选择定制的安全解决方案。Polygon还计划增加更多开箱即用的共识机制、数据库实现和其他辅助服务。

　　Polygon Hermez (ZK-rollup) Security

　　Polygon 最近收购了 Hermez ，一个 ZK-rollup 解决方案。Hermez 正在开发一个相当于 EVM 的 ZK-rollup ，这是一个非常有前途的二层解决方案，旨在使资产转移变得更加安全、同时成本更低。 ZK-rollup 将成批的交易压缩成少量的有效性证明（或 zk-SNARK ）形式的数据。然后，这些数据被发布到链上，以便对证明的正确性进行验证。与以太坊相比， Hermez 拥有 133 倍的吞吐量，交易成本只有十分之一。

　　这种解决方案没有 plasma 的缺点，即七天的提款等待时间，因为不需要通过欺诈证明来挑战数据，因为 SNARK 证明在计算上很容易验证。然而，有效性证明的结构仍然是计算密集型。目前用户所期待的真正的解决方案还需要等待一段时间，与 Avail 一样，ZK-rollup 的未来看起来也是一片坦途。 (责任编辑：admin)