作者|SecondState
Libra火了,火得一塌糊涂。
一個原因是其被爭相討論的「建立一套簡單的、無國界的貨幣和為數十億人服務的金融基礎設施」光榮使命。朋友圈刷屏、社群刷屏,線上線下專家PK、xx論劍,支持、質疑、反對,「Libra太牛了」、「Libra被吹得太牛了」。
另一個原因,伴隨其出生的Move語言也是一大亮點。不管Libra的「光榮使命」是否可以實現,但在另一陣地,在GitHubTrending榜單上,基于Rust語言搭建卻又發布Move語言的Libra確實是實實在在地火了,不知不覺就沖上了GitHub日活第2名......
圖片來源:https://github.com/trending?since=daily
那么問題來了,你認為Libra最大的亮點是什么?
可以說,Libra也許是目前為止本年度區塊鏈領域最受期待、最多討論的新聞了。
根據Libra白皮書描述的「建立去中心化的全球貨幣」的目標,該項目有著非常野心勃勃的加密經濟學設計管理規則,同時其聯盟中的合作伙伴也非常重磅。
包括VISA、ebay和Coinbase在內的29個首批合作伙伴
MetaMask Swap功能已集成去中心化交易協議Hashflow:8月24日消息,MetaMask宣布其MetaMask Swap功能已集成去中心化交易協議Hashflow,該功能可以在聚合器、做市商和DEX中以最低的網絡費用找到最佳價格。[2023/8/24 10:40:03]
Libra區塊鏈是一個去中心化的可編程的數據庫,其被設計成用于支持一個波動性低的加密貨幣,它能作為有效的交換媒介服務世界上幾十億人。
——Libra白皮書
但作為技術人員,我們對于其運用區塊鏈技術的方式最感興趣。
為什么Libra項目要求有自己的一條區塊鏈呢?對于應用程序開發者來說機會在哪里?對于企業以及傳統的IT公司而言,從中可以得到哪些推斷?我們將分三篇文章來討論這幾個問題。
1、Libra應用程序開發方法;
2、深度解析Libra項目的核心應用;
3、如何基于Libra開發一款應用程序?
本文為系列文章第一部分,一起來看吧。
智能合約先行
Libra項目中最引人矚目的設計功能之一,就是其智能合約先行的策略。就算是像以太坊這樣的智能合約平臺,智能合約的執行僅僅是一種交易的類型。以太坊原生操作仍然是幣的交易。而Libra不同。智能合約是Libra上的一等公民。
摩根大通:Coinbase加密期貨的批準使比特幣在美國合法化:金色財經報道,摩根大通分析師表示,美國商品期貨交易委員會(CFTC)授權Coinbase開放基于加密貨幣的期貨交易,這表明了數字資產在美國的抗風險能力。此舉將在未來兩年內為Coinbase開辟數億美元的新收入來源。
鑒于衍生品在整個交易活動中所占的份額很高,NFA 的批準加強了長期增長的潛力,在監管不確定性減少后,監管壓力最終可能使Coinbase受益,使其獲得競爭優勢。[2023/8/18 18:08:34]
通過LibraCore內部組件寫智能合約的流程
Libra區塊鏈本身是用Rust編寫的,但是Libra上的應用程序是使用新的編程語言Move來編寫。所有來自外部的區塊鏈互動都由Move程序來處理,在Libra上,即便是一個幣的轉賬,也是由Move程序來處理的。每一個Libra節點都會運行一個虛擬機。虛擬機執行程序,并且記錄共識達成后的結果。筆者認為智能合約先行的方式能夠讓Libra項目建立起一個功能多樣的基礎設施,這也能適用于未來的需要。
為什么使用Move編程語言
那么,為什么我們需要一種新的編程語言?是因為安全和性能的要求。Libra要建造一條新的鏈,因為目前市場上的區塊鏈解決方案沒有辦法滿足其對性能和安全的要求。
前Coinbase高管創立的Parcha AI完成500萬美元種子輪融資,Kindred Ventures等參投:8月9日消息,由前 Coinbase 高級產品總監 AJ Asver 創立的生成式人工智能金融科技初創公司 Parcha AI 宣布完成 500 萬美元種子輪融資,Kindred Ventures 和 Initialized Capital 以及天使投資人 YC 總裁 Garry Tan、Datadog 總裁 Amit Agarwal 和 Google 產品副總裁 Bradley Horowitz 等參投,資金將用于繼續構建其產品并雇用更多員工。
Parcha AI 主要幫助包括加密公司在內的金融科技企業實現體力勞動自動化,利用大型語言模型處理欺詐檢測、了解業務合規性、客戶獲取等操作,目前其客戶包括加密支付公司 Bridge 和美國金融服務和技術公司 Brex。[2023/8/9 21:33:27]
Facebook和Libra想要建立專注于支付和資產數字化的區塊鏈,因此他們創造了Move編程語言,內置了對不可更改且不可復制的資產的支持。Move編程語言是一個用于數字資產管理的DSL。
比特幣在加密方面成就非凡,能夠在數字世界創建無法復制的東西,有著非常巨大的價值。
LINA未平倉合約總額已達1.8億美元,超過其市值:金色財經報道,據Coinglass數據顯示,LINA未平倉合約總額已達1.8億美元,超過其1.4億美元的市值。[2023/6/2 11:54:37]
——艾里克斯米特,谷歌主席
Move編程語言的名字來自于Move本身支持的基礎操作器。Move操作器負責移動資產。Move消除了原本常見的兩步操作:減掉前面一個賬戶的余額,然后加到另外一個賬戶。Move語言將資產與資源放在一等公民的地位。當然,Move語言也有其他重要的特性,使其在資產管理方面更加安全,更加健壯。
1publicdeposit(payee:address,to_deposit:Coin){2letto_deposit_value:u64=Unpack(move(to_deposit));3letcoin_ref:&mutCoin=BorrowGlobal(move(payee));4letcoin_value_ref:&mutu64=&mutmove(coin_ref).value;5letcoin_value:u64=*move(coin_value_ref);6*move(coin_value_ref)=move(coin_value)move(to_deposit_value);7}
Meta與歐萊雅合作推出Web3加速器項目:金色財經報道,Meta與化妝品牌歐萊雅以及法國商學院HEC Paris達成合作關系,推出一項Web3創業加速計劃。該計劃旨在幫助專注于3D制作、AR、VR、混合現實、頭像創建、用戶體驗的可移植性、Token 經濟或其他與元宇宙和 Web3 相關的主題的企業。至少有五家企業將參與其中。[2022/10/25 16:38:10]
Move操作器,存款代碼
1publicwithdraw_from_sender(amount:u64):Coin{2lettransaction_sender_address:address=GetTxnSenderAddress();3letcoin_ref:&mutCoin=BorrowGlobal(move(transaction_sender_address));4letcoin_value_ref:&mutu64=&mutmove(coin_ref).value;5letcoin_value:u64=*move(coin_value_ref);6RejectUnless(copy(coin_value)>=copy(amount));7*move(coin_value_ref)=move(coin_value)-copy(amount);8letnew_coin:Coin=Pack(move(amount));9returnmove(new_coin);10}
Move操作器,取款代碼
Move編程語言是靜態的,并且由編譯器工具來發現錯誤和潛在的問題。
Move源代碼被編譯為由虛擬機執行的靜態的IR(intermediaterepresentation)代碼。IR代碼由工具進行檢查并驗證是否正確。
1publicmain(payee:address,amount:u64){2letcoin:0x0.Currency.Coin=0x0.Currency.withdraw_from_sender(copy(amount));30x0.Currency.deposit(copy(payee),move(coin));4}
實際上,目前的Libra資料僅僅有MoveIR代碼的案例。Move源代碼的細節,在撰寫本文時還未公布。
Move編程語言和虛擬機是Libra項目的關鍵創新之處,但是Move編程語言與傳統的Solidity和Vyper智能合約語言,以及EVM和WebAssembly區塊鏈虛擬機相比,所做出的妥協有哪些呢?
犧牲圖靈完備性
大多數DSL特定語言系統都會就具體的任務進行優化,因此并不適用于廣泛意義上的計算。Libra并未直接表示Move編程語言是不是一個圖靈完備的體系,但是,Move專門針對金融交易進行優化,Move系統可能并不適合用在開發加密貨幣游戲或。
也就是說,Libra軟件對于大多數企業智能合約用例來說并不合適。但還有其他的方面,Move編程語言在很大程度上不是智能合約。
Move程序不是智能合約
Move程序必須進行編譯,并且集成到一個Libra節點軟件當中,對普通用戶來說才是可用的。Libra區塊鏈如果要支持新的Move程序,必須要暫停整條鏈,并且所有三分之二的驗證人節點進行軟件升級,才能夠支持同樣的Move程序,這在本質上意味著,每次要添加新的Move程序到區塊鏈,都要進行硬分叉,期間伴隨著區塊鏈服務暫停。這不是智能合約,而是chaincode。
智能合約的一個決定性的特點就是它有能力按照要求在區塊鏈在并不需要暫停服務的情況下,通過共識,部署并且執行新代碼,這對于企業區塊鏈或者是公鏈來說非常重要。
公鏈必須允許任何人在不需要得到授權也不需要暫停服務的情況下部署并執行智能合約代碼;
企業級的區塊鏈特別需要使用智能合約來創造自動化的商務決策。比如在不同幾方之間,進行擔保交易。雇員與合伙人必須能夠按照實際需要來修改和部署智能合約,同時不需要暫停整條鏈。
Libra項目作為一個專注于金融交易的準入式區塊鏈,它的最初的方案,是使用不可更改的chaincode。這樣能夠讓整個系統更加安全,而且更加穩定,因為所有的Move程序都會至少要得到100個驗證人節點中的67位的檢查和允許。但是Libra項目所聲稱的目標是在接下來五年當中,進化成一條公鏈。我們相信Move架構會與區塊鏈共同進化。
寫在最后
在本篇文章中,我們聚焦討論了Move編程語言以及由其驅動的智能合約。當然,Libra還有其它很有意思的技術創新。比如以下值得關注的點:
以太坊每個節點都維護了一個全球性的數據庫,在每個區塊更新之后,數據庫也會跟著更新;而Libra與以太坊不同,Libra的數據庫是基于不同版本的,Libra的狀態數據庫在每個交易完成后得到更新。對Libra來說,相較交易的概念而言,區塊的概念沒有那么重要。
Libra區塊鏈最初的性能目標是每秒1000筆交易。很顯然,這對于一個全球性的支付企業或者全球性的電商場景而言,已經足夠了,因為VISA平均TPS也僅僅在1700左右。Libra沒有不切實際、不負責任地吹噓百萬TPS。
在接下來的兩篇文章中,我們將提供對Move程序的深度解讀,并向讀者展示Move語言具體是如何工作的。敬請期待。
6月25日,巴比特學院正式宣布聘任知名經濟學家、數字資產研究院院長朱嘉明出任數字經濟領袖班開班教務長,參與數字經濟領班的教研工作,逐步公布最新研究成果,探求“產學研”的落地應用.
1900/1/1 0:00:00GOKO交易所又雙叒叕推出新的糖果空投活動,這次“GOKO糖果季·第七期”帶著USDQ空投來給大家送福利了.
1900/1/1 0:00:00LTC看漲期權 代碼周LTC看漲0702期權標的LTC合約類型歐式看漲期權計價單位USDT最小價格單位0.0001USDT合約比例20:1.
1900/1/1 0:00:00數字穩定幣供應商TrustToken今天宣布推出首款與亞洲貨幣港幣掛鉤的穩定幣據cryptoninjas報道,數字穩定幣供應商TrustToken今天宣布推出首款與亞洲貨幣港幣掛鉤的穩定幣.
1900/1/1 0:00:006月22日,比特幣價格終于突破1萬美元關口,幣友們紛紛在朋友圈和微信群奔走相告,歡呼慶祝,甚至有幣友改編了美國前總統肯尼迪在1962年發表的激動人心的登月演講,給自己充值信仰.
1900/1/1 0:00:00分析師|郭興華 近日,依托全球最大社交平臺Facebook,天秤座網絡發布Libra白皮書。此舉引發區塊鏈社區的廣泛討論和社會各界的普遍關注.
1900/1/1 0:00:00