買比特幣 買比特幣
Ctrl+D 買比特幣
ads

MOV:淺析Move語言背后的設計思想:“不授權”到底安不安全?_USDT幣提現會查嗎

Author:

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

作者:@jolestar

來源:《「不授權」到底安全嗎:Move背后的設計思想》

最近關于用戶和 Move 智能合約交互,不需要授權 (Approve) 是更安全還是更不安全的爭論很多,這里嘗試用通俗的方式來解釋一下二者背后的區別以及 Move 這樣設計背后的思想。

我們先理解一下用戶和智能合約交互的方式。當我們簽了一個交易,去調用一個鏈上的智能合約,就好比從物理世界進入了一個智能合約的數字世界,我們在這個數字世界有一個分身,而這個分身做什么,是智能合約定義的。

在 EVM 中,每個合約都相當于一個獨立的小世界,分身進入這個世界后,只能操作用戶在當前合約世界中的狀態(資產)。

Vitalik Buterin:賬戶抽象可為以太坊帶來數十億美元的收益:金色財經報道,最近在巴黎舉行的以太坊社區會議(EthCC)上的一次演講中,以太坊創始人Vitalik Buterin詳細介紹了賬戶抽象升級如何讓用戶用用于交易的代幣支付Gas費,從而吸引數十億人使用以太坊。帳戶抽象使用戶能夠從外部擁有的錢包(EOA)切換到基于智能合約的錢包。如果此次升級成功,錢包管理將比現在更加高效和輕松。Buterin和社區相信,這可以使加密技術得到廣泛采用。

此外,加密貨幣領域充斥著丟失助記詞或助記詞被盜的用戶。通過賬戶抽象,用戶可以創建充當可編程智能合約的非托管錢包。據報道,錢包恢復只是此次新升級帶來的眾多功能之一。Buterin相信此次升級可以給以太坊帶來數十億美元的收益。[2023/7/20 11:05:50]

比如進入 swap 世界,想用自己的 usdt 交換其他資產,而 usdt 存在定義 usdt 的那個合約世界,沒辦法直接在 swap 中以自己的身份從 usdt 合約里提取資產。于是用戶只能先去 usdt 的合約世界執行 approve,告訴 usdt 的合約,swap 可以代自己提取自己的資產,然后再進入 swap 世界進行操作。

數據:Blur交易總量突破400萬筆,交易總額超260萬枚ETH:5月15日消息,據Dune Analytics數據顯示,NFT市場Blur交易總量已突破400萬筆,現為4,002,211筆,獨立買家數量161,862個。同時,Blur平臺交易總額超260萬枚ETH,現為2,600,365枚ETH。[2023/5/15 15:03:08]

操作完成之后,再去 usdt 那邊取消授權(revoke)。但這里的 approve 和 revoke 操作都需要獨立的交易,用戶往往為了節省 gas 費用,不進行 revoke,結果如果 swap 合約出安全問題,用戶的資產就可能在不知情的情況下被盜取。

而在 Move 中,所有的合約都在一個大的數字世界運行。用戶的數字分身可以自由的在合約間移動,執行任何操作,同時用戶的狀態(資產)存在用戶自己的存儲空間。

所有主要借貸協議中僅有MakerDAO收入超過了其代幣激勵:9月29日消息,據token terminal統計,在所有主要的借貸協議中,只有MakerDAO的收入超過了代幣激勵。據Variant投資合伙人Mason Nystrom分析稱,代幣激勵是一種新的獲客成本(CAC)形式。每一美元的代幣激勵對應一個新客戶或費用/收入。項目應確保其代幣獲取成本(TAC)和代幣激勵與轉速比率在其市場內具有競爭力。[2022/9/29 6:02:10]

用戶從 swap 入口進入,從自己的余額提取 usdt,交換,存儲可以在同一個交易里原子化完成。這種模式給合約帶來更自由的組合模式,可以玩出很多 EVM 上很難實現的組合玩法,這也是 EVM 上的賬戶抽象方案想實現的模式。當然,這也帶來了新的安全挑戰。

DeFi可組合型杠桿協議Gearbox即將推出V2版本:7月7日消息,DeFi可組合型杠桿協議Gearbox宣布即將推出V2版本,早期僅針對一個精選的巨鯨名單列表開放,抵押品至少需要5萬美元。V2版將為杠桿用戶新增支持多個資產,還會有新的協議集成,以及支持杠桿穩定幣挖礦、杠桿挖礦Lido stETH、交叉抵押杠桿頭寸等。[2022/7/7 1:57:30]

