以太坊基金会：Pectra 系统合约完成安全审计，所有问题均已解决 - 深潮TechFlow

今日运势评分

3

本月运势

戊寅月

震荡偏多

己土比肩，巳火为用

戊不受田田主不祥
辰不哭泣必主重丧

宜

会亲友,冠笄,安床,安机械,祭祀,祈福,求嗣,经络

忌

嫁娶,开市,动土,作灶,安葬

月相

朔

顶

日冲

Powered by RitMEX

注册/

TRUMP12.41 -4.29%

SUI2.77 -3.00%

TON3.34 -2.40%

TRX0.23 0.16%

DOGE0.20 -6.73%

XRP2.13 -3.53%

SOL144.90 3.89%

BNB586.98 -3.41%

ETH2213.76 -5.01%

BTC83615.24 -2.23%

ETH Gas1.64 Gwei

极恐

16

首页 深潮精选 Research 项目发现 7x24h︎快讯 最新活动

7x24h快讯︎

以太坊基金会：Pectra 系统合约完成安全审计，所有问题均已解决

2025.02.28 - 02月28日 19:40

深潮 TechFlow 消息，2 月 28 日，据以太坊基金会博客消息，以太坊 Pectra 系统合约的外部安全审计已完成，所有被发现的相关或重要问题均已得到解决。该审计涵盖了多个以太坊改进提案（EIP-2935、EIP-7002 和 EIP-7251），主要评估合约的潜在攻击向量并确保合约逻辑准确实现了预期功能。

审计采用多阶段方法，包括 Blackthorn、Dedaub、PlainShift 和 Sigma Prime 四家机构的审计，每轮审计后都进行了代码改进。

原文链接

添加收藏

分享社交媒体

7x24h 快讯︎更多

03月01日 00:15: 美国 SEC 宣布延长富达现货以太坊 ETF 期权的审议期限

02月28日 23:56: DeFi 协议 Elixir 官方 X 账号发布视频，或暗示即将 TGE

02月28日 23:43: 今日加密货币市值前 100 代币涨跌：BERA 涨 8.32%，IP 跌 7.16%

02月28日 23:35: 两鲸鱼在 2 小时内总共从币安转出超 9.5 万枚 SOL

02月28日 23:30: LBank将首发上线Major Frog（MAJORFROG）

02月28日 23:25: BTC 上涨突破 84000 美元

02月28日 23:24: 过去 24 小时全网爆仓 9.83 亿美元，主爆多单

02月28日 23:17: ETH 上涨突破 2200 美元

深潮精选更多

: 市场大跌下，如何做好交易的风控管理？
2025.02.28

: 能在币圈活下来的，没有侥幸
2025.02.28

: 对话 Bybit CEO：从崩溃边缘到全面复苏，Bybit 如何在 72 小时内化险为夷？
2025.02.28

: Berachain 主网上线，哪些优质项目已经启动？
2025.02.28

: 加密早报：美股暴跌英伟达跌超 8%，BitMEX 正在寻求出售
2025.02.28

7x24h快讯

以太坊基金会：Pectra 系统合约完成安全审计，所有问题均已解决

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

2025.02.2819:40:35

专注Web3行业深度报道，洞察潮水流动的方向

我要投稿

Hainan Chaodong Technology Co., Ltd. 联系我们 / support@techflowpost.com 琼ICP备2022009338号

FOLLOW US

扫码关注公众号