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.
Articoli correlati
Circle的反转时刻：股价翻倍，链上交易碾压USDT，精准卡位Agent支付
Circle的股价突破110美元，反映出市场对其稳定币商业模式的新估值。近期财报显示，其收入大幅增长，且在高利率环境下，Circle的盈利前景被看好。同时，USDC在资金流动性上超越USDT，成为结算和跨境支付的重要工具。AI Agent支付的增长也表明USDC在微支付领域的潜力，Circle正朝向数字经济时代的基础设施迈进。
PANews18m fa
Bitcoin Depot 推出企业级金融服务平台 ReadyBucks
Gate News 消息，3 月 10 日，纳斯达克上市的比特币 ATM 运营商 Bitcoin Depot 宣布推出企业级金融服务平台 ReadyBucks，为小企业、零工经济从业者及独立承包商提供营运资金支持。据 Globenewswire 报道，ReadyBucks 目前已在美国多个州上线，后续计划逐步扩展至更多地区。
GateNews45m fa
Starknet 将部署 STRK20 框架，支持隐私稳定币及其他资产
Starknet正在开发名为STRK20的隐私功能，旨在允许团队发行合规的受保护稳定币及其他资产，预计将于今年晚些时候部署，支持ERC-20标准，确保交易和余额的隐私。
GateNews1h fa
World Liberty Financial Launches Governance Vote to Enable Staking for WLFI Holders
World Liberty Financial has put up its proposal to enable staking for WLFI holders to a vote that runs for the next seven days.
The proposal has received 99.2% backing, with 903 million tokens supporting it, while 5.8 million voted against it.
World Liberty Financial recently introduced a pr
CryptoNewsFlash1h fa
Comtus Holdings Pushes For Standardization Of Won Stablecoin Transfers
Comtus Holdings proposed a standardized framework for won-backed stablecoins in South Korea to enhance adoption and regulatory compliance. This initiative aligns with the ongoing discussions of the Digital Asset Basic Act, aiming to bolster domestic currency demand while ensuring user protection and financial stability.
Blockzeit2h fa
