加密貨幣交易所 加密貨幣交易所
Ctrl+D 加密貨幣交易所
ads

深入探討:為何在Move/Sui建設DeFi_MOV:MOVE

Author:

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

撰文:Typus Finance

前言

當我們建立Typus時,我們經常被問到「為什么使用Move語言?」或「為什么選擇Sui?」。這篇深度探索希望向大家闡述Move語言和Sui Move語言的一些核心概念,從而解釋為何我們認為Sui是部屬DeFi的最佳選擇。我們希望這篇文章能提供開發人員或其他項目方一些洞見。

在我們正式談論Sui Move之前,先來了解原始的Diem-style Move語言。

第一部分:為何在Move上建設DeFi?

Move語言是為DeFi而生

Move最初是由Facebook為Diem區塊鏈開發的,旨在打造一個全球金融基礎設施,以支援數十億用戶。

Move設計初衷是成為一種用于操作數位資產(digital assets)的語言。它必須能夠以精確、易懂和可驗證的方式來闡述Libra貨幣和治理規則。

長遠來看,Move必須可以將各種資產及對應的商業邏輯代碼化,從而建立金融基礎設施。

Move的解決方案是「頭等資源(first-class resources)」——將資產視為程式語言界的頭等公民。用戶可以通過資源(resource)的四種不同能力來輕松定義和操作數位資產:

1.復制 (copy)

2.索引 (key)

3.丟棄 (drop)

4.儲存 (store)

為了打造強大且可拓展的DeFi生態系統,我們需要從程式語言的三個方面來提供支援:

順網科技與中數鏈簽訂合作協議:將在元宇宙等方面開展深入合作:7金色財經報道,日前,順網科技與中數鏈(上海)簽訂框架合作協議,公司旗下元宇宙瞬元智能鏈、Meta CJ將與對方展開包含資本性合作在內的全面深入合作。中數鏈是國版鏈的超級節點運營機構,是一家整合了專業的區塊鏈、web3.0應用技術,鏈接了豐富的文化數字化上下游生態資源的元宇宙技術及應用解決方案的機構。當下,順網科技則在不斷完善元宇宙算力基礎設施+應用層生態建設。[2022/7/23 2:33:07]

1.數字資產的稀缺性

2.強制存取控制

3.資產安全性

稀缺性是有價值的實物資產的重要屬性,但數位資產本身沒有內建稀缺性的特質。因此,我們必須通過程式來強制為數位資產賦予稀缺性。

也就是說,資產供給量不應是無限的。程式設計上,必須可以防止人們復制資產,并且應該要把創建新資產設為一種特權。

為實現稀缺性,Move規定資產永遠不能被復制或丟棄,只能在不同的儲存場所之間移動。 (Move的名稱由此而來)

Move如何實現這一點呢?

Move有一個類型系統(type system),由字節代碼驗證器來強制執行。當開發人員將Move字節代碼發布到區塊鏈時,該系統將可以用來防范資產價值整個失控。

重復使用——如果我編寫了一段以硬幣作為某函數的輸入項,然后再編寫另一段代碼,試圖復制該硬幣(譯:從而影響該函數的輸出結果),那么類型系統將會糾錯,并回傳錯誤(譯:讓開發者知道該操作不可被執行)。

聲音 | 央行研究局局長:將深入研究完善金融科技監管制度框架等問題:據財聯社消息,央行研究局局長王信今日在數字金融開放研究計劃首屆學術研討會上表示,央行高度總是金融科技應用的相關研發,下一階段值得深入研究的課題包括:Libra等加密數字貨幣有關問題,如是否會形成法定數字貨幣、少數數字穩定幣并存格局;探索數字金融更好地支持實體經濟發展,應開發多元化、全方位金融服務;完善金融科技監管制度框架,發展監管科技,如何將科技巨頭納入宏觀審慎監管框架;加強數字金融基礎設施建設,加強數字金融領域的國際協調合作等。[2019/7/8]

雙重支付——如果我擁有一枚硬幣,并嘗試將其傳遞給某個接受硬幣作為付款的函數,它會防止同一枚硬幣被重復傳遞。

銷毀——如果我有一些以硬幣作為輸入項的函數,那么我不應該有能力去重新指定該硬幣的存量,因為憑空讓硬幣的存量減少代表有硬幣被丟棄。

上述設定都是為了讓數位資產的特性類似于實體資產。使用Move,開發人員可以通過上述設計來讓數位資產滿足資產該有的特性。

2.強制存取控制

