Aave：Stable Vaults 已通過 Certora 形式化驗證
顯示原文
Foresight News 消息，Aave 發布推文表示，智能合約形式化驗證公司 Certora 已完成對 Stable Vaults 的驗證，涵蓋 StableVault、Funds Handler、Asset Registry、Allocator 及 IOU token 等合約，驗證確認其 Solidity 實現符合 Certora 的形式化規則。Stable Vaults 是一套面向固定利率穩定幣收益的一體化解決方案，可嵌入任何金融產品中，相關稽核報告已公開發布。
0
0
免責聲明：文章中的所有內容僅代表作者的觀點，與本平台無關。用戶不應以本文作為投資決策的參考。
PoolX： 鎖倉獲得新代幣空投
不要錯過熱門新幣，且APR 高達 10%+
立即參與
您也可能喜歡
Bitcoin需求正處於穩定階段
AiCoin•2026/09/11 08:40
Piper Sandler首次覆蓋AI晶片板塊：Nvidia（NVDA.US）、Broadcom（AVGO.US）為「首選」，預計2030年算力市場規模將達2.2萬億美元
Piper Sandler首次覆盖人工智能(AI)芯片及半導體板塊，其中AMD、Arm、博通、邁威爾科技和英偉達獲「增持」評級，英特爾和高通獲「中性」評級。
智通财经•2026/09/11 08:21
Crypto鐘良：CPI重磅來襲，BTC回踩關鍵支撐，低多坐等起飛！
AiCoin•2026/09/11 08:19
撤退訊號？「大空頭」平倉NVIDIA和Palantir看跌期權
「大空頭」Michael Burry全面收縮風險，平倉了Nvidia和Palantir於2026年12月到期的看跌期權，理由是為了規避時間價值損耗，但他仍持有這兩檔標的於2027年的看跌期權，以及多檔科技股空頭部位。與此同時，黃仁勳轉發了GPU租金環比上漲22%的數據，用來反擊Burry關於晶片折舊年限被高估的核心看空邏輯。
华尔街见闻•2026/09/11 07:16
加密貨幣價格
更多
Bitcoin
BTC
$77,298.06
-1.08%
Ethereum
ETH
$2,474.29
+0.06%
Tether USDt
USDT
$0.9995
-0.01%
BNB
BNB
$713.82
-0.65%
XRP
XRP
$1.35
-2.19%
USDC
USDC
$0.9998
-0.01%
Solana
SOL
$99.85
-1.34%
TRON
TRX
$0.3387
-0.24%
Hyperliquid
HYPE
$80.21
-3.57%
Zcash
ZEC
$1,112.79
-9.03%
如何出售 PI
Bitget 上架 PI：在 Bitget 上快速購買或出售 PI！
立即交易
還不是 Bitget 用戶嗎？新用戶可獲得價值 6,200 USDT 的迎新大禮包
立即註冊