Gate News 消息,3 月 15 日,Scallop Lend 已完成由 Asymptotic(Mysten Labs 官方審計合作夥伴)進行的全面形式化驗證。該驗證確認了協議核心機制的數學正確性,包括核心記帳邏輯、清算計算、訪問控制以及定點數運算等關鍵模塊。
免責聲明:本頁面資訊可能來自第三方,不代表 Gate 的觀點或意見。頁面顯示的內容僅供參考,不構成任何財務、投資或法律建議。Gate 對資訊的準確性、完整性不作保證,對因使用本資訊而產生的任何損失不承擔責任。虛擬資產投資屬高風險行為,價格波動劇烈,您可能損失全部投資本金。請充分了解相關風險,並根據自身財務狀況和風險承受能力謹慎決策。具體內容詳見
聲明。
相關文章
0G Labs 推出 0G App 作為生態系入口:去中心化運算、可驗證 AI 與 $0G 代幣閉環
0G Labs 推出了 0G App,這是一個無需程式碼的平台,讓使用者能透過自然語言建立 AI 應用程式。它結合了去中心化運算與 AI 能力,透過解決中心化問題來提升隱私。本次發布旨在促進 AI Agent 的採用,並與 0G 更廣泛的 AI 生態系整合。
GateNews1小時前
WLFI 提議代幣治理方案:62.2B 代幣鎖定至少 2 年,團隊份額 10% 將予以銷毀
世界自由金融 (WLFI) 已提出一項治理計劃,將 622億 WLFI 代幣鎖定兩年,並為顧問與早期支持者設置不同的歸屬(vesting)時間表。此舉旨在強化 DeFi 的長期治理,並包含代幣銷毀(token burn)要求。
GateNews3小時前
Cardano 創辦人表示:加密派對不會推升 ADA 價格——原因在這裡
查爾斯・霍斯金森(Charles Hoskinson)剛剛對卡爾達諾社群做出了一次現實檢驗。他的訊息很簡單。加密派對和大型會議活動不會推動 ADA 的價格。相反,他想把原本會花在炫目聚會上的資金,投入到永久性的全球協
CaptainAltcoin4小時前
Cardano 創辦人表示:加密派對不會推高 ADA 價格——原因如下
查爾斯・霍斯金森(Charles Hoskinson)剛剛在 Cardano 社群中丟出一記現實檢查。他的訊息很簡單。加密派對和大型會議活動不會推動 ADA 價格。相反,他希望把原本會花在炫目聚會上的資金挪到永久的全球 co
CaptainAltcoin7小時前
TRON 成為首個在主網部署後量子密碼簽名的主要區塊鏈
Justin Sun 宣布 TRON 的後量子升級計畫,目標是在其主網實施經 NIST 標準化的加密簽章,以因應未來的量子運算威脅,並將 TRON 的量子防備程度定位於領先於比特幣與以太坊。
GateNews7小時前
Polygon 推出 sPOL,釋放 36 億美元已質押 POL 並提升質押者獎勵
Polygon 已推出 sPOL,這是一種流動性質押代幣,可為已質押的 POL 代幣提供更高的流動性。經過安全性審計,sPOL 讓質押者在使用資產於 DeFi 的同時賺取獎勵,初始流動性來自金庫,以及 Uniswap V4 上的即時流動池群。
GateNews8小時前