在Solidity中,數據集中儲存在合約里。當合約中存在漏洞時,一旦駭客獲得合約權限,所有用戶數據都會受到攻擊。

Move 開發團隊認為數據應該儲存在擁有者的賬戶中,而不是儲存在合約中。在 Move 中,有模組的概念,模組可以是一個程式庫,也可以是一個允許創建、儲存或轉移資產的程序。類似于以太坊中的合約,但更像是一間采用物件導向程式語言的銀行。

Move 限定只有公共模組可以被其他模組調動。同樣,結構中的欄位只能在其模組內訪問和更改。每個資源都儲存在由所有者賬戶控制的模組中。

動態 | 金融時報:未來區塊鏈等技術與銀行業的融合一定會越來越深入:據金融時報今日刊文指出,銀行業“變革的思維”,還體現在科技與傳統銀行的結合上。未來,云計算、大數據、區塊鏈與銀行業的融合一定會越來越深入。數據和信息會成為未來銀行的生命線。擁有數據和信息,就能精準勾畫出消費者所需要的場景,從而提高銀行服務和產品的覆蓋范圍與個性化程度,進而滿足金融消費者的獲得感、幸福感和安全感。并且,數字技術與普惠金融、小微金融、消費金融相結合,可以產生事半功倍的效果,因為小微企業與消費者是最需要數字技術所帶來的金融服務便利性的客戶群體。[2018/9/8]

該功能讓所有權資訊和數位資產的特殊權限得以在智能合約下被維護。即使某個數位資產被發送到智能合約,該資產的所有權也不會改變。

更直白的例子是,如果駭客獲得了 Move 智能合約的訪問權限,他/她也無法將資產提取到自己的錢包中。

DeFi 的安全風險越來越令人擔憂,我們屢屢聽到造成超過 1 億美元損失的駭客攻擊。據 SlowMist 統計,2022 年上半年就發生了約 100 起 DeFi 安全事件,損失超過 16.3 億美元,其中項目缺陷和合約漏洞是常見原因。

作為一種專注于金融場景的語言,Move 從 Solidity 可能存在的安全漏洞中獲得了經驗教訓,并高度重視「智能合約安全和正確性」。

字節碼驗證器(bytecode verifier)

Move 的字節碼驗證器可以在執行每個字節碼程序之前檢查它們,防止許多常見的漏洞。安全預防措施由驗證器強制執行,開發者不能繞過編譯器,直接使用字節碼編寫代碼。它在代碼被發布到區塊鏈時直接強制執行。

動態 | 南開大學新設金融科技研究中心 對區塊鏈等科研課題進行深入研究:7月13日,南開大學金融學院金融科技研究中心在天津成立。該中心內設南開大學金融學院金融科技創新實驗室,對金融以及人工智能、大數據、區塊鏈等科研課題進行深入研究,并推動與在金融科技領域全球領先的機構和專家廣泛合作,培養出優秀的研究人才和產業人才。[2018/7/13]

先前提到的資產稀缺性功能是通過字節碼驗證器實現的,它可以預設強制執行稀缺性。開發者依賴語言的強大支援,確保代碼中的不變性,無論攻擊者嘗試什么都不會改變其代碼特性。

第二部分:為何在Sui上建設DeFi?

我們已經解釋完為何我們認為Move對DeFi而言是最佳的開發語言,接下來讓我們談談為什么我們優先選擇在Sui上部屬我們的項目。

這個決策背后的三大支柱是:

1.共識機制——釋放驗證者和共識資源,讓區塊鏈更有余裕處理DeFi交易。

2.平行協議——沒有上限的橫向可擴展性,以滿足DeFi的需求。

3.存儲基金的代幣經濟學設計——為DeFi應用提供更具資本效率的模型,以將數據儲存在鏈上。

Sui的共識機制和處理簡單/復合交易的能力被認為是其最有價值的創新,也是提供更穩定的DeFi交易環境的關鍵。 Sui的共識取決于為兩種物件設定——自有物件和共享物件。

自有物件對應簡單交易

在Sui上,自有物件是由單個地址擁有的,例如代幣或NFT。這種場景包括像P2P代幣轉移、大量鑄造NFT、投票、在dApp上發送消息等簡單交易。

