BlockBeats 消息，3 月 5 日，据官方消息，Aave Labs 发布 Aave V4 安全计划的完整透明度报告，包括方法、流程及结果等方面，Trail of Bits、Blackthorn、Certora 等多家安全机构联合背书。通过手动审计、形式化验证、不变量测试、模糊测试以及公开安全竞赛，累计进行了约 345 天的安全审查。该计划由 DAO 批准的 150 万美元专门安全预算支持。
Aave Labs 宣布将从 Aave V4 安全计划中延续五项核心承诺：在早期开发阶段嵌入形式化验证，以确保架构设计得到安全方法指导而不仅是验证；采用分层安全方法，包括手动审查、形式化验证、不变量测试、AI 辅助检查、模糊测试及公开安全竞赛，以覆盖更多潜在漏洞；保持持续安全覆盖，形式化验证框架和不变量测试套件将随协议迭代持续运行；设立长期漏洞赏金计划，利用更广泛的安全社区提供持续监控；以及优化 AI 扫描能力，基于现有测试经验不断提升未来版本的智能安全检测水平。
Disclaimer: The information on this page may come from third parties and does not represent the views or opinions of Gate. The content displayed on this page is for reference only and does not constitute any financial, investment, or legal advice. Gate does not guarantee the accuracy or completeness of the information and shall not be liable for any losses arising from the use of this information. Virtual asset investments carry high risks and are subject to significant price volatility. You may lose all of your invested principal. Please fully understand the relevant risks and make prudent decisions based on your own financial situation and risk tolerance. For details, please refer to
Disclaimer.
Gerelateerde artikelen
Circle 使用 USDC 完成 6800 万美元内部结算，耗时不足 30 分钟
Circle首席执行官Jeremy Allaire表示，公司近期利用USDC与Circle Mint实现了6800万美元的跨公司结算，耗时不到30分钟，替代了传统法币电汇的1-3天流程。此方式具备完整审计能力，未来有望推广至更多企业。
GateNews15m geleden
Web3 基金会战略调整：将移交 Polkadot 治理支持、Polkadot Wiki 等多个项目
Web3 基金会于3月7日宣布战略调整，将专注于Web3推广、资源管理及长期愿景，转移多个项目给其他团队以确保生态健康发展。
GateNews27m geleden
Pi Network Eyes DEX Launch as Price Jumps 35% This Week
Pi Network news today reports that it is seeing renewed attention. As its ecosystem prepares for a major update. Over the past week, the Pi coin price has surged by more than 35%. It is driven by strong retail demand and growing excitement around upcoming upgrades. The latest momentum comes as the n
Coinfomania58m geleden
Boundless 成为最大完全去中心化 ZK 证明网络，每日证明能力超 400 万亿次计算周期
Boundless 官方于 3 月 7 日发布进展报告，称其网络为最大去中心化 ZK 证明网络，吞吐量提升 80-100 倍，每日证明能力超 400 万亿次。同时，多个主流链如 Citrea 和 Wormhole 与 Boundless 集成，并新增工程副总裁和协议工程师职位。
GateNews1u geleden
Vitalik 提议用 Minimmit 替换 Casper FFG，升级以太坊最终性机制
Vitalik Buterin 在 X 平台提议将以太坊的最终性组件 Casper FFG 替换为 Minimmit，称其在安全性和恢复性上更优。Minimmit 只需一轮签名，容错阈值降低至约17%，可增强网络在攻击下的竞争性与协调恢复能力。
GateNews6u geleden
贝莱德更新以太坊质押 ETF 申请文件，质押费率从 18% 下调至 10%
Gate News 消息，3 月 7 日，彭博分析师 James Seyffart 在 X 平台表示，贝莱德已更新其以太坊质押 ETF（ETHB）相关申请文件。最新文件显示，该产品的质押费率将调整为质押奖励的 10%，并可能根据规模提供阶梯式费率折扣。此前版本文件中，该 ETF 的质押费用为总质押收益的 18%。此次费用下调被视为贝莱德旗下以太坊产品结构优化的一部分。
GateNews6u geleden
