分享百科

系统合约

Pectra系统合约的审计结果

本文介绍了以太坊协议安全性的最新进展，重点介绍了Pectra系统合约的外部安全审查结果。所有被认为相关或重要的已发现问题都已得到解决。此外，还进行了形式验证，以确保字节码与规范一致。

Pectra 系统合约安全审计形式验证 EIP 以太坊