Move語言：我眼中的 Libra 最大亮點_MOV:數字資產類應用案例包括

編者按：本文來自安比實驗室SECBIT，作者：安比實驗室創始人郭宇，星球日報經授權發布。在區塊鏈領域里面，凡是套用傳統方法的方案，無一勝出，唯有創新才有未來。——郭宇相信各位和我一樣，今天被Facebook刷爆朋友圈。Facebook發起的加密數字貨幣項目Libra今天正式公開亮相。Libra同步發布了多語言官網和白皮書，定位為面向數十億人的全球貨幣和金融服務基礎設施。Libra還發布了多個技術白皮書，詳細介紹了其新開發的編程語言Move和共識協議LibraBFT。Libra源碼已在GitHub開源，測試網絡也已上線。目前設計為許可鏈，其聲稱當前非許可鏈不存在成熟的解決方案能夠支撐數十億人的使用需求，并表明將在發布五年內開始轉向非許可鏈的過渡工作。Libra的一系列發布中，新的編程語言Move尤為吸人眼球。第一時間看了Move的白皮書，嗯，這也許才是未來智能合約語言該有的樣子。一位來自柏林的開發者LefterisKarapetsas在社交平臺上提出了自己的觀點：Theirdesigngoalsseemtooverlap,orevenaimtoreplaceEthereum?他們的設計目標似乎有些重疊，或者甚至旨在代替以太坊？PuzzleToLife.com的創始人CryptoPuzzleDream認為：Ithink"move"programminglanguagereleasedby$FBcouldbemoreinterestingthanlibra.我認為FB發布的“move”語言比libra更有趣。JamesClark是一名標準極客，他說：I'musuallyprettyskepticalofanythingrelatedtocryptocurrency,buthere'sonepieceofLibrathatlookspotentiallyinteresting:abytecodeprogramminglanguagecalledMovewithsemanticsinspiredbylinearlogic.我通常對與加密貨幣相關的任何東西都表示懷疑，但是Libra中有一部分看起來相當有趣：一個被稱為Move的字節碼編程語言，其語義受線性邏輯的啟發。而我腦子里閃過是這樣一句話：Move是為「數字資產」而生的智能合約平臺型語言。Move語言的三大用處

Solana生態Move to Earn應用Walken將在6月7日進行公測:6月6日消息，Solana生態Move to Earn應用Walken將在6月7日推出公開測試版，該公開測試版已經可以在蘋果應用商店APPStore和谷歌應用商店Google Play市場中下載，適用于iOS和Android移動操作系統，如果測試順利將在6月底正式發布并上線WLKN代幣。

此前報道，6月2日，Walken宣布完成470萬美元融資，Morningstar Ventures等參投。[2022/6/6 4:04:33]

發行數字貨幣，Token，和數字資產靈活處理區塊鏈交易驗證器管理自底向上的靜態類型系統

Move采用的是靜態類型系統，類型系統本質上是一種邏輯約束。相比以太坊的智能合約語言來說要嚴格地多。現代的編程語言比如Rust,Golang,Typescript，Haskell,Scala,OCaml都不約而同采用了靜態類型系統，他們的優點是，很多編程低級錯誤都可以在編譯的時候發現，而不是拖到運行期才爆出bug。Well-typedprogramsnevergetstuck.這是程序語言領域的一句黑話：一個類型無誤的代碼永遠不會跑飛。意思是，如果一段合約代碼經過了類型檢查，那么可靠性會相當高。Move也沒有設計成一個100%靜態類型檢查的語言，那樣會降低實用性。Move提到了盡量讓類型檢查在編譯的時刻進行，而不是等部署到鏈上之后。當然有些類型檢查不得不放到運行期，但是仍然可以保證類型安全。Move有個非常好的設計思路是，從虛擬機開始就是靜態類型化的，然后往上是一個中間語言層，IR，也是類型化的。將來，Move上層將會提供更多的面向各種金融應用的高級語言，那些語言自然也是靜態類型，保證智能合約不再會發生非常低級的錯誤。First-classResources理念

Move to Earn應用STEPN過去24小時新鑄造鞋子14159雙:金色財經消息，據Dune鏈上數據顯示，MovetoEarn應用STEPN過去24小時新鑄造鞋子14159雙，過去7日新鑄造鞋子72708雙；過去7日活躍用戶131620。

此前消息，STEPN宣布推出限時鑄造激勵活動。活動期間，用戶鞋子鑄造將僅需花費GMT。[2022/5/5 2:52:10]