那 EVM 中能否直接增加一個特性,讓合約間的調用可以把用戶身份直接帶過去?這個技術上是可以實現的,但 EVM 中支持動態調用,可以調用任意地址的合約,讓這種操作的風險變的很難度量,同時 EVM 的狀態變更對用戶和錢包都不友好,錢包很難通過狀態變化對用戶進行提示。

而 Move 中解決這個安全挑戰有兩個方法:

1. 在預執行合約的時候把合約執行后的狀態變更提示給用戶,讓用戶可以知道這個交易操作了自己的哪些重要資產,以及執行后的結果。這個方法 StarMask 中已經實現,參看鏈接以及附圖 https://starcoin.medium.com/starmask-v4-6-

2. 可能有部分合約可以通過設置條件,讓一部分用戶預執行的時候無法發現狀態變更。@0xmetazen 的分析 https://twitter.com/0xmetazen/status/1582581013972414465 ,但 Move 中沒有動態調用,合約在部署時,它的執行邏輯就是確定的。可以通過靜態分析字節碼,得到合約所有可能路徑上操作的狀態,在區塊瀏覽器或錢包里提示給用戶。

EVM 和 Move 的兩種方案,帶來的安全風險是不一樣的。Approve 方案的安全風險是把一個即時的授權變為長期授權,它的風險不是立刻發生的,比如合約漏洞未被發現或者惡意合約放長線釣大魚。而一旦發生,用戶往往很被動,很多用戶可能都忘記授權過哪些合約了。

而 Move 的方案給了合約更大的自由權,遇到惡意合約會有較大風險,但這種風險是即刻發生的,是可以通過技術手段來檢測的。最壞的情況,至少前面沖的快到人趟坑了,可以給后面的人警示,惡意合約會快速暴露出來。

最后,世上沒有銀彈,不可能靠用了某種技術就解決了所有安全問題,需要鏈,工具,用戶一起努力。

對 Move 用戶的安全建議:

1. 選用狀態變更提示更完備的錢包,并嘗試理解錢包的提示。

2. 不要隨意和來源未知或未開源的 DApp 交互。

3. 如果做不到上面兩點,可以等別人先趟一下坑。

Move 在安全方面的挑戰以及改進方案不僅僅是這些,我會在《為什么是 Move》系列的安全篇里詳述,想了解的朋友可以關注一下。

PANews

媒體專欄

閱讀更多

金色早8點

區塊律動BlockBeats

金色財經

1435Crypto

吳說區塊鏈

blockin

比推 Bitpush News

Block unicorn

Foresight News

Odaily星球日報

Bankless

DeFi之道

Tags:MOVEMOVUSDTUSDLimoverseMOVRUSDT幣提現會查嗎Compound USD Coin

以太坊價格今日行情
Aptos:Aptos和Sui:一場Move上的L1對決_aptos幣行情

摘要: 來源:DeFi之道 作者:Cody Garrison 01 簡介 “L1 戰爭”是 2020-2021 周期中廣為人知的故事.

1900/1/1 0:00:00
元宇宙:什么是“元城市” 為何它能獲得上海、首爾等一線大都市的青睞?_DEFI

城市的出現,是人類文明繁榮的標志。隨著AI技術蓬勃發展,元城市建設也被各國提上了日程。2022年9月2日,以“數智元城 貫通未來”為主題的2022世界人工智能大會國際AI城市論壇在上海正式舉行.

1900/1/1 0:00:00
NAN:金色早報 | CZ:Binance正在考慮收購銀行_Binance USD

▌CZ:Binance正在考慮收購銀行金色財經報道,Binance創始人兼首席執行官趙長鵬(CZ)表示,Binance正在考慮收購銀行,以彌合傳統金融和加密貨幣世界之間的差距.

1900/1/1 0:00:00
STARK:Rollup之爭:Starkware概覽_STAR

在目前,以太坊的發展趨勢正越來越傾向于模塊化區塊鏈。在模塊化區塊鏈的架構下,以太坊上的交易計算和執行不再由主網來操作,這部分工作轉移到鏈下的Layer 2上來完成,這種方案減輕了主網的負擔,大大.

1900/1/1 0:00:00
PRO:深度解析Re Protocol:再保險為何更適合做去中心化協議_DNFT Protocol

1990年10月2日上午,廣州白云機場發生一起重大飛機空難事故。一架從廈門飛往廣州的客機在途中被歹徒劫持,在廣州白云機場著陸滑行時,沖出跑道,撞上了停機坪上的兩架飛機.

1900/1/1 0:00:00
DEF:金色Web3.0日報 | 新加坡高等法院:NFT可被視為財產_fdudefi

DeFi數據 1、DeFi代幣總市值:435.8億美元 DeFi總市值及前十代幣 數據來源:coingecko2、過去24小時去中心化交易所的交易量22.

1900/1/1 0:00:00
ads