Facebook發起的加密數字貨幣項目Libra6月18日正式公開亮相。Libra同步發布了多語言官網和白皮書,定位為面向數十億人的全球貨幣和金融服務基礎設施。Libra還發布了多個技術白皮書,詳細介紹了其新開發的編程語言Move和共識協議LibraBFT。Libra源碼已在GitHub開源,測試網絡也已上線。目前設計為許可鏈,其聲稱當前非許可鏈不存在成熟的解決方案能夠支撐數十億人的使用需求,并表明將在發布五年內開始轉向非許可鏈的過渡工作。
Libra的一系列發布中,新的編程語言Move尤為吸人眼球。第一時間看了Move的白皮書,嗯,這也許才是未來智能合約語言該有的樣子。
一位來自柏林的開發者LefterisKarapetsas在社交平臺上提出了自己的觀點:
Theirdesigngoalsseemtooverlap,orevenaimtoreplaceEthereum?
他們的設計目標似乎有些重疊,或者甚至旨在代替以太坊?
PuzzleToLife.com的創始人CryptoPuzzleDream認為:
Ithink"move"programminglanguagereleasedby$FBcouldbemoreinterestingthanlibra
BlueMove:將于8月31日停止在Sei上的運營:8月29日消息,基于Move語言公鏈而設計的多鏈NFT市場BlueMove發推表示,由于Sei當前的交易量低于我們的預期,BlueMove將于72小時后(UTC時間8月31日4:00)停止在Sei Network上的運營,在此期間,我們懇請所有用戶下架其NFT,以防止任何潛在的資產損失。[2023/8/29 13:03:00]
我認為FB發布的“move”語言比libra更有趣。
JamesClark是一名標準極客,他說:
I'musuallyprettyskepticalofanythingrelatedtocryptocurrency,buthere'sonepieceofLibrathatlookspotentiallyinteresting:abytecodeprogramminglanguagecalledMovewithsemanticsinspiredbylinearlogic.
我通常對與加密貨幣相關的任何東西都表示懷疑,但是Libra中有一部分看起來相當有趣:一個被稱為Move的字節碼編程語言,其語義受線性邏輯的啟發。
而我腦子里閃過是這樣一句話:
Move是為「數字資產」而生的智能合約平臺型語言。
MOHome正式登陸MOMOverse:金色財經消息,BSC鏈游項目Mobox完成了對其新的MHOhome功能的alpha游戲測試,并正式登陸MOMOverse。該功能增加了一個新的游戲和賺取機會,因為所有MOHome建設者根據其財產的繁榮評級定期分配MBOX代幣。[2023/1/3 22:21:12]
Move語言的三大用處
發行數字貨幣,Token,和數字資產
靈活處理區塊鏈交易
驗證器管理
自底向上的靜態類型系統
Move采用的是靜態類型系統,類型系統本質上是一種邏輯約束。相比以太坊的智能合約語言來說要嚴格地多。現代的編程語言比如Rust,Golang,Typescript,Haskell,Scala,OCaml都不約而同采用了靜態類型系統,他們的優點是,很多編程低級錯誤都可以在編譯的時候發現,而不是拖到運行期才爆出bug。
Well-typedprogramsnevergetstuck.
這是程序語言領域的一句黑話:一個類型無誤的代碼永遠不會跑飛。意思是,如果一段合約代碼經過了類型檢查,那么可靠性會相當高。
Move也沒有設計成一個100%靜態類型檢查的語言,那樣會降低實用性。Move提到了盡量讓類型檢查在編譯的時刻進行,而不是等部署到鏈上之后。當然有些類型檢查不得不放到運行期,但是仍然可以保證類型安全。
Movella與Pathfinder Acquisition合并,成為美國上市公司:金色財經報道,根據周二提交給美國證券交易委員會的監管文件,元宇宙相關公司Movella將通過與Pathfinder Acquisition Corp.(PFDR)的合并而成為納斯達克的上市公司。據悉,Movella為娛樂、健康、體育、自動化和移動領域的客戶提供與運動跟蹤有關的先進傳感器、軟件和分析。雖然Movella的技術被廣泛用于各個行業,但該公司已經加強了對潛在的Web3應用的關注。
Pathfinder CEO David Chung在文件中說:“Movella具有獨特的優勢,除了在現有市場上已經取得的大幅增長外,它還能為元宇宙、下一代游戲和其他高增長的新興終端市場和應用提供關鍵的使能技術。”(CoinDesk)[2022/10/5 18:39:29]
Move有個非常好的設計思路是,從虛擬機開始就是靜態類型化的,然后往上是一個中間語言層,IR,也是類型化的。將來,Move上層將會提供更多的面向各種金融應用的高級語言,那些語言自然也是靜態類型,保證智能合約不再會發生非常低級的錯誤。
First-classResources理念
First-classResources這個詞相當的學術,中文翻譯過來叫資源是一等公民,這究竟什么意思呢?
Move to Earn應用 STEPN 昨日新增用戶8837人:4月22日消息,據Dune鏈上數據顯示,Move to Earn應用STEPN昨日新增用戶8837人,新增用戶和日活維持較高水平。
此前消息,4月19日,STEPN上線v0.6.3版本更新,新版本支持BNBChain。[2022/4/22 14:41:13]
所謂的編程語言的一等公民就是編程語言在編程的時候首要考慮的被編程對象。
那么資源,Resources又是什么呢?這也是一個很學術的名字。Resources是和Value相對應的概念。Value是可以隨意拷貝的,而Resources只能被消耗,不能被拷貝。Resources就像可樂,你喝了一瓶就少了一瓶,而Value,就好比寫在本子上的英文單詞,每天早上都可以念一遍,念完他不會消失,如果你記住了,那就在腦子里拷貝了一份。不僅你可以念,我也可以念,你可以背,我也可以背。
傳統的編程語言,包括以太坊智能合約語言中,對于數字資產的記賬是采用的Value方式,這會導致一個問題:記賬是有可能記錯的。事實上記錯賬的智能合約相當得多,比如張三向李四轉賬,李四的賬戶多了10塊錢,但是張三的賬戶余額卻沒改。過去兩年里的各種記賬漏洞甚至一度搞得大家已經對智能合約的未來喪失了信心。
動態 | IOST發布支持Facebook Libra的Move語言IDE:據IOST官方消息,IOST節點合伙人純白矩陣為IOST打造的ChainIDE成為全球首個接入Facebook Libra的云端IDE。該工具可以Libra上基于Move編程語言的智能合約和IOST智能合約間的一鍵轉化,也可實現項目間DApp的便捷共享。[2019/6/26]
Move合約采用了一種吸收了傳統理論「線性邏輯」的類型,叫做資源類型。數字資產可以用「資源類型」來定義,這樣一來,數字資產就像資源一樣,滿足線性邏輯中的一些特性:
數字資產不能被復制
數字資產不能憑空消失
First-classResources的真正含義是數字資產是一等公民,這句話可以引申出,Move是為操作數字資產而生的智能合約語言。從技術角度講,數字資產可以作為合約的變量,數字資產可以存儲,可以賦值,可以作為函數/過程的參數,也可以作為函數/過程的返回值。而Move的靜態類型系統使得智能合約代碼能夠在編譯期,也就是部署前就可以通過編譯器檢查出絕大多數的資源使用錯誤。保證智能合約不再像以前那樣的脆弱不堪。
摘用白皮書摘要中的一句話:
First-classresourcesareaverygeneralconceptthatprogrammerscanusenotonlytoimplementsafedigitalassetsbutalsotowritecorrectbusinesslogicforwrappingassetsandenforcingaccesscontrolpolicies.
作為一等公民的資源是一種非常普遍的概念,程序員不僅可以用它實現安全的數字資產,同時也可以編寫正確的業務邏輯,實現正確的訪問控制策略。
合約安全性設計
Move合約在設計時,充分考慮了安全性。首先Move完全不支持動態指派。好,我這里解釋下什么是DynamicDispatch,通俗地說,這是一種非常靈活的語言機制。在程序里面是可以寫很多的函數,或者過程,或者子程序。然后一個主程序可以來調用這些函數/過程/子程序,來分別完成不同的功能。如果程序在運行之前,我們就能知道它到底都調用了哪個函數,或者以某種順序調用很多函數,那么這些函數調用是「靜態」的,如果在運行之前,我們不清楚某一步的函數調用究竟是調用了哪一個函數,直到程序運行的時候,通過觀察,我們才能知道的話,那么這個函數調用被稱為是「動態」的。「動態」顯然要比「靜態」靈活的多。
但是靈活也意味著更容易出問題。現代很多編程語言都或多或少支持動態指派,也就是從語言層面直接支持,比如面向對象語言中的「繼承」導致的「動態綁定」。動態特性是不利于程序的推理,更不利于形式化驗證,也更容易出安全問題。在以太坊智能合約設計中就存在許多「動態特性」,比如支持函數指針做參數,合約做參數,delegatecall等等。而在Move語言中,完全不支持任何形式的「動態指派」或者「動態特性」,所有的合約執行路徑都能在編譯的時候確定,然后可以進行非常充分的分析、驗證。
Move合約在運行前都會經過一個字節碼驗證器進行校驗,這個驗證器可以檢查出各種類型錯誤。同時字節碼在解釋執行的時候,仍然是帶著類型,一邊運行,一邊檢查。
Move語言對合約可修改變量進行了非常嚴格的限制,并且從Rust語言那邊偷師了一些設計理念。保證任何時刻只能由一個指針對可修改變量進行修改,這樣不會造成混亂。以太坊Solidity里面,可以定義很多的指針指向同一個變量,如果代碼邏輯沒考慮清楚,就會很容易出問題。
與以太坊EVM平臺相比,Move模塊系統不支持循環遞歸依賴,完美解決合約重入漏洞。
強悍的模塊系統
Move模塊系統采用的是一種函數式編程語言風格的設計,按照白皮書的說法:
Movemodulesaresimilartosmartcontractsinotherblockchainlanguages.…,However,modulesenforcestrongdataabstraction—atypeistransparentinsideitsdeclaringmoduleandopaqueoutsideofit.
模塊系統可以很好地將數字資產的概念打包封裝,對于數字資產的操作比如通過模塊的公開接口,并且在這個接口上可以做靈活的權限控制。在寫以太坊智能合約的時候,以太坊上的ERC20Token是作為一個合約而存在,而在Move語言中,一個Token可以被想象成一個箱子,被隨意像資源一樣傳遞,但是同時不會暴露箱子內部細節。同時模塊系統的抽象也完全基于它的靜態類型系統,并且類型安全性完全可以由智能合約虛擬機來檢查保證。
Move的模塊系統為智能合約的形式化驗證提供了非常好的基礎,在模塊內部可以定義「不變式」。所謂的不變式是指對數字資產內部狀態的一個嚴格約束,這個約束可以為形式化驗證的自動化提供非常有價值的信息。而且,模塊系統的「不透明抽象」可以使形式化驗證工作變得模塊化,成本更低。在Move模塊系統上編寫程序分析器,符號執行器也會簡單很多,因為經過抽象,可以把合約邏輯變得非常簡單,易推理。
面向未來的Move智能合約
Move雖然看起來還略顯粗糙和稚嫩,但是這個方向仍然讓人激動人心,從Move語言層面可以看到Facebook的野心,是想做一個龐大的數字資產平臺。這個角色本來是應該屬于以太坊。
我為什么有點喜歡上了Move,想了想,大概下面三個原因:
汲取了PL(程序語言)領域研究成果,同時也吸收了EVM智能合約語言的經驗教訓
從設計上無比重視「智能合約安全性、正確性」
沒有墨守成規,而是積極創新,是設計構思真正適合金融應用的智能合約語言
親愛的用戶: 比特國際數字資產平臺共識區即將上線HT,開放HT/USDT交易對。 HT項目介紹 HT為HuobiToken的簡稱,全名為火幣全球生態積分,昵稱:火腿.
1900/1/1 0:00:00DiliDili是現在二次元世界炙手可熱的流量平臺,動漫愛好者親切的稱之為“D站“,而加入了區塊鏈技術的D社從這二次元巨大流量中自然生長而來。創立D社,是現任CEO茍方韜的想法.
1900/1/1 0:00:00尊敬的LBank用戶: 為慶祝?B91上線LBank,回饋社區用戶。LBank將以「余幣寶」的形式,獨家首發B91存幣生息理財產品,并追加?20,000USDT的首發搶購獎勵.
1900/1/1 0:00:00本文章由火幣區塊鏈研究院出品,本報告發布時間2019年6月20日,作者:袁煜明、王蕊、胡智威 摘要 6月18日,Libra項目白皮書和測試網正式發布.
1900/1/1 0:00:00XRP今天在BTC持續飆升大漲接近1000美元的帶動下也開始蓄力上攻,目前幣價已突破近期形成的日線W底上方頸線位壓制0.465美元,量能顯著增強,日線MACD0軸上方金叉后向上逐步發散.
1900/1/1 0:00:006月23日,2019中國數字經濟與區塊鏈應用高峰論壇在合肥萬達文華酒店成功舉辦,在工業和信息化部軟件與集成電路促進中心指導下,本屆活動由合肥市人民政府、安徽省工業和信息化研究院主辦.
1900/1/1 0:00:00