First-classResources這個詞相當的學術，中文翻譯過來叫資源是一等公民，這究竟什么意思呢？所謂的編程語言的一等公民就是編程語言在編程的時候首要考慮的被編程對象。那么資源，Resources又是什么呢？這也是一個很學術的名字。Resources是和Value相對應的概念。Value是可以隨意拷貝的，而Resources只能被消耗，不能被拷貝。Resources就像可樂，你喝了一瓶就少了一瓶，而Value，就好比寫在本子上的英文單詞，每天早上都可以念一遍，念完他不會消失，如果你記住了，那就在腦子里拷貝了一份。不僅你可以念，我也可以念，你可以背，我也可以背。傳統的編程語言，包括以太坊智能合約語言中，對于數字資產的記賬是采用的Value方式，這會導致一個問題：記賬是有可能記錯的。事實上記錯賬的智能合約相當得多，比如張三向李四轉賬，李四的賬戶多了10塊錢，但是張三的賬戶余額卻沒改。過去兩年里的各種記賬漏洞甚至一度搞得大家已經對智能合約的未來喪失了信心。Move合約采用了一種吸收了傳統理論「線性邏輯」的類型，叫做資源類型。數字資產可以用「資源類型」來定義，這樣一來，數字資產就像資源一樣，滿足線性邏輯中的一些特性：數字資產不能被復制數字資產不能憑空消失First-classResources的真正含義是數字資產是一等公民，這句話可以引申出，Move是為操作數字資產而生的智能合約語言。從技術角度講，數字資產可以作為合約的變量，數字資產可以存儲，可以賦值，可以作為函數/過程的參數，也可以作為函數/過程的返回值。而Move的靜態類型系統使得智能合約代碼能夠在編譯期，也就是部署前就可以通過編譯器檢查出絕大多數的資源使用錯誤。保證智能合約不再像以前那樣的脆弱不堪。摘用白皮書摘要中的一句話：First-classresourcesareaverygeneralconceptthatprogrammerscanusenotonlytoimplementsafedigitalassetsbutalsotowritecorrectbusinesslogicforwrappingassetsandenforcingaccesscontrolpolicies.作為一等公民的資源是一種非常普遍的概念，程序員不僅可以用它實現安全的數字資產，同時也可以編寫正確的業務邏輯，實現正確的訪問控制策略。合約安全性設計

bloXmove與德國知名咨詢公司51nodes達成戰略合作:據官方消息：bloXmove與51nodes達成戰略合作關系。51nodes將大力支持bloXmove構建區塊鏈出行平臺和完善整個移動出行生態系統。雙方將攜手將bloXmove移動出行平臺帶到一個新的高度。

早前，在區塊鏈移動出行平臺還在戴姆勒集團旗下孵化時，雙方就曾在平臺開發和提升平臺對用戶的服務水平等層面進行合作。bloXmove認為不僅是未來的移動出行行業，甚至整個社會都將更趨向數字化、協作化和去中心化。因此，bloXmove致力于將區塊鏈技術更好的在商業層面落地，從而創造真正的價值。作為加密貨幣和商業世界之間的橋梁之一，bloXmove的愿景是為更多的移動出行行業的服務提供商建立基于區塊鏈技術的去中心化移動網絡。51nodes的加入將從前沿的試點項目方面，以其豐富的專業經驗持續不斷與bloXmove合作共贏，共創未來。

51nodes是一家來自德國的知名咨詢公司，曾服務于多家區塊鏈項目，積累了豐富的行業經驗。[2021/8/9 1:43:33]

Move合約在設計時，充分考慮了安全性。首先Move完全不支持動態指派。好，我這里解釋下什么是DynamicDispatch，通俗地說，這是一種非常靈活的語言機制。在程序里面是可以寫很多的函數，或者過程，或者子程序。然后一個主程序可以來調用這些函數/過程/子程序，來分別完成不同的功能。如果程序在運行之前，我們就能知道它到底都調用了哪個函數，或者以某種順序調用很多函數，那么這些函數調用是「靜態」的，如果在運行之前，我們不清楚某一步的函數調用究竟是調用了哪一個函數，直到程序運行的時候，通過觀察，我們才能知道的話，那么這個函數調用被稱為是「動態」的。「動態」顯然要比「靜態」靈活的多。但是靈活也意味著更容易出問題。現代很多編程語言都或多或少支持動態指派，也就是從語言層面直接支持，比如面向對象語言中的「繼承」導致的「動態綁定」。動態特性是不利于程序的推理，更不利于形式化驗證，也更容易出安全問題。在以太坊智能合約設計中就存在許多「動態特性」，比如支持函數指針做參數，合約做參數，delegatecall等等。而在Move語言中，完全不支持任何形式的「動態指派」或者「動態特性」，所有的合約執行路徑都能在編譯的時候確定，然后可以進行非常充分的分析、驗證。Move合約在運行前都會經過一個字節碼驗證器進行校驗，這個驗證器可以檢查出各種類型錯誤。同時字節碼在解釋執行的時候，仍然是帶著類型，一邊運行，一邊檢查。Move語言對合約可修改變量進行了非常嚴格的限制，并且從Rust語言那邊偷師了一些設計理念。保證任何時刻只能由一個指針對可修改變量進行修改，這樣不會造成混亂。以太坊Solidity里面，可以定義很多的指針指向同一個變量，如果代碼邏輯沒考慮清楚，就會很容易出問題。與以太坊EVM平臺相比，Move模塊系統不支持循環遞歸依賴，完美解決合約重入漏洞。強悍的模塊系統

