比特幣行情 比特幣行情
Ctrl+D 比特幣行情
ads

MOV:伯克利女程序員硬核詳解 Libra 編程語言 Move 的主要特征及基本語法

Author:

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

原文標題:《WhitepaperDeepDive—Move:FacebookLibraBlockchain’sNewProgrammingLanguage》作者:LeeTingTing,加州大學伯克利分校區塊鏈實驗室研究學者,TuringChain聯合創始人兼首席技術官編譯:Guoxi責編:Aholiab

LeeTingTing,加州大學伯克利分校區塊鏈實驗室研究學者,TuringChain聯合創始人兼首席技術官

自去年礦難以來,業界充滿了對區塊鏈唱衰的聲音,鏈圈有很多人都開始對區塊鏈的價值產生懷疑。而Facebook不斷爆出的區塊鏈項目的消息可謂是給鏈圈打了一劑強心針,盼望著,盼望著,今年6月,Facebook發布了加密貨幣Libra的白皮書并上線了官網。可以預見,Libra離落地不遠了。

Libra以非營利組織的形式管理,其創始成員包括大名鼎鼎的銀行卡巨頭Visa,萬事達,以及傳統在線支付巨頭PayPal,頗有挑戰當下全球金融貨幣體系的趨勢。

Libra最近越來越火。不少開發人員已經開始跟進Libra項目,希望在這個全球性的區塊鏈項目中搶占先機。而Libra的編程語言Move則是開發人員眼中的重中之重。

為了幫助開發人員做好入門工作,加州大學伯克利分校區塊鏈實驗室研究學者,TuringChain聯合創始人兼首席技術官LeeTingTing從開發人員的角度分析了Move語言的典型特征以及它與以太坊Solidity的異同,為我們帶來了這篇Move語言的入門指南。

Move語言的白皮書長達26頁,本篇文章是對該白皮書的精華介紹,文中也會直接放出一些白皮書上的原文。Move是Facebook公司為其加密貨幣產品Libra開發的全新編程語言。

作為開發人員和區塊鏈社區愛好者,希望通過這篇文章幫助你快速入門Move語言。

關于Move

Move是一種用于實現Libra自定義交易和智能合約的可執行的字節碼語言。

它與以太坊Solidity語言有以下兩個區別:

Move是一種字節碼語言,它可以直接在Move虛擬機中運行,而以太坊的Solidity語言是一種更高級別的語言,它需要先編譯成字節碼再加入到以太坊虛擬機中運行。

Sortium 加入加州大學伯克利分校的區塊鏈 Xcelerator 計劃:金色財經報道,Web3 娛樂技術提供商Sortium宣布已被加州大學伯克利分校區塊鏈 Xcelerator 計劃接受,該計劃旨在加速區塊鏈技術的采用全球范圍內。該計劃為選定的團隊提供非稀釋性支持,提供對校園內外資源的訪問,包括教育、指導、交流機會、推銷指導和投資者會議。

Sortium 擁有一支由 web3 工程師、人工智能工程師和一個完整的游戲工作室組成的團隊。該計劃為企業家和研究人員提供機會,從而加速區塊鏈技術的開發和采用。[2023/3/23 13:20:38]

Move語言不僅可以用來實現智能合約,還可以用來實現自定義交易,而Solidity語言只能用來實現以太坊中的智能合約。

Move語言的一個關鍵特性是它能夠定義受線性邏輯啟發的帶語義的自定義資源類型。在這種情況下資源永遠不會被復制或被隱式丟棄,它只能在程序的存儲位置之間轉移。

這是一個與Rust語言類似的特性。Rust語言中的數值一次只能分配給一個命名。如果你將某個數值分配給其他命名則將無法再使用之前的命名訪問到該數值。

就比如說,下面這段代碼將會輸出一個錯誤:使用轉移了的值「x」。

這是因為Rust語言沒有垃圾回收機制。當變量超出范圍時,變量引用的內存也會被釋放。

這樣解釋有點麻煩,為了簡單起見,我們可以這樣來理解,每個數據在同一時間內只能有一個「所有者」。在這個例子中,x是數據初始的所有者,后來y也成了數據的所有者,所以程序會報錯,如下面代碼所示。

在開放系統中編碼數字資產

將現實世界中的物理資產編碼成區塊鏈上的數字資產,主要存在兩大難題:

