深潮 TechFlow 消息,2 月 28 日,据以太坊基金会博客消息,以太坊 Pectra 系统合约的外部安全审计已完成,所有被发现的相关或重要问题均已得到解决。该审计涵盖了多个以太坊改进提案(EIP-2935、EIP-7002 和 EIP-7251),主要评估合约的潜在攻击向量并确保合约逻辑准确实现了预期功能。
审计采用多阶段方法,包括 Blackthorn、Dedaub、PlainShift 和 Sigma Prime 四家机构的审计,每轮审计后都进行了代码改进。
添加收藏
分享社交媒体
深潮 TechFlow 消息,2 月 28 日,据以太坊基金会博客消息,以太坊 Pectra 系统合约的外部安全审计已完成,所有被发现的相关或重要问题均已得到解决。该审计涵盖了多个以太坊改进提案(EIP-2935、EIP-7002 和 EIP-7251),主要评估合约的潜在攻击向量并确保合约逻辑准确实现了预期功能。
审计采用多阶段方法,包括 Blackthorn、Dedaub、PlainShift 和 Sigma Prime 四家机构的审计,每轮审计后都进行了代码改进。
据以太坊基金会博客消息,以太坊 Pectra 系统合约的外部安全审计已完成,所有被发现的相关或重要问题均已得到解决。该审计涵盖了多个以太坊改进提案(EIP-2935、EIP-7002 和 EIP-7251),主要评估合约的潜在攻击向量并确保合约逻辑准确实现了预期功能。审计采用多阶段方法,包括 Blackthorn、Dedaub、PlainShift 和 Sigma Prime 四家机构的审计,每轮审计后都进行了代码改进。此外,a16z 还使用 Halmos 工具对这些合约进行了形式化验证,重点验证字节码是否与规范一致。