BlockBeats 消息，3 月 5 日，據官方消息，Aave Labs 發布 Aave V4 安全計劃的完整透明度報告，包括方法、流程及結果等方面，Trail of Bits、Blackthorn、Certora 等多家安全機構聯合背書。通過手動審計、形式化驗證、不變量測試、模糊測試以及公開安全競賽，累計進行了約 345 天的安全審查。該計劃由 DAO 批准的 150 萬美元專門安全預算支持。
Aave Labs 宣布將從 Aave V4 安全計劃中延續五項核心承諾：在早期開發階段嵌入形式化驗證，以確保架構設計得到安全方法指導而不僅是驗證；採用分層安全方法，包括手動審查、形式化驗證、不變量測試、AI 輔助檢查、模糊測試及公開安全競賽，以涵蓋更多潛在漏洞；保持持續安全覆蓋，形式化驗證框架和不變量測試套件將隨協議迭代持續運行；設立長期漏洞賞金計劃，利用更廣泛的安全社群提供持續監控；以及優化 AI 掃描能力，基於現有測試經驗不斷提升未來版本的智能安全檢測水平。
免責聲明：本頁面資訊可能來自第三方，不代表 Gate 的觀點或意見。頁面顯示的內容僅供參考，不構成任何財務、投資或法律建議。Gate 對資訊的準確性、完整性不作保證，對因使用本資訊而產生的任何損失不承擔責任。虛擬資產投資屬高風險行為，價格波動劇烈，您可能損失全部投資本金。請充分了解相關風險，並根據自身財務狀況和風險承受能力謹慎決策。具體內容詳見
聲明。
相關文章
XRP Ledger Validators Weigh Two Amendments as Votes Lag
The XRP Ledger is reviewing two proposed amendments that could expand lending functions and strengthen vault infrastructure. Validators have begun voting, yet early participation remains limited. Current results suggest the proposals still face significant hurdles before reaching activation
Crypto Breaking1小時前
VeChain StarGate Staking Platform Shows Strong Growth Three Months After Hayabusa Fork
VeChain's StarGate staking platform experienced significant growth post-Hayabusa fork, with a 50.2% reduction in VTHO emissions and a 93.9% increase in active stakers. The network now holds 10.7 billion VET, emphasizing the shift towards a delegation model and new entry-level node tiers which promote wider participation.
CryptoNewsFlash2小時前
Tether Expands to U.S., Launches USAT Stablecoin: Bloomberg
Tether is shifting its focus to the U.S. market, launching a new stablecoin, USAT, and considering a fundraising round that could value it at $500 billion. This move aims to enhance its presence amid evolving regulatory frameworks, showcasing its ambitions beyond just stablecoin issuance.
Todayq News3小時前
Pump.fun 推出 Tokenized Agents 代币自动回购功能
Pump.fun 于 3 月 13 日推出 Tokenized Agents 代币自动回购功能，用户可为 Agent 发行代币并设置回购比例。Agent 可通过外部工具开发，自动使用收入回购代币，增加用户灵活性。
GateNews3小時前
Solana Expands Cross-Chain Access as Avalanche’s AVAX Launches
Solana expanded cross-chain access after AVAX went live through Sunrise, bringing Avalanche’s native token into its ecosystem.
The AVAX launch on Solana adds a new route for trading, transfers, and broader asset access across blockchain networks.
Solana has opened up cross-chain access on it
CryptoNewsFlash3小時前
Circle Tests AI Agents With $30K USDC Hackathon Trial
Circle’s AI hackathon produced 204 submissions, 1,352 valid votes, and over 9,700 comments in five days.
Agents built projects across commerce, smart contracts, and skills using USDC incentives.
Experiment revealed rule-breaking, vote collusion, and possible human activity among AI
CryptoFrontNews3小時前
