DEFI:DeFi2.0 平臺 DEFIAI 通過 Certik 智能合約代碼審計

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

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

紅杉中國種子基金完成4.8億美元新基金募資 開始布局AIGC領域的早期企業:金色財經報道，紅杉中國種子基金宣布，旗下第三期種子基金已于去年完成 4.8 億美元募資。目前，紅杉種子管理規模近 150 億人民幣，是國內管理規模最大的早期基金之一，也是自 2018 年單列以來，紅杉中國五年中完成的第三支美元基金募集。

據介紹，紅杉種子主要面向種子輪到 A 輪的初創企業，過去幾年，紅杉種子重點布局了新能源與“雙碳”、EV 產業鏈、創新醫療技術、合成生物、金融科技、基礎軟件、機器人、設計和內容平臺、效率工具和新消費等具有科技驅動、結構性創新和高成長屬性的領域，當下也開始關注并開始布局 AIGC 領域的早期企業。（澎湃新聞）[2023/2/28 12:33:34]

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

ShapeShift回應美參議員：從不處理用戶資金，無法促進非法融資:2月20日消息，去中心化交易平臺ShapeShift于2月19日在推特上表示，在情人節（2月14日）那天，Elizabeth Warren（美國參議員）試圖以ShapeShift為例，推動她最新的加密法案。不幸的是，參議員的分析中有錯誤，我們想借此機會澄清事實。關于Warren關于非法融資的評論，ShapeShift從不處理用戶資金，因此沒有能力促進這一點。諷刺的是，我們關心的事情和沃倫參議員一樣：即用戶安全(需要自我保管)和獲得創新(DeFi而不是CeFi)。FOX社區始終對圍繞加密貨幣和shapesshift平臺的基于事實的對話持開放態度。我們鼓勵Warren和其他人建設性地參與金融自由和創新的關鍵問題。

此前，Warren在參議院聽證會上表示，ShapeShift在2021年7月將自己重組為DeFi平臺是別有用心的。沃倫表示，重組是為了鼓勵人們在該平臺上”洗黑錢”。ShapeShift的首席執行官Erik Vorhees于2月18日在他的個人推特上表示他期待“Warren向ShapeShift DAO治理過程提交提案”，以回應Warren對該平臺的批評。[2023/2/20 12:17:28]

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

美國SEC執法部門向國會尋求更多資源，以處理加密行業的問題:金色財經消息，美國證券交易委員會（SEC）執法部門負責人已要求美國國會提供更多資源（包括雇傭更多的工作人員），以支持該機構的加密監管工作。在周二的聽證會上，SEC執法主任Gurbir Grewal告訴美國眾議院金融服務小組委員會，監管機構針對加密貨幣公司的執法行動越來越多，這使新成立的加密貨幣監管部門感到緊張。

據悉，今年5月，美國SEC將其加密資產和網絡部門的規模擴大了近一倍，達到50名員工。（CoinDesk）[2022/7/20 2:24:42]

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：EFIDEFIDEFIAIDEFI S幣DefinixDives DefiMURATIAI

Ethereum