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

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

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

歐洲央行考慮在分布式賬本技術平臺上以歐元結算金融交易:金色財經報道，歐洲央行目前正在考慮是否發行零售央行數字貨幣（CBDC），供普通交易者和公民使用，包括那些使用加密貨幣基礎技術的市場。

根據歐洲央行周五發布的一份聲明，使用歐元貨幣的中央銀行（統稱為歐元系統）正在 \"研究DLT（分布式賬本）平臺上記錄的批發金融交易如何以中央銀行貨幣結算\"。該計劃的目的是鞏固和進一步發展歐元體系中央銀行在該領域正在進行的工作，并深入了解不同的解決方案如何促進 TARGET 服務與分布式賬本技術平臺之間的交互。[2023/4/28 14:33:15]

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

imToken 報告：2023 年新的錢包解決方案主要技術路線有多方計算、抽象賬戶和底層賬戶創新:金色財經報道，根據 imToken 發布的《2023 年加密錢包報告》，對加密用戶的問卷調研顯示，38% 的受訪者認為錢包不如交易所安全，65% 的受訪者表示了解智能合約錢包概念，51% 的受訪者愿意以支持多因素身份驗證提高安全性為由選擇新錢包，76% 的受訪者認為第三方托管方案比錢包更方便。

報告指出，2023 年，新的解決方案將圍繞如何處理密鑰繼續展開，通過使用不同的技術方案來幫助用戶添加、刪除、限制或更改賬戶的密鑰，或者為賬戶本身提供自定義邏輯以解決當前痛點，主要技術路線有：多方計算（MPC）、抽象賬戶（AA）、底層賬戶創新。[2023/2/9 11:57:16]

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

數據：隆領資本從Compound提取約2.85萬枚ETH，并將1.6萬枚轉入幣安:1月10日消息，據Lookonchain數據監測，美圖董事長蔡文勝旗下隆領資本（Longling Capital）的地址（0x716034C25D9Fb4b38c837aFe417B7f2b9af3E9AE）于2小時前在Compound償還了所有借款，提取了28,515枚ETH（約合3770萬美元），并將1.6萬枚ETH轉入幣安（約合2110萬美元）。與此同時，另一個0x930d開頭地址從幣安提取9,500枚ETH。

今天早些時候消息，推特用戶@Bit余燼發推表示，美圖創始人蔡文勝相關地址昨晚從Compound贖回1.8萬枚ETH。[2023/1/10 11:03:49]

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：DEFIDEFEFIIAIdefi幣如何挖礦DefiDollar DAOBTCDEFIIAI幣

ICP