貨幣分析師Abrosimova：黃金準備進一步邁向2000美元:黃金價格已連續6個交易日處于穩定增長軌道上，距離2011年創下的歷史高位1921美元/盎司不過一步之遙。考慮到對全球經濟狀況的持續擔憂，以及日益加劇的地緣沖突，金價將在接下來的交易時段創下歷史新高，而更重要的心理關口是2000美元/盎司。美元走弱，以及全球央行持續寬松也是看漲黃金的因素之一。雖然市場普遍預期周四凌晨美聯儲將維持利率不變，但鴿派言論可能導致美元拋售，屆時黃金可能跳升至1950美元/盎司甚至更高水平。不過，隨著黃金邁向新高，許多交易員也感到憂慮并傾向于止盈。大量賣單可能形成強烈的看跌偏向，并在金價恢復漲勢前將其壓低至1883-1900美元/盎司。但相對強弱指標RSI并未出現反轉信號，意味著多頭仍完全主導市場，金價的向下調整幅度不會太深。[2020/7/27]

Move模塊系統采用的是一種函數式編程語言風格的設計，按照白皮書的說法：Movemodulesaresimilartosmartcontractsinotherblockchainlanguages.…,However,modulesenforcestrongdataabstraction—atypeistransparentinsideitsdeclaringmoduleandopaqueoutsideofit.模塊系統可以很好地將數字資產的概念打包封裝，對于數字資產的操作比如通過模塊的公開接口，并且在這個接口上可以做靈活的權限控制。在寫以太坊智能合約的時候，以太坊上的ERC20Token是作為一個合約而存在，而在Move語言中，一個Token可以被想象成一個箱子，被隨意像資源一樣傳遞，但是同時不會暴露箱子內部細節。同時模塊系統的抽象也完全基于它的靜態類型系統，并且類型安全性完全可以由智能合約虛擬機來檢查保證。Move的模塊系統為智能合約的形式化驗證提供了非常好的基礎，在模塊內部可以定義「不變式」。所謂的不變式是指對數字資產內部狀態的一個嚴格約束，這個約束可以為形式化驗證的自動化提供非常有價值的信息。而且，模塊系統的「不透明抽象」可以使形式化驗證工作變得模塊化，成本更低。在Move模塊系統上編寫程序分析器，符號執行器也會簡單很多，因為經過抽象，可以把合約邏輯變得非常簡單，易推理。面向未來的Move智能合約Move雖然看起來還略顯粗糙和稚嫩，但是這個方向仍然讓人激動人心，從Move語言層面可以看到Facebook的野心，是想做一個龐大的數字資產平臺。這個角色本來是應該屬于以太坊。我為什么有點喜歡上了Move，想了想，大概下面三個原因：汲取了PL(程序語言)領域研究成果，同時也吸收了EVM智能合約語言的經驗教訓從設計上無比重視「智能合約安全性、正確性」沒有墨守成規，而是積極創新，是設計構思真正適合金融應用的智能合約語言

行情 | Gate.io Startup首發區項目MovieBloc今日開通交易 現跌超10%:Gate.io Startup首發區項目MovieBloc（MBL）今日12：00在Gate.io平臺開通交易，其價格在12:34達到最高0.0021美元后出現暴跌，目前已跌至0.001134美元，跌幅達到12.76%。跌幅較大，請做好風險控制。[2019/5/6]

Tags：MOVMOVE數字資產RESmovez幣為什么這么火move幣是什么幣數字資產類應用案例包括Restore Truth Token

以太坊價格