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

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

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

超過200個司法管轄區同意實施FATF加密貨幣標準:金色財經報道，金融行動特別工作組 (FATF) 表示，來自 200 多個司法管轄區的代表已就加密資產“推動全球及時實施 FATF 標準的行動計劃”達成一致。該標準制定機構表示，許多國家未能執行其先前對加密貨幣的要求，包括“旅行規則”。FATF 指出，代表們進一步商定了一項行動計劃，以推動在全球范圍內及時實施與加密資產相關的 FATF 標準，包括發起人和受益人信息的傳輸。

FATF 聲稱，許多國家缺乏對虛擬資產的監管，為犯罪分子和恐怖主義金融家創造了機會。[2023/2/27 12:32:21]

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

意大利交易所Young Platform完成1600萬歐元融資:1月4日消息，意大利加密貨幣交易平臺Young Platform今日宣布獲得了法國金融市場管理局（Autorité des Marchés Financier）批準許可，可以在該國作為數字資產服務提供商運營。此外，Young Platform還披露已經在大約6個月前完成了一筆1600萬歐元的融資，Azimut領投。[2023/1/4 9:52:30]

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

擬以170億美元收購Unity的AppLovin推出NFT市場Vessel:10月4日消息，面向開發者的移動貨幣化平臺 AppLovin 宣布通過其子公司 OpenVessel Technologies, LLC 推出 NFT 市場及錢包一體化平臺Vessel，讓用戶可以輕松訪問定制的 NFT 并支持開發者購買、出售和交易他們鑄造的 NFT。目前，Vessel 已通過 Apple 和 Google Play 應用商店審核并上線。

此前報道，移動貨幣化平臺 AppLovin 于 8 月宣布擬以約 170 億美元收購 Unity。AppLovin 去年以 10.5 億美元從 Twitter 收購移動廣告公司 MoPub，并在 2020 年收購移動游戲開發商 Machine Zone。[2022/10/5 18:39:28]

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：DEFIDEFEFIIAILibre DeFiIDEFIWeFilmChainIAI幣

Uniswap