BlockBeats 消息，3 月 5 日，据官方消息，Aave Labs 发布 Aave V4 安全计划的完整透明度报告，包括方法、流程及结果等方面，Trail of Bits、Blackthorn、Certora 等多家安全机构联合背书。通过手动审计、形式化验证、不变量测试、模糊测试以及公开安全竞赛，累计进行了约 345 天的安全审查。该计划由 DAO 批准的 150 万美元专门安全预算支持。
Aave Labs 宣布将从 Aave V4 安全计划中延续五项核心承诺：在早期开发阶段嵌入形式化验证，以确保架构设计得到安全方法指导而不仅是验证；采用分层安全方法，包括手动审查、形式化验证、不变量测试、AI 辅助检查、模糊测试及公开安全竞赛，以覆盖更多潜在漏洞；保持持续安全覆盖，形式化验证框架和不变量测试套件将随协议迭代持续运行；设立长期漏洞赏金计划，利用更广泛的安全社区提供持续监控；以及优化 AI 扫描能力，基于现有测试经验不断提升未来版本的智能安全检测水平。
免责声明：本页面信息可能来自第三方，不代表 Gate 的观点或意见。页面显示的内容仅供参考，不构成任何财务、投资或法律建议。Gate 对信息的准确性、完整性不作保证，对因使用本信息而产生的任何损失不承担责任。虚拟资产投资属高风险行为，价格波动剧烈，您可能损失全部投资本金。请充分了解相关风险，并根据自身财务状况和风险承受能力谨慎决策。具体内容详见
声明。
相关文章
Polkadot 代币发行模型升级生效：DOT 最大供应量 21 亿枚，发行速率下调 53%
Polkadot于3月14日升级其代币发行模型，最大供应量设定为21亿枚，约80%已发行。发行速率下调53%，以保持网络激励并限制长期发行规模，增强市场透明度。
GateNews6 分钟前
Eigen 基金会任命 Ajit Tripathi 为执行董事
Gate News 消息，3 月 14 日，Eigen 基金会宣布任命 Ajit Tripathi 为执行董事。原执行董事 Robert Drost 将转任高级顾问。Ajit Tripathi 此前曾在 Polygon Labs、Aave 及某 CEX 担任要职。
GateNews35 分钟前
AI Agent 虚拟 Visa 卡平台 AgentCard 正式上线
AgentCard 平台于 3 月 14 日正式上线，支持 AI Agent 通过虚拟 Visa 卡进行多项支付和交易，未来将增加加密功能，合作伙伴包括 Base、Polygon 等。
GateNews35 分钟前
POAP 平台 3 月 16 日起转入维护模式，停止新发行者接入
POAP团队宣布将于3月16日起进入维护模式，限制新发行者访问，现有工具不受影响。未来将开发新标准，可能整合POAP。
GateNews56 分钟前
Swissborg Secures MiCA License From France’s AMF, Expanding Regulated Crypto Services Across EU
Europe’s Markets in Crypto-Assets regulation is rapidly reshaping the region’s crypto industry, with Swissborg obtaining regulatory approval in France that allows the platform to expand digital asset services across the European Union.
Swissborg Secures MiCA Approval From French AMF, Expanding
Coinpedia1小时前
Crypto DAO 完成国库合约开源与多签治理部署
Crypto DAO于3月14日宣布其核心国库合约已完成代码开源，并实现多签治理部署。国库合约管理储备资产和PRO代币铸造，代码开源可验证合约逻辑。多签架构让控制权分散，需社区共同授权关键操作。
GateNews1小时前
