6 月 18 日,Facebook 高調公布了 Libra 白皮書,在全球范圍內引發熱議,Libra 還發布了技術白皮書,詳細介紹了其新開發的智能合約語言
Move 。
Move 橫空出世, 尤為吸人眼球。有人評價,這才是智能合約語言應有的模樣,被很多人譽為 Libra 最大的創新。
簡單地講,比特幣是對貨幣的編程,以太坊是對應用的編程,而 Libra 是對資產的編程,Move 就是對這門資產編程的語言。
所以,要搞懂 Move,先弄清楚什么是 Libra 。
01 什么是 Libra ?
聲音 | 德國財長:對Facebook旗下加密貨幣Libra計劃保持高度質疑:德國財長肖爾茨:對Facebook(FB.O)旗下加密貨幣Libra計劃保持高度質疑,認為貨幣責任應由國家主體擔負。[2019/10/18]
Libra 在英文中是“天秤座”的意思,天秤座象征著平衡與公正。根據 Facebook 公布的項目白皮書,Libra 是“貨幣”和與其對應的金融基礎設施的綜合體,形象地講,可以被看作同時具有支付寶和跨境支付的功能,未來的 Libra 可能具有國內支付、跨境支付、貨幣、證券和金融服務等一系列功能。
Libra 白皮書的技術方案中,采用的智能合約語言就是 Move ,是為操作數字資產而生的智能合約語言。李笑來對 Facebook 的 Move 語言的評價,卻與眾不同:Facebook 又犯傻,用得著專門設計個 Move 語言嗎?
聲音 | Facebook首席運營官:已與監管機構會面,仍有許多工作要做:據悉尼先驅晨報消息,Facebook首席運營官Sheryl Sandberg周三表示,該公司計劃推出的加密貨幣Libra“距離推出還有很長一段路要走”。Sandberg周三在法國接受彭博采訪時承認監管機構對此存在擔憂。她表示:“我們進行了會面。我們知道我們有很多工作要做,公告說明了我們希望通過一個路線圖來讓人們參與進來并幫助我們完成這件事。”[2019/6/20]
設計 Move 語言真的是多此一舉嗎?
現實世界的資產數字化過程中面臨著兩方面的困難:稀缺性和權限控制。
所謂稀缺性就是不允許用戶隨意復制資源;權限控制通俗地講,就是你只能花自己的錢,不能花別人的錢,這在已有的區塊鏈編程語言中得不到良好的支持,一旦出現問題,對于資產將是災難性的,需要通過創建一個新的智能合約語言來解決此類問題。
動態 | Factom或推出穩定幣:據bitcoinexchangeguid報道,Factom團隊表示很快將在市場上發布基于Factom的穩定幣。此外,需要進行研究和測試以確定如何有效地將該技術商業化。該平臺預計將在10月底的德克薩斯比特幣會議期間對該概念進行初步演示。[2018/10/23]
這個智能合約語言之所以叫 Move ,表示區塊鏈上的幣從一個賬戶轉移到另一個賬戶時,也就是實現資產的 Move ,即移動,而不是簡單的 Copy,這樣做的好處是,杜絕了像以太坊之前出現的各種合約記賬的錯誤與漏洞。
還有人聯想,可能與 Facebook 的格言 Move Fast and Break Thing 對應,達到了一語雙關的效果。
02 Move 語言有什么特點?
Facebook Messenger負責人解釋為何禁止數字貨幣廣告:Facebook Messenger副總裁David Marcus本周表示,數字貨幣在他的平臺上不會有任何作用。“現在使用加密技術的支付非常昂貴,超級慢,當這一問題解決了,也許我們會做點什么。”本周早些時候,Facebook禁止所有數字貨幣相關的廣告。馬庫斯解釋到:“我們希望保護社區,這最重要,大部分廣告都是詐騙,我們不能讓平臺存在詐騙。[2018/2/3]
Move 語言的主要設計目標是靈活性、安全性和可驗證性。
1、安全可靠
概括地說,Move 作為一種新的編程語言,作用是為 Libra 區塊鏈提供安全可編程的基礎。提交給 Libra 區塊鏈的每個交易,都使用以 Move 編寫的交易腳本進行編碼。
簡單來說,Move 有三大功能:發行數字貨幣、Token 和數字資產; 靈活處理區塊鏈交易; 驗證器管理。
區塊鏈項目的智能合約語言,安全性是第一位的,不然,你被黑客攻擊了 ,就等于把資產拱手送人,還拿走不謝,甚至會害用戶家破人亡,所以,Move 設計的核心訴求就是安全性 。
在 Move 語言中,所有的合約執行路徑都能在編譯的時候確定,然后可以進行非常充分地分析、驗證。Move 合約在運行前,都會被一個驗證器進行校驗,這個驗證器可以檢查出各種類型錯誤,而且合約執行的時候,還一邊運行,一邊被檢查,所以,Move 合約相對安全。
2、記賬不容易出錯
傳統的編程語言,包括以太坊智能合約語言中,對于數字資產的記賬方式,是有可能出錯的,因為它們就好比你們單位墻上的標語,人人都可以念,導致記賬是有可能重復的。比如,過去幾年里的各種記賬漏洞搞得大家對智能合約的未來喪失信心。
而 Move 合約采用資源類型,數字資產只能被消耗,不允許復制資源,目的是防止意外重復和丟失。就像你手上的蛋糕,吃掉一塊,就少一塊,這樣一來,數字資產就像資源一樣,不能被復制,不能憑空消失。例如某個公司搞營銷活動,就可以在 Libra 中通過 Move 合約產生和驗證優惠券的資產,還可以使用和轉讓。
3、成本更低
在 Move 語言中,一個 Token 可以被想象成一個箱子,像資源一樣進行傳遞,且不會暴露箱子內部的任何細節,這使得運行成本更低。
03 Move 和以太坊的 Solidity 語言有哪些區別?
以太坊的 Solidity 語言,功能強大并且非常靈活,具有良好的適應性和擴展性,但它的硬傷是存在安全風險。安全問題是虛擬數字貨幣的基本要求,也是最大的痛點。
Move 語言,主打安全牌,針對以太坊智能合約中容易出安全漏洞的語言進行了大量的修改,額外添加了一層保護,可以避免很多 Solidity 的漏洞。
Move 語言比以太坊的智能合約語言嚴密,可以在編譯的時候發現編程的低級錯誤,而不是拖到運行期才爆出漏洞,這樣保證智能合約在執行中不會發生低級錯誤。
Move 語言會阻止代表其他用戶發布數據,因此用戶需要確認所發布的所有內容,使他們能夠完全控制選擇共享的信息。
04 小結
雖然,Move 看起來還不夠細膩和成熟,但 Facebook 敢于創新,獨家設計出真正適合金融應用的智能合約語言,甚至可能會成為區塊鏈的“編程范式”的一個良好的開始。
Move 讓智能合約開發者擁有了更大的選擇自由,在安全的前提下,未來的區塊鏈世界將會變得更加豐富多彩,值得每一個人拭目以待。
你認為設計 Move 語言真的是多此一舉嗎?為什么?歡迎在留言區分享你的觀點。
“華語NFT共識聯盟”聯合亞洲新銳藝術家BLACK SUN,在iNFTspace平臺發行了10000個Luna事件NFT——Farty Bear(放屁熊).
1900/1/1 0:00:00在Web2的世界里,社交總是最令人興奮的賽道:短時間內就可能爆發巨大的流量,沉淀的社交關系能夠形成堅固的護城河,層出不窮的功能和內容讓所有人都能獲得新的產品體驗.
1900/1/1 0:00:00本文為Lido團隊發布的最新路線圖,剛剛宣布加入 Lido 擔任戰略顧問的 Hasu 也參與了此次路線圖更新制定.
1900/1/1 0:00:00Cosmos作為早期跨鏈生態,曾一度沉寂,但在過去一年內,隨著生態項目的豐富,Cosmos生態體系迅速崛起,成為跨鏈解決方案中的強勁選手.
1900/1/1 0:00:00在 2019 年的 ETHDenver 會議上,出現了一個名為 POAP 的項目。它是為 ETHDenver 會議創建的,旨在獎勵與會者的出席和對活動的支持.
1900/1/1 0:00:00原文標題:《Chainflip Labs:Pantera Capital 投資的跨鏈交易新協議》Chainflip Labs 是一種基于 Substrate 的去中心化、去信任的協議.
1900/1/1 0:00:00