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

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

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

Crunchbase：Q1 Web3創企所獲風投資金為17億美元，同比下降82%:4月22日消息，據 Crunchbase 數據顯示，今年一季度對 Web3 初創企業的風險投資同比下降 82%，從 2022 年第一季度的 91 億美元下降到 17 億美元。這是自 2020 年第四季度 11 億美元以來的 Web3 融資低點，當時許多人從未聽說過 Web3。在這種情況下，Web3 初創公司被定義為直接與加密或區塊鏈技術（或兩者兼而有之）合作的早期公司。此外，風投和 Web3 初創公司之間的交易總數也出現了顯著下降，2023 年第一季度記錄了 333 筆交易，同比下降約 33%。

報告指出，最近對 Web3 初創企業的興趣有所降溫，但它也強調，幾乎每個領域的風險投資都在減少。Crunchbase 將 Web3 融資的下降歸因于投資者在過去幾個月里選擇了規避風險的方式，風投在其最了解的行業——比如網絡安全或 SaaS，而不是下一代互聯網（Web3）的承諾中尋找機會。[2023/4/22 14:19:49]

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

Binance與阿斯塔納航空公司達成合作，支持Nomad Club積分兌換BUSD:金色財經報道，據Binance官方網站報道，該交易平臺已與阿斯塔納航空公司達成合作，允許Binance用戶將其Nomad Club航空積分兌換成BUSD，BUSD兌換上限為20 BUSD，積分兌換上限為1000積分。[2023/2/1 11:41:05]

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

SBF：目前流動性資產負債80億美元，半/非流動性資產賬面價值為90億美元:11月16日消息，SBF發文粗略估計目前的情況：擁有流動性資產為-80億美元；半流動性資產為55億美元；非流動性資產為35億美元。SBF表示，或許現在90億美元半/非流動性資產（按市值計價，10億美元凈值）不值90億美元。但這些資產在一個月前值180億美元（100億美元凈值）。[2022/11/16 13:12:00]

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：DEFIEFIDEFWEBXDEFI WalletCokeFinancexDEF2METAWEB3PA

以太坊交易所