稀缺性:區塊鏈系統中資產的供應應該受到嚴格管控。應該禁止復制現有的資產,同時也應該禁止普通用戶隨意創建新資產。

訪問控制:區塊鏈系統中的參與者應該能夠使用訪問控制策略保護自己的資產。

這也是所有數字資產都需要實現的兩個關鍵特性,這些特性被認為是現實世界中物理資產的自然表征。就比如說,現實世界中稀有金屬就是很稀缺的,在現實世界中你只能花屬于自己的錢,換句話說就是自己有訪問權限的錢。

加州大學伯克利分校暫停與FTX的足球場冠名權交易:金色財經報道,加州大學伯克利分校已暫停與FTX的足球場冠名權交易,該交易原計劃為期10年,僅持續了450天。該贊助于2021年8月簽署,金額為1750萬美元。它完全以加密貨幣支付,是FTX交易所在大學體育領域的第一個合作伙伴。通過這筆交易,伯克利的California Memorial Stadium足球場被命名為FTX Field。

加州大學伯克利分校發言人拒絕評論哪些加密貨幣是交易的一部分,合作關系的結束是在FTX上周提交的破產申請之后。雖然FTX徽標已從學校足球場的邊線上移除,但該LOGO仍顯示在體育部門網站的首頁上。[2022/11/18 13:19:26]

為了更好地闡述這兩個關鍵特性是如何實現的,讓我們先從以下三個示例說起:

示例1:不考慮稀缺性和訪問控制的最簡單的規則

左邊為交易腳本的格式,右邊為區塊鏈狀態的評估規則

G:=n表示使用加密貨幣數額n來更新賬戶K在區塊鏈全局狀態中存儲的加密貨幣余額。

transaction?Alice,100?表示將Alice的賬戶余額設置為100。

上述的實現方式存在兩個很嚴重的問題:

Alice可以通過不斷發起交易transaction?Alice,100?讓自己擁有無限多的加密貨幣。

Alice與Bob之間的加密貨幣轉賬也變得毫無意義,因為Bob也可以使用相同的手段向自己發送無限多的加密貨幣。

示例2:在數字資產中加入稀缺性

左邊為交易腳本的格式,右邊為區塊鏈狀態的評估規則

現在我們強制要求在交易發起時發起方Ka的賬戶余額至少為交易的金額n。

雖然這種實現方式可以解決稀缺性的問題,但是現在還存在一個問題,就是你可以將任何人的加密貨幣余額轉給自己,這是因為我們還沒有加入對誰能發起交易的檢查,也就是對加密貨幣所有權的檢查。

示例3:在數字資產中同時加入稀缺性和訪問控制

左邊為交易腳本的格式,右邊為區塊鏈狀態的評估規則

加州伯克利利用區塊鏈技術籌集社區資金的項目獲得當地市議會投票通過:據CCN消息,本周二周二,加利福尼亞州伯克利的市議會官員一致投票贊成副市長探索區塊鏈技術的應用以及利用“初始社區發行”(initial community offering)籌集資金以代替傳統的公債發行。[2018/5/4]

為了實現加密貨幣的訪問控制,我們可以在稀缺性檢查之前使用數字簽名機制verify_sig來檢查所交易加密貨幣的所有者,這意味著Alice可以使用她的私鑰來簽署交易并證明她是所交易加密貨幣的所有者。

現有的區塊鏈編程語言

現有的區塊鏈編程語言往往都會被以下問題所困擾,令人欣慰的是,Move語言完美地解決了所有這些問題。主要體現在以下兩方面。

間接地表示資產。有些區塊鏈編程語言使用整數對數字資產進行編碼。這種編碼方式十分牽強,因為這些整數值與數字資產根本就不是一回事。事實上,這些區塊鏈中并沒有任何類型或數值來表示比特幣/以太幣/山寨幣!這使得編寫與數字資產交互的智能合約變得十分笨拙且容易出錯。在這些區塊鏈中實現諸如資產轉入/轉出以及將資產存儲在數據結構中這樣的操作都需要特殊的語言支持。

稀缺性是不可擴展的。這些語言往往只能表示一種稀缺資產。除此之外,稀缺性保護直接在語言語義中進行硬編碼。開發人員如果想要創建一個自定義的資產,遺憾的是他得不到該語言的一絲幫助,他將不得不重復造輪子,重新實現資產的稀缺性。

