日前， DeFi2。0 平臺收益聚合器平臺 DEFIAI 的智慧合約技術程式碼， 已透過美國知名區 塊鏈安全審計機構 Certik 的程式碼審計。
審計過程中， Certik 充分利用了動態分析， 靜態分析和人工複核等技術， 對專案協議進行 了全面檢查。 審計過程中特別注意了以下事項：
1。 測試所有針對智慧合約的常見與罕見的攻擊向量
2。 評估程式碼庫是否達到當前的最佳實踐與行業標準
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 等十餘個主流公鏈建立了戰略合作關係。 同時還獲得了幣安實驗室、 比 特大陸、 丹華資本、 經緯中國、 光速中國等多家知名機構的戰略資金支援。dapo推廣連結
https：//dfai。finance/dashboard/25bc8ead-2609-4f02-a51f-a6b20c5202b2
