DeFi2.0平臺DeFiAI通過Certik智能合約代碼審計_DEFI

日前，DeFi2.0平臺收益聚合器平臺DEFIAI的智能合約技術代碼，已通過美國知名區塊鏈安全審計機構Certik的代碼審計。

審計過程中，Certik充分利用了動態分析，靜態分析和人工復核等技術，對項目協議進行了全面檢查。審計過程中特別注意了以下事項：

LSD協議unshETH的合約部署私鑰被泄露，已緊急暫停提款并聯系黑客:6月1日消息，LSD協議unshETH發推表示，5月31日22:00左右，unshETH合約的其中一個部署私鑰被泄露。出于謹慎起見，官方緊急暫停了unshETHETH的提款，根據我們的安全模型，unshETHETH存款（TVL達3500萬美元）由多重簽名+時間鎖保護，并不處于風險之中。

此外一些附屬協議合約（農場、跨鏈橋等）已經受到了攻擊，正在與來自Coinbase、Stargate、Paladin Blockchain Security、Github以及ogle等白帽安全專家合作，以確保用戶資金的安全，并預計影響范圍將受到限制。同時官方已經聯系黑客，試圖協商返還資金和合約所有權，以限制對現有用戶的影響。

金色財經此前報道，據多位KOL發推表示，LSDFi項目unshETH的金庫出現安全問題，提醒用戶將資金轉出。原因系合約Owner被篡改，已通知項目官方，但官方尚未做出回復。[2023/6/1 11:51:47]

1.測試所有針對智能合約的常見與罕見的攻擊向量

幣安全倉杠桿將推出抵押金折扣:1月5日，據官方公告，基于風控措施的一部分，幣安宣布幣安杠桿平臺將于2023年01月12日16:00（東八區時間）對全倉杠桿推出抵押金折扣。

據悉，全倉杠桿支持的所有資產及其估值質押率，均列在幣安杠桿數據頁面里的“全倉幣種質押率”。幣安杠桿將會根據用戶全倉杠桿的抵押金估值，即全倉杠桿賬戶中所有資產在算入相關質押率后可用作抵押資產的USDT總值，來計算每位用戶在全倉杠桿平臺的最大借貸金額及最大轉出金額。[2023/1/5 10:23:26]

2.評估代碼庫是否達到當前的最佳實踐與行業標準

韓國線上銀行KakaoBank將為Coinone用戶提供存取款賬戶:11月7日消息，KakaoBank首席戰略官(CSO)KimSeok近期表示：“KakaoBank正在洽談11月向Coinone客戶提供經過驗證的實名存款和取款賬戶服務，以便為虛擬資產交易提供穩定性和便利性。Coinone用戶將可通過KakaoBank賬戶訪問。KakaoBank是韓國擁有近2000萬用戶的在線銀行，Coinone是韓國五大加密交易所之一。兩家公司在8月宣布了合作關系。（Forkast）[2022/11/7 12:27:47]

3.保證合約的邏輯符合設計規范和設計目的

4.參照并對比行業制定的相似結構

5.對整個代碼庫進行逐行的人工復核

報告顯示，Certik在DEFIAI的所有區域均未發現主要漏洞，DEFIAI通過了Certik的安全性檢驗，并根據安全團隊的建議對代碼進行了深度優化。在審計后，Certik再次確認了DEFIAI交付的技術代碼處于非常高的安全水平，肯定了DEFIAI團隊執行安全測試的主動性。

關于?DEFIAI

DEFIAI是屬于DEFI2.0，是一個社區驅動的協議、自動化投資組合管理器、流動性提

供者和價格傳感器，它支持去中心化交易和Bsc鏈和其它鏈上的自動化投資組合管理。DEFIAI最終發展成為一個跨鏈資產匯總和收益市場一站式的DeFi產品，致力于創造人人皆可以參與的輕量、開放、自由的金融世界。DEFIAI的流動性挖礦、收益聚合器、交易聚合、理財增強型保險、一鍵式聚合借貸等，產品形態主要為DeFi聚合器平臺，滿足資金全方位的金融需求，它給用戶提供了一種增長點，讓他們能夠立即提前了解自己的未來收益率。

關于?Certik

Certik于2017年底在美國紐約和硅谷成立，2019年初落成北京辦公室。公司由來自耶魯大學和哥倫比亞大學的科研團隊攜數十年研究成果成立，通過“深度規范”的形式化驗

證技術為區塊鏈應用和智能合約提供代碼安全審計服務。

Certik憑借堅實的技術實力和創新能力，已經與國內外知名數字貨幣交易所例如幣安、OKE行、火幣、KuCoin等達成安全合作與服務推廣，同時還與諸如小蟻NEO、量子鏈QTUM、本體ONT等十余個主流公鏈建立了戰略合作關系。同時還獲得了幣安實驗室、比特大陸、丹華資本、經緯中國、光速中國等多家知名機構的戰略資金支持。

來源：金色財經

Tags：EFIDEFDEFIIAIGameFiIC DeFi去中心化金融defi是干什么的AIAI價格

幣安app官網下載