相信你可能已經看出來了,這些正是以太坊智能合約中存在的問題。ERC-20通證等自定義資產使用整數來表示資產和總供應量。每當生成新的通證時,智能合約代碼必須手動檢查交易是否滿足稀缺性。

此外,資產的間接表示會給區塊鏈帶來很多的問題,就比如說資產復制、資產重復使用、資產意外丟失等漏洞。

當然,除了上面兩點以外,還包括:訪問控制不夠靈活。

這些區塊鏈強制執行的訪問控制策略只有基于公鑰的數字簽名方案。與稀缺性保護一樣,訪問控制策略也被深深嵌入到語言語義中。

如果開發人員想要設置自定義的訪問控制策略,那么他還是會陷入重復造輪子的困境。

加州大學伯克利分校舉辦女性區塊鏈會議:據dailycal報道,本周一,美國加州大學伯克利分校的區塊鏈組織舉辦了一次活動,這是該校的第一次女性區塊鏈會議,有超過350人登記參加。會議旨在通過強調,女性在區塊鏈中主導的研究和項目來賦予女性權力。[2018/4/24]

以太坊也存在這樣的問題。以太坊智能合約缺乏對使用公鑰私鑰密碼學實現訪問控制的本地語言支持。面對這種需求。開發人員不得不手動編寫訪問控制,就比如說使用OnlyOwner函數。

盡管我是以太坊的忠實粉絲,但我堅持認為以太坊在這些資產屬性方面存在欠缺。從安全方面考慮,這些資產屬性本應得到原生的語言支持。

特別是,將以太坊轉移到智能合約中需要用到動態分派(dynamicdispatch,處理編程語言的語言方法調用的一種計算機制),這又會帶來一類新的漏洞:可重入性漏洞。

這里的動態分派意味著代碼的執行邏輯將在代碼運行時確定,而不是在代碼編譯時確定。

因此,在Solidity語言中,當智能合約A調用智能合約B的函數時,智能合約B可能會運行智能合約A的設計者從未預料到的代碼,這可能會導致可重入性的漏洞。

Move語言的設計目標

一流的資源

從較高的層次上來說,Move語言中模塊/資源/程序之間的關系類似于面向對象語言中的類/對象/方法之間的關系。

Move語言中的模塊類似于其他區塊鏈語言中的智能合約。模塊聲明資源類型和程序,而這些資源類型和程序編碼用于創建,銷毀和更新所聲明資源的規則。

模塊/資源/程序只是Move語言中的一些術語。下文中我們將會用一個例子來介紹它們。

靈活性

Move通過交易腳本為Libra增加了很多靈活性。每筆Libra交易都包含一個交易腳本,該腳本實際上是交易的核心。

交易腳本可以用來執行一次性的行為,也可以用來執行可重用的行為。

從上面我們可以看出,Move的交易腳本通過同時支持一次性的行為和可重用的行為為Libra引入了更多的靈活性,而以太坊只能執行可重用的行為。

加州伯克利市考慮做數字貨幣公開融資: 據Bitcoin news報道,伯克利市議會議員本·巴特利特強調,“伯克利是抵抗運動的中心,為了支持抵抗工作,它必須有數字貨幣。”一開始,數字貨幣將作為一種市政債券發行,目的是通過發行最初的貨幣來為該市無家可歸者提供住房。巴特利特先生接著說,“我們認為我們應該召集專家,找到一種方法來為[經濟適用房]融資。”[2018/2/11]

以太坊被稱為「可重用」的原因是智能合約中的函數可以被多次執行。

安全性

Move的可執行格式是一種類型化的字節碼,它比匯編語言更高級但比源語言更低級。在區塊鏈上字節碼驗證器會檢查字節碼的資源,類型以及內存安全性,然后字節碼解釋器會直接執行字節碼。這種設定使得Move在提供與源語言相關聯的安全保證的同時,省去了將源編譯器添加到可信計算基礎(TrustedComputingBase,TCB)以及編譯到交易執行的關鍵路徑的成本。

將Move構建成一種字節碼語言確實是一種非常簡潔的設計。由于它不需要像Solidity一樣從源代碼編譯成字節碼,因此不必擔心編譯器中可能出現的故障或漏洞。

可驗證性