迅雷CEO陳磊:區塊鏈一定要深入到老百姓當中:迅雷CEO陳磊在接受媒體采訪時表示,“區塊鏈一定要深入到老百姓當中。區塊鏈的發展還在一個相對早期的階段,所以一旦你掌握了區塊鏈的一些正在改進中的技術,那么就能取得領先,但是這些技術必須要和現實場景結合才能有意義。我們希望看到,迅雷生態鏈上能有大量推動實體經濟發展和C端用戶參與的應用,這是區塊鏈發展的核心動力。”[2018/5/20]

對于簡單交易,Sui使用了一種稱為拜占庭一致廣播的演算法,這是一種比傳統共識方法更簡單的演算法,可以消除過多的開銷。 Sui指出,它「針對單寫物件進行優化,允許放棄共識的這種設計以處理簡單交易」。

因為驗證者不需要像傳統共識一樣相互溝通,所以這種演算法讓簡單交易只需消耗比較少的運算資源。

共享物件對應復合交易

在 Sui 上,共享物件是沒有特定所有者的物件,任何人都可以讀取或寫入。這些場景主要包括像自動化造市、開放大眾競標的拍賣或接受任意交易的中央限價單簿等復雜的 DeFi 交易。

在復雜交易方面,Sui采用了Narwhal-Bullshark共識引擎。這個機制有兩個主要組件:Narwhal(Sui的記憶體池)和Bullshark(用來確保交易的排序)。

將Narwhal比喻成一個管家,它會將待處理的交易打包成一個無人領導的圖并標記為「集(collection)」。整個圖形結構允許系統在每一輪中插入交易。最后會生成證書,用以證明各輪次每個?集」當中的資料的可用性。

透過 Narwhal,交易被建立成一個有向無環圖(directed acyclic graph, DAG),就像一個檔案樹,其中活動的順序以圖形方式呈現。

Bullshark優化了Narwhal提供的DAG結構,著重于減少網絡驗證者之間的通訊開銷。

原始的Narwhal和Tusk(Bullshark的前身)論文指出,當Narwhal和Tusk一起使用時,它們可以實現「每秒160,000筆交易,延遲約3秒鐘」的效果。

當 Yuga Labs 的 Otherside NFT 推出時,它曾一度使以太坊網路出現問題。它是史上最大的 NFT 發行之一,數量是其他NFT項目的好幾倍。根據用于進行此次發行的 gas 數據,需求遠遠超出了所有人的預期。這次發行的規模非常大,最終導致Etherscan 網站無法正常運行。

在 Solana 上發生過更糟糕的情況,由于大量 NFT 的創建導致網絡斷線好幾次。

透過這種共識機制,Sui 的驗證者不會像以太坊或 Solana 那樣面臨運算壓力。像 NFT 大量鑄造等交易被分離出來,把它們與 DeFi 活動相關的交易區隔開來,因此不需要共識(譯:也就是不需要全局排序),釋放了驗證者和共識資源,為 DeFi 提供了一個不那么擁擠、穩定的環境,以處理和部署 DeFi 交易。

EVM 的主要限制之一是交易必須依序執行——一次只能執行一筆交易,其他交易必須等待其完成執行。這個模型可能有潛在的有趣用途,但缺乏可擴展性和效率。

平行執行指的是識別獨立的交易,并同時執行它們。然后,按照執行順序來對相依交易進行排序并將其序列化。平行處理的概念很簡單,但其困難點通常在于識別交易之間的相依關系。

Sui 利用 Move 的所有權類型和其自身的物件中心數據模型,明確識別交易之間的相依關系。由于 Sui 上的物件代表可共享的資產,因此可以通過檢查交易是否使用相同的物件來識別相依關系。

正如前面在共識機制段落中所解釋的,拜占庭一致廣播理論上允許Sui水平擴展以滿足應用需求,同時保持每筆交易極低的運營成本。

這種設計突破了現有區塊鏈的一個關鍵瓶頸——它消除了在一系列交易的總排序列表上達成全局共識的需求。

在區塊鏈上,寫入資料和讀取資料之間需要承擔財務成本,這是一個具有挑戰性的問題。以以太坊為例,寫入1MB的數據成本可能高達數萬至數十萬美元。區塊鏈存儲的市場機制還沒有成熟的解決方案,所以它急需一種可行的商業模式。驗證者需要儲存大量數據才能運營區塊鏈網路,通常這些成本將會被轉嫁給終端用戶。

存儲的問題在于時間,這是經濟學家所稱的外部性(externality)。在其他的一些區塊鏈上,舊用戶沒有將存儲成本內部化,導致新用戶間接要為舊用戶先前存放的數據買單。因此,Sui提出了存儲基金代幣經濟模型來解決這一問題。

舉例而言,Alice從Sui網絡剛開始使用時,鏈上儲存的數據量不大,她可以享受較低的gas費用。而Bob等到Sui網絡成熟后才開始使用,由于此時鏈上儲存的數據量較大,他被迫支付較高的gas費用。

Sui的代幣經濟模型旨在永久解決存儲成本的問題。當用戶在Sui上進行交易時,他們要提前支付計算和存儲的費用。存儲費用會存入一個存儲基金,用于調整未來獎勵給予驗證者和委托人的份額。

存儲基金是由過去的交易所資助的,并作為在不同時期轉移gas費用的工具。它包括刪除的這個選項——當用戶刪除先前儲存的鏈上數據時,用戶可以獲得退款。這鼓勵用戶不停思考自己在鏈上儲存的數據是否有必要繼續儲存。

租賃模型通過按期支付結構來讓用戶支付存儲費用,這種設計有利于那些打算在Sui上部署的項目。它引入了一個市場機制,讓用戶依照經濟效益去決定是否釋放存儲空間。具體來說,DeFi協議可以刪除過去已經結束的拍賣紀錄,NFT協議可以刪除不再使用的NFT元數據等。

總而言之

資產導向的程式設計使得Move語言很自然地成為部署DeFi項目的好選擇。技術邏輯方面的各種設計,如存取控制、形式驗證等,為去中心化資產的安全提供了多重保障。

資產和所有權是智能合約的基礎和DeFi的關鍵支柱,但現有的其他程式語言沒有辦法很好地描繪它們。 Move是第一種解決這個問題的智能合約語言。

Sui Move不僅利用了Move的所有權/資產導向程式設計,其基于物件的資料模型設定也為其錦上添花。根據設計,Sui驗證者可以有效地無限擴展網路吞吐量,以滿足開發者的需求。 Sui的可擴展性不僅限于交易處理。儲存也是低成本和水平可擴展的。

通過Move和Sui Move的組合,Typus相信我們選擇了一個出色的基礎設施來定義和建構一個鏈上DeFi原語,從而實現即時和低延遲的交易。

Typus Finance

個人專欄

閱讀更多

金色財經 善歐巴

Chainlink預言機

白話區塊鏈

金色早8點

Odaily星球日報

歐科云鏈

深潮TechFlow

BTCStudy

MarsBit

Arcane Labs

Tags:MOVMOVESUIDEFIMOVON價格MarketMove幣圈去中心化交易所如何借sui幣Clever DeFi

酷幣下載
為什么再談「AI威脅論」是杞人憂天_AXO:Maxonrow

AI對人類構成威脅是永恒的話題,正如核武器威脅、地球生態危機。因此我們首先要破題,“再談”是關鍵詞.

1900/1/1 0:00:00
ETHBeijing初選結果公布 大學生們如何參與Web3技術開發?_區塊鏈:ETH

金色財經記者Jessy 4月5日至4月8日,為期四天的以太坊黑客馬拉松“ETHBeijing”在北京舉行.

1900/1/1 0:00:00
Coinlive街頭隨訪:NFT和一套房子 他們怎么選?_OIN:TWO

一個NFT還是一套房子,你會怎么選?帶著這樣的問題,在由Coinlive開設的一檔街頭訪談欄目《This or That》中,他們來到了新加坡烏節路,隨機采訪了50位參與者.

1900/1/1 0:00:00
RWA敘事涌來 一文探討其優缺點和影響_RWA:mathwallet安全嗎

撰寫:ZERO IKA 編譯:深潮 TechFlow現實世界資產代幣化正成為一個備受關注的領域。通過將實物轉化為數字代幣,現實世界資產可以在區塊鏈上變得可交易、可分割,并為更多人所持有.

1900/1/1 0:00:00
ARB申領盛況空前 Arbitrum生態中的下一個GMX花落誰家_ARB:RUM

前兩天 Arbitrum 剛剛官宣了 137 家獲得Token Airdrop 的 DAO,幾乎包含了顯露出了苗頭的各賽道用例伴隨著3月23日晚擠爆 Arbitrum 基金會官網的 ARB 申領.

1900/1/1 0:00:00
上海升級之后 Layer2龍頭Arbitrum將繼續領跑_ARB:arb幣和op幣哪個值得長期持有

原文作者:Messari - Kunal Goel編譯:BlockTurboArbitrum在3月份推出了ARB代幣空投,受到用戶和支持者的熱烈反饋.

1900/1/1 0:00:00
ads