以太坊交易所 以太坊交易所
Ctrl+D 以太坊交易所
ads
首頁 > OKB > Info

Uniswap V3給合約審計帶來的新挑戰_SWAP:UniFi

Author:

Time:1900/1/1 0:00:00

作者 | Fairyproof TechCEO譚粵飛,美國弗吉尼亞理工大學(Virginia Tech, Blacksburg, VA, USA) 工業工程(Industrial Engineering) 碩士(Master)。曾任美國硅谷半導體公司 AIBT Inc(San Jose, CA, USA) 軟件工程師,負責半導體設備程序的開發、負責與公司關鍵客戶---臺積電的全面技術對接和交流。自2011至今,從事嵌入式,互聯網及區塊鏈技術的研究,深圳大學 《區塊鏈概論》 課程教師,中山大學區塊鏈與智能中心客座研究員,廣東省金融創新研究會常務理事,擁有4項區塊鏈相關專利四項。

萬眾期待的Uniswap V3終于面世了,它的白皮書(https://uniswap.org/whitepaper-v3.pdf)及相關源代碼(https://github.com/Uniswap/uniswap-v3-core/tree/main/contracts)已經向業界全面公開。

Uniswap上的USDC交易量達到3個月低點:金色財經消息,Glassnode數據顯示,Uniswap上的USDC交易量達到126,100.82美元的3個月低點。[2022/9/3 13:06:08]

這兩天各個專業人士發表了對V3的看法,這些看法主要集中在V3所具備的新特點、帶來的新體驗。作為在安全領域從業的我們則更加關注V3對合約審計尤其是去中心化交易所合約審計帶來的新挑戰。

V3的問世毫無疑問將掀起新一輪DEX的升級大潮,因為它在資金效率、費用消耗、預言機優化等方面所作的改進將再次成為現有項目模仿的范本,也將成為眾多正在DEX賽道上創業團隊參照的藍本。

我們相信一批新的DEX合約會用到V3的實現方式,而這些新的DEX合約可能產生安全問題的源頭在以下兩方面:?

火幣已開放UNI充幣業務:據官方消息,火幣全球站“全球觀察區”于9月17日10:50上線Uniswap(UNI)。目前火幣已經開放UNI充幣業務。上幣首日,用戶在火幣全球站凈充值(充幣量-提幣量,不含交易)滿400個UNI,即送50USDT等值點卡(自發放之日起7日內有效)。[2020/9/17]

1.由于V3引入了新的代碼許可協議,因此在商業方面將使得一些項目想直接照抄,拷貝變得有所顧忌,而不得不模仿它的實現方式,改寫它的源代碼。一旦改寫代碼就會給合約審計帶來挑戰。

BBEX Junior Zhang:積極推動DeFi的發展 但也要客觀的認清現實:今日,BB交易所(BBEX) COO Junior Zhang 作客“XBIT和他的朋友們”欄目,就DeFi可能成為繼公鏈和DAPP后新的行業熱點發表看法。Junior Zhang認為DeFi給未來金融提出了一個很好的思路,值得積極的去嘗試。但DeFi尚未出現大的系統性風險來檢驗其是否是一個可以平穩運行的系統。以及出現黑客入侵、代碼安全等問題時,沒有一個強有力的“裁判”來糾錯,最后是對于普通用戶來說參與門檻過高。這是所有去中心化的生態必須面對的現實問題。[2020/6/18]

2.在整體安全性上Uniswap的合約還是相當不錯的,這其中最重要的一個原因就是它的代碼簡潔、功能刪繁就簡。而V3在一系列細節上進行了修改,這在功能及性能上比V2有了極大提高,但在安全性方面就增加了復雜度。如果模仿團隊對這些改動不求甚解、完全照搬、甚至和以前的實現方式混用則會引入潛在的風險。

分析 | Juniper Research:加密貨幣領域處于崩潰邊緣:據彭博報道, 英國區塊鏈機構Juniper Research警告說,加密貨幣領域的許多指標都指向市場將崩潰,這與一些主流經濟學家的觀點一致。Juniper表示,行業領頭羊比特幣的日交易量從2017年底的平均每天約36萬枚下降到2018年9月的23萬枚。同時,每日交易金額這期間由超過37億美元降至不足6.7億美元。整個市場也迅速萎縮,第一季度,加密貨幣交易總額剛剛超過1.4萬億美元。然而,第二季度則暴跌75%,總市值降至3550億美元以下。基于第三季度上半段的市場活動,Juniper估計本季度交易額將進一步環比下降47%。研究人員指出,簡而言之,考慮到對比特幣的固有估值以及許多交易所運營實踐的擔憂,他們認為該行業正處于崩潰邊緣。[2018/10/10]

那么具體V3在哪些方面對準備借鑒、參考它實現方式的團隊帶來了安全性方面的挑戰呢?

我們認為有以下四大方面:

一、交易對由單個流動性池變為多個流動性池

V3的這個做法是為了提高資金效率,讓用流動性提供者將資金存入到交易量最大的價格區間。然而這就導致流動性池由單個變為多個。那么交易過程就會涉及到交易在多個資金池之間的切換,就會涉及到復雜的合約交互。

此外,每個流動性池現在可以設置不同的費率,這其中的計算邏輯就會比單一流動性池要復雜,這其中稍有不慎就會涉及到邏輯實現和計算過程的錯誤。

二、LP代幣由同質(ERC-20)通證變為非同質通證

在V2中,流動性池的代幣都被設計為同質通證,而在V3,它被設計為非同質通證。為了因應這個變化,V3中累積的費用會存在另外的池子中。但凡多了資金池,就多了被黑客攻擊的對象、就多了風險隱患,因此對這類新增加的資金池在安全方面的保障和維護就成為團隊必須要考慮的問題。

三、 UNI治理權可以轉交給其它地址

本質上這種方式如果使用得當、管理周全倒也不會對系統造成嚴重的風險。但權力是“固定”的、人卻是“靈活”的。如果這個治理權被轉移到不當地址(比如非DAO社區、非多簽錢包等)則后患無窮。

四、預言機的優化

V3對預言機進行了大膽的優化:其最重大的變化在我們看來就是價格計算方式的變化以及由計算方式帶來的一系列實現方式、流程邏輯的變化。

V3將價格的計算由算術平均值(arithmetic mean)變為幾何平均值(geometric mean)。用通俗的話說就是由加法運算變為對數運算。理論上,這極大拓展了價格的覆蓋區間,使得傳統上利用外在因素在極短時間引發價格劇烈波動從而操控交易的方式進一步失效。

但“福兮禍也”,這會不會在看上去一片大好的情況下引發新的問題?現在還不得而知,只能有待時間來證明。

此外,在V3白皮書中提到,這種方式讓其它合約調用預言機時能從某個交易對的多個流動性池中得到更可靠的數據。對此我們的擔心在于,如果某個池子被攻擊時,這個預言機所報的數據會不會不僅無效,而且誤差被更加放大?

對此,我們依然建議項目方在處理預言機喂價方面要謹慎又謹慎,盡量從多個數據源取數據,而不要依賴單一數據源,無論這個單一的數據源在理論計算上看上去多么美好、多么健壯。

Tags:UNISWAPUniswapJUNIUniFiManySwaplayer幣和uniswap的關系JUNI價格

OKB
Optimistic Rollup并非萬能 了解Metis Rollup的擴容思路_MET:Metaverse Index

第二層 L2 去中心化組織(DAO)協議 Metis 警告稱,市場中很多高人氣 Optimistic Rollup 解決方案存在「嚴重問題」.

1900/1/1 0:00:00
一文讀懂AgeUSD穩定幣協議優勢所在_EUSD:EUSD幣

AgeUSD是一種加密貨幣支持的全新算法穩定幣協議,由Ergo社區開發者、EMURGO和IOG在Ergo公鏈上共同合作開發.

1900/1/1 0:00:00
金色前哨|Solidity將推出每個版本的NFT_SOL:CREDIT

金色財經報道,4月1日消息,以太坊智能合約高級語言Solidity在推特上宣布正將每個Solidity版本代幣化為NFT。每個版本都將只鑄造一次,可以對每個版本的NFT出價.

1900/1/1 0:00:00
我可以把畢加索的畫燒掉 做成NFT嗎?_BER:BERC

在《奇葩說》曾經的一道辯題辯論中,李誕曾說,「比蒙娜麗莎更美的,是燃燒中的蒙娜麗莎。」李誕的話本來就是是舞臺上的演戲臺詞,沒人當真,但在 NFT 領域,燒畫這個動作,似乎真的成了某種流行.

1900/1/1 0:00:00
為什么越來越多的公司希望消費者使用加密貨幣支付?_比特幣:BULLISH CHEEMS

本周,似乎每家大公司都希望消費者開始使用數字資產付款。 昨天,PayPal開始允許客戶使用其加密貨幣余額付款.

1900/1/1 0:00:00
金色百家談 | 支持Layer2的永續合約DEX YFX創世挖礦第2階段上線_COM:nbs幣前景

支持Layer2的永續合約DEX YFX創世挖礦第2階段即將上線,將帶來哪些創新應用?3月31日16:00,金色財經邀請YFX.COM中文社區發起人John Wang做客「金色百家談」直播間.

1900/1/1 0:00:00
ads