我們的方法是盡可能多地在區塊鏈上執行核心安全屬性的輕量級驗證,但同時我們也在Move語言中加入了對鏈下高級靜態驗證工具的支持。

從這里我們可以看出Move更傾向于執行靜態驗證而不是在區塊鏈上執行驗證工作。盡管如此,正如白皮書末尾所述,Libra團隊未來將會開發完善驗證工具。

模塊化

Move模塊強制執行數據抽象并本地化執行資源的關鍵性操作。模塊啟用的封裝與Move類型系統強制執行的保護相結合,強強聯手可以確保模塊外部的代碼不能違反模塊類型規定的屬性。

這是一個非常好的數據抽象設計!這意味著智能合約中的數據只能在智能合約范圍內修改,而不能在外部修改。

Move語言實操

這個交易腳本的示例說明了模塊外部的惡意開發人員或粗心的開發人員不可能違反模塊資源的關鍵安全不變性。

這一部分中我們將討論在進行Move語言開發時,實際使用到的模塊、資源和程序分別是什么東西。

點對點支付交易腳本

Move語言的點對點支付交易腳本,如下面代碼所示:

amount表示所交易加密貨幣的金額,這些加密貨幣將從交易的發起方轉移給接收方payee。

代碼中有幾個新的符號,其中紅色的小字是我記的筆記:

0x0:存儲模塊的帳戶地址

currency:模塊的名稱

coin:資源類型

程序返回的coin值是一個類型為0x0.Currency.Coin的資源值

move:該值不能再次使用

copy:該值可以再次使用

代碼功能解讀:

在第一步中,發送方從存儲在0x0.Currency的模塊中調用了名為withdraw_from_sender的程序。

在第二步中,發送方通過將加密貨幣的資源值轉移到0x0.Currency模塊的存款程序中從而將資金轉移給收款人。

以下是三種會報錯的代碼示例:

1.通過將轉移加密貨幣move(coin)替換為復制加密貨幣copy(coin)來復制加密貨幣。

資源值只能被轉移。嘗試復制資源值將在字節碼驗證時引起錯誤。

因為coin是一個資源值,所以它只能被轉移。

2.通過兩次轉移加密貨幣move(coin)來重復使用加密貨幣。

在上述的示例代碼中加入一行:

0x0.Currency.deposit,move)

就可以讓發送方兩次花費同一筆加密貨幣,第一次交易的收款人是payee,第二次交易的收款人是some_other_payee。現實生活中的物理資產可以完全杜絕雙重支付,幸運的是,Move也可以做到。

3.忘記執行轉移加密貨幣move(coin)導致加密貨幣丟失。

忘記轉移資源將觸發字節碼驗證錯誤。這種機制可以保護Move開發人員不會有意或無意地丟失資源。

貨幣Currency模塊模塊入門:Move語言的執行模型三個賬戶的區塊鏈全局狀態示例

每個帳戶可以擁有零個或多個模塊和一個或多個資源值。就比如說,地址0x0處的帳戶擁有一個名為0x0.Currency的模塊和一個0x0.Currency.Coin類型的資源值。地址0x1處的帳戶擁有兩個資源值和一個模塊;地址0x2處的帳戶擁有兩個模塊和一個資源值。

需要注意的是:

交易腳本的執行只有兩種結果:成功或是失敗,不會存在中間的狀態。

模塊是在區塊鏈全局狀態中發布的長期存在的代碼。

區塊鏈全局狀態的結構為從帳戶地址到帳戶的映射。

帳戶最多只能包含一個給定類型的資源值,并且最多只能包含一個具有給定名稱的模塊。

所聲明模塊的地址是類型的一部分。

開發人員仍然可以通過自定義的包裝器資源來實現一個帳戶擁有多個給定資源類型的實例。(resourceTwoCoins{c1:0x0.Currency.Coin,c2:0x0.Currency.Coin})

開發人員仍然可以通過名稱引用資源而不會產生任何沖突,就比如說,你可以使用TwoCoins.c1和TwoCoins.c2這兩個名稱引用這兩個資源。

聲明加密貨幣資源:

在名為Currency的模塊中定義一個由模塊管理的名為Coin的資源類型。

需要注意的是:

Coin是一種結構類型,其字段容許的值類型為u64。

只有Currency模塊的程序能夠創建或銷毀coin類型的值。

