DeFi2.0平臺DeFiAI通過Certik智能合約代碼審計_EFI:DEFILANCER幣

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

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

去中心化交易所Mango Markets恢復加密貨幣交易:金色財經報道，已關閉的去中心化交易所Mango Markets背后的開發人員表示，他們正推動重新啟動該項目。SEC對代幣的標記引發了棘手的問題，即Mango Markets的“第 4 版”能否在不面臨監管機構憤怒的情況下繼續進行。SEC沒有指控Mango有不當行為。但該機構上周指責MNGO交易員Avraham Eisenberg操縱證券市場，他在10月份從該交易所損失了1.16億美元。

項目創始人Daffy Durairaj承諾繼續進行軟件升級以重啟Mango Markets。Mango Markets是Solana上曾經流行的加密貨幣交易、借貸平臺。[2023/1/27 11:32:05]

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

SEC專員：用來確定數字資產是否應歸類為證券的Howey測試具有局限性:12月19日消息，美國證券交易委員會（SEC）專員Hester Peirce表示，用來確定數字資產是否應歸類為證券的Howey測試具有局限性。她表示，“這些初始銷售中有很多看起來確實像證券發行，但問題是，那個代幣或者加密資產本身，是一種證券嗎？我認為人們對此的回答各不相同。”

據悉，Peirce于2018年加入SEC以來，她認為盡管進行了大量對話并努力更好地了解加密技術，但在加密監管方面“沒有真正的積極進展”，政府的不作為正在影響人們在加密領域的運作方式。（Decrypt）[2022/12/19 21:53:20]

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

Compound關于為10個Compound v2資產調整借貸上限的提案開啟投票:金色財經報道，Compound關于為十個Compound v2資產調整借貸上限的提案開啟投票，投票截止日期為11月28日。提案稱，這組參數更新旨在保持協議的整體風險承受能力，同時在特定資產之間進行風險權衡。[2022/11/27 21:05:15]

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：DEFIDEFEFIDeFiAIDEFILANCER幣defi幣官網NRGY Defidefiai幣被盜

聚幣