Polygon 称 zkEVM 安全审计预计将持续到 2023 年 1 月

Foresight News 消息，Polygon 表示已于本月初启动 zkEVM 安全审计，审计由安全公司 Spearbit 和 Hexens 进行，预计将持续到 2023 年 1 月。本次审计将重点验证 zkEVM 的正确性和稳健性两方面，其中，正确性指的是诚实的实体可以生成和验证状态转换，稳健性意味着不诚实的实体不能产生状态转换得到积极验证。

10 月份，Polygon 推出 Polygon zkEVM 公共测试网，可为开发人员和用户提供「EVM 等效」解决方案、高性能 zk 证明机制（zk-proofs）与以太坊主网级别的安全性。