其他模塊和交易腳本只能通過模塊提供的公共可訪問的程序來寫入或引用值字段。

實現存款操作

這段程序將Coin資源作為輸入,并將其與存儲在收款人payee帳戶中的Coin資源組合,具體的步驟如下:

銷毀輸入的加密貨幣并記錄其數值。

獲取對存儲在收款人帳戶下的Coin資源的唯一引用。

將程序傳遞過來的加密貨幣的數值加到收款人賬戶余額中,并更新收款人賬戶余額。

需要注意的是:

Unpack,BorrowGlobal是內置程序。

Unpack是唯一一種刪除類型為T的資源的方法。它將類型為T的資源作為輸入,刪除它,并返回綁定到資源字段的數值。

BorrowGlobal將地址作為輸入,并返回對該地址下唯一的T實例的引用。

&mutCoin是對Coin資源的可變引用,而不是對Coin。

實現撤銷存款withdraw_from_sender:

這個程序分為三步:

獲取對發送方帳戶下唯一的Coin類型資源的引用。

用輸入的數額減少引用的Coin的數值。

創建并返回值為更新后金額的新加密貨幣。

需要注意的是:

任何人都可以調用存款函數deposit,但撤銷存款函數withdraw_from_sender具有訪問控制策略,因而只能被加密貨幣的所有者調用。

獲取交易發起人賬戶函數GetTxnSenderAddress類似于Solidity語言中的msg.sender。

除非滿足什么條件否則就拒絕函數RejectUnless類似于Solidity語言中的require。如果此項檢查失敗,則當前交易腳本會停止執行,并且它執行的任何操作都不會更新區塊鏈全局狀態。

Pack也是一個內置程序,它主要用來創建一個T類型的新資源。

與Unpack一樣,Pack只能在資源T的聲明模塊中調用。

寫在最后

現在你已經了解了Move語言的主要特征,基本語法以及它與以太坊的差異。

最后,如果你想從事Move語言開發,我強烈建議你閱讀Move語言原始的白皮書。白皮書中包含許多Move語言的設計原則以及許多很好的參考資料。

Tags:MOVMOVE區塊鏈加密貨幣movez幣前景move幣最新消息區塊鏈域名加密貨幣行情英為行情

比特幣最新價格
CTA:量化團隊ABC:策略之間的轉換和互補在市場轉變的時候應是互補 而非共振

各位朋友們,又是一個激情四射的夜晚。我們和金色財經主辦的數字資產交易冠軍聯賽還有不知道的嗎?不知道的看大賽官網:https://fcat.fin-bee.com還記得上次邀請混合組高收益的量化博.

1900/1/1 0:00:00
比特幣:17年大跌行情將要重演?數萬個BTC已轉入交易所

作者|哈希派-LucyCheng文章字數:2100字左右閱讀時間:約2分鐘“2019年比特幣能否再次破萬”;這個年初的期盼,上月給了我們明確的答案.

1900/1/1 0:00:00
比特幣:撿了大便宜?Fortress計劃以每BTC 900美元的價格購買Mt. Gox債權人債權

據Coindesk7月8日報道,Mt.Gox的債權人現在可以選擇將自己的債權賣給堡壘投資集團,從而結束從這家關閉已久的比特幣交易所取回比特幣的長期等待,獲得實實在在的美元.

1900/1/1 0:00:00
DYDX:關于ZT CXC攜手ZT狂撒千枚糖果的公告

尊敬的ZT用戶: CXC上線ZT交易所,攜手ZT雙重大禮,狂撒千枚CXC糖果。 一重禮:競猜答題贏糖果 凡前10000名參與競猜答題的用戶,無論猜對與否即有機會瓜分千枚CXC糖果,答對3題可額外.

1900/1/1 0:00:00
POW:歐洲央行對Facebook的加密項目Libra提出監管警告

據彭博社報道,歐洲央行執行委員會成員BenoitCoeure表示,針對Facebook等美國科技巨頭推出的新金融體系,金融監管機構必須迅速采取行動.

1900/1/1 0:00:00
YTA:YTA超級節點認購開啟 !

尊敬的用戶, BiKiLab將競選YTA超級節點,現面向用戶開啟“超級節點”份額認購。 認購規則及權益: 1、BiKiLab第一期將認購的200萬YTA用于申請超級節點.

1900/1/1 0:00:00
ads