2019年,Meta推出了加密貨幣項目Libra,吸引了整個金融市場的關注,但隨后Libra因監管限制被迫轉型Diem。今年1月底,Diem以約1.82億美元的價格被Meta出售。Meta的Libra和Diem計劃看起來是無疾而終,但卻給加密行業留下了寶貴的遺產——彌補了Solidity及EVM缺陷的Move編程語言以及衍生出的公鏈團隊,比如最具代表性的Aptos、Sui和Linera。Move編程語言從最開始被推出以來,便被不少開發者譽為是最適合區塊鏈的語言。隨著最近Aptos和Sui等超新公鏈的強勢出場,Move語言也被大家廣泛的議論,并不斷被與Solidity和Rust做對比。本篇文章我們將Move語言的金融屬性,智能合約的安全性,靈活性,可組合性,以及Move語言和Solidity,Rust的聯系和比較進行探討,并追蹤建立在Move語言上的新公鏈們的進展。一、Move的兩大優勢
目前最主流的智能合約語言是Solidity,和它相比Move最大的特點是安全,Move從語言、虛擬機、合約調用、合約運行等層面為智能合約提供了全方位安全保障,此外在可組合性方面,Move也提供了更優解決方案。下面將分別介紹Move這兩個最大優勢。1、從底層確保智能合約的安全性
根據慢霧此前的報告,2021年區塊鏈安全事件導致損失超98億美元。作為新興的編程語言,Move語言在安全性上也做了不同層面的突破和創新。正如First-classResources的真正含義是「數字資產是一等公民」一樣,Move是為操作數字資產而生的智能合約語言。相比其他語言,Move對Token資產進行了更為原生,底層的處理。Move語言專門將資產定義為一種Resource,與其他的數據區分開來。在區塊鏈語境下,代幣就是一種Resource,同時Resource數據必須要存儲在賬戶下面,在交易過程中,資產必須要流向一個地方,要么轉移到另一個地址,要么被銷毀,代幣不可被復制或被“雙重使用”。而Solidity和絕大多數編程語言一樣將Token作為數值變量處理,資產只是可以被加減的數字,一個地址的余額減少,另外一個地址余額增加,通過代碼使得減少和增加的數字一致,因此只能通過代碼邏輯確保資產的安全性。Resource則是在語言層面將資產的概念進行了封裝,避免了資產憑空產生和隨意訪問,極大的提高了安全性。
吉利新公司經營范圍含區塊鏈技術相關軟件和服務:金色財經報道,企查查APP顯示,5月13日,杭州競界數字科技有限公司成立,法定代表人為吳勃,注冊資本100萬元人民幣。
經營范圍包含:區塊鏈技術相關軟件和服務;數字文化創意軟件開發;文藝創作;體育賽事策劃等。企查查股權穿透顯示,該公司由吉利關聯公司杭州銘美企業管理合伙企業(有限合伙)等共同持股,疑似實際控制人為李書福。?[2022/5/16 3:18:21]
Move代碼示例先字節驗證,后執行合約與Solidity采用編譯器不同,作為一種可執行的字節碼語言,Move具有內置的安全算法和字節碼驗證器,可以防止許多常見錯誤。Move合約代碼要能被執行,必須先被驗證,這使得合約可以免受編譯器的潛在故障和可能遭遇到的攻擊。Move從一開始就致力于建立規范文化,每個Move模塊都有標準庫。Move開發團隊已經初步開發出專門的驗證器MoveProver,用于合約的驗證。目前,該驗證器運行速度已有較大提升,開發人員可以在幾分鐘內運行測試,使他們能夠快速迭代他們的代碼。2016年造成以太坊的硬分叉的TheDAO事件,就是因為黑客利用了重入(Re-Entrance)攻擊漏洞,這是智能合約中的經典攻擊。有了Resource模型和字節驗證,則不會發生這種攻擊。以Solidity等語言為例,智能合約之間的調用是同一個進程內不同的智能合約虛擬機之間的調用,安全依賴于智能合約虛擬機之間的隔離。
Solidity等語言下,智能合約的安全依賴于智能合約虛擬機之間的隔離Move的做法則是通過MoveVM讓采用Move語言的區塊鏈具備確定性,將合約調用放在同一個虛擬機沙盒中,通過編程語言內部的安全性對智能合約的狀態進行隔離,而非依賴虛擬機進行隔離。
《南華早報》將NFT業務分拆為新公司“Artifact Labs”:3月16日消息,《南華早報》將其NFT業務分拆為新公司“Artifact Labs”。根據一份新聞稿,《南華早報》將繼續成為“Artifact Labs”的股東,并將尋求第三方資本來幫助資助該公司的發展。據悉,其NFT系列基于Flow區塊鏈鑄造,買家可以對某一歷史事件的特定NFT進行競拍,或者購買一盒選定事件的頭版。在上一次拍賣中,該報售出了1000多份NFT,獲得了大約127,000美元的收入。
《南華早報》主席Joe Tsai(蔡崇信)表示,“《南華早報》創建‘Artifact Labs’,探索區塊鏈在媒體方面的應用潛力,對我們這個有118年歷史的組織來說是一個轉型的步驟。”(CoinDesk )[2022/3/16 13:59:53]
Move通過編程語言內部的安全性對智能合約的狀態進行隔離靜態調用減少合約調用漏洞合約的調用方式可以分為靜態調用和動態調用。若程序調用必須在運行時才能確定被調用的目標,則稱該調用為動態調用;反之,在運行前即可確定被調用目標,且在運行時無法變更該目標,則稱該調用為靜態調用。動態調用允許程序里面可以寫很多的函數、過程或者子程序,是一個靈活的語言機制。但靈活也意味著更容易出問題,動態調用不利于程序的推理,更不利于形式化驗證,也更容易出安全問題,例如惡意用戶通過循環調用制造惡意合約,造成多方的損失。Move語言采用靜態調用,所有的合約執行路徑都能在編譯的時候確定,然后可以進行非常充分的分析、驗證。開發者將問題暴露在合約編譯的階段,而非運行階段,降低運行時出現宕機的概率。與以太坊EVM平臺相比,Move模塊系統不支持循環調用,完美解決合約重入漏洞。2、基于模塊的可組合性:效率更高、更靈活
智能合約的可組合性是構建編程語言生態的另一重要特性。Solidity等語言生態的智能合約的組合基本是基于Interface間通過消息傳遞進行的組合。而在Move是基于Module間的組合,通過資源(Resources)的傳遞進行交互。以太坊上,當我們想擴展一些新的行為或者做一些實現上的優化,那我們需要重新定義過往的接口,同時也會影響舊的方法。而在Move中,合約的組合只需要對Module進行升級和優化,所有使用過這個Module的其他合約都會自動使用最新的版本。Move的Module功能類似于以太坊中的合約,但更類似于使用面向對象編程的銀行。Module相當于給智能合約提供了統一的兼容空間,智能合約就像樂高玩具的各個部分,通過任意組合產生新的產品。按照3NJOYLab創始人Flex的解釋,如果以建造一個汽車工廠為例,Solidity的做法是定義了這個工廠的生產標準以及流程,每一個想來造汽車的人都需要先造一個符合生產標準及流程的工廠,然后才能創造汽車。而Move的方式是工廠就只有一個,想要造汽車的人使用這一個工廠就能造出來大家都認可的汽車。Move通過Module間的組合,一方面,節省了合約占用的區塊空間,一方面,讓升級變得更加容易。同時,由于Module系統沿用了線性邏輯,可以很好地將數字資產的概念打包封裝,并非常明確的將資源的定義和資源相關的行為進行拆分,這種面向資源的編程帶來的表現力與可擴展性是其他語言無法帶來的。二、Move和Solidity,Rust的聯系和比較
建科院:會積極利用區塊鏈以提升和創新公司服務:4月22日,建科院(300675.SZ)在互動易回復投資者時表示,公司在雄安積極為新區提供綠色發展相關服務。根據新區建設的需要,公司也會積極利用區塊鏈技術以提升和創新公司的服務。[2020/4/23]
相較于早在2014年就發布的Solidity,Move在區塊鏈開發領域還是一種非常年輕的開發語言,需要更多的時間來證明它是一種足夠安全并且不容易報錯的區塊鏈開發技術選項。Move和Solidity的主要區別
1、在金融屬性上,Move將資產作為一種Resource,對區塊鏈最核心的Token資產進行了更為原生,底層的處理。2、在合約的靈活性上,Move可以創建一次性指令。Move語言中的模塊與以太坊智能合約有相似之處,但又不完全一樣:比如在基于Move編寫的Libra中,模塊包含了代碼,而數據則是在Resource中。從目標導向來說,任何一個基于Solidity的以太坊智能合約就像是一個發布在單一賬戶地址下的單例對象。而在Move環境下,單一模塊充當了一個創建resource的配方,但是任何單獨模塊都可以用來創建可發布在不同賬戶地址下任意數量的resource,這也體現出Move的模塊性的靈活。3、在安全性上,MoveVM采用語言層面的隔離,而非虛擬機方面的隔離。Move采用了靜態調用,形式化驗證。同時,為創建數字資產而設計創造的Move旨在用于開發出可定制化的交易邏輯,因此基于Move的每一筆資產都具有原生稀缺性,是獨一無二的,并且擁有對應的訪問控制屬性。相比之下,Solidity并沒有原生稀缺性檢查,當有新代幣生成時,開發者必須通過手動查詢其稀缺性是否滿足,即代幣的總供應量是否滿足;并且,Solidity也不具有原生的訪問控制檢查,開發者必須另外創建像onlyOwner這樣的修飾器。在Move環境中,對于任一智能合約中的數據只能在該合約范圍內進行修改,而無法通過外部合約進行修改;而在Solidity中,數據修改并不限于所在智能合約內。因此相比Move中對于合約內數據的修改范圍限制,Solidity少了一層安全保護。對于所謂的修改范圍限制,可以用下面一段代碼舉例說明:只有在Currency模塊范圍內可以對Coin的數值進行修改。
動態 | 前Mt.Gox首席執行官成立新公司:12月2日,前Mt.Gox首席執行官馬克·卡佩雷斯(Mark Karpeles)在日本外國記者俱樂部(Foreign Correspondent Club Of Japan)透露,盡管加密貨幣行業此前存在法律問題,但他正在開始進入區塊鏈技術業務的另一段旅程。然而,這位34歲的電腦神童已經在日本注冊了一家新公司,打算開發一種比現有操作系統更快、更安全的新操作系統。Karpeles于2009年移居這個東亞國家,他承認自己的目標是幫助日本崛起為“區塊鏈的全球領導者”,并重新獲得其在科技領域的地位,多年來,日本在這方面輸給了亞馬遜(Amazon)、Facebook和蘋果(Apple)等美國公司。[2019/12/2]
Move的Module屬性4、在性能上,Move作為一種解釋性語言,它的每行代碼都需要在運行中單獨進行評估。由于Move代碼需要在運行中進行評估,Move的性能表現可能不如Solidity以及其他編譯語言。不過,這也避免了Solidity中常見的bug,是出于安全性考慮的一種折衷策略。目前,完全基于Move所構建的區塊鏈生態還十分有限,并且用Move所創建的智能合約暫時也無法移植到現有的其他區塊鏈。盡管如此,開發者可以通過在EVM中運行大多數應用程序,并在Move中做出對應的必要修改來替換舊程序。Move和Rust之間的聯系
另外,在我們比較Move和Solidity的同時,也需要提及與Move十分接近的Rust,或者更準確的說,Move是建立在Rust的基礎上,但又不同于Rust的一種新語言。Rust首次發布于2011年,比Solidity更早,并且不同于經常出現安全性問題的Solidity,Rust的誕生同時兼顧了安全性和運行性能,從代碼語法上來看,Rust接近于傳統編程語言C++,所以具有高效的運行性能,但又為內存提供了安全保障。Rust是Solana生態開發者的必學語言。在開發過程中,Rust環境中的bug可以在程序匯編時被發現并消除,這一點與使用Move開發時,在運行中逐行評估代碼、避免產生bug,異曲同工。而且,Move中的模塊與resource也和Rust環境下內置的依賴項管理器Cargo有著相似之處。正因為Move與Rust的緊密聯系,很多Solana生態中熟練使用Rust語言的開發者都開始往像Aptos和Sui這樣基于Move的新興區塊鏈生態進行遷移。三、MOVE生態下的新公鏈建設
動態 | Facebook加密貨幣獲Coinbase等數十家新公司支持:據cointelegraph援引The Block的報道,Facebook又獲得了數十家新公司對其加密項目的支持,包括風險投資公司Andreessen Horowitz和Union Square Ventures,加密貨幣交易所Coinbase以及包括Mercy Corps在內的非營利組織。此外還有來自各行各業的利益相關者,包括電信,電子商務和媒體。據昨日報道,Facebook已經獲得了包括Visa、萬事達卡、PayPal和Uber在內的十幾家公司的支持。據報道,Facebook計劃在下周宣布Libra協會創始成員的完整名單。一位熟悉此事的消息人士表示,該公司的目標是在管理財團中吸引100名成員。如果一切按計劃進行,據稱Facebook將從100名參與者那里獲得10億美元資金。[2019/6/15]
Move生態下已有Aptos,Sui,Linera,Starcoin等公鏈部署,它們都在Move語言的基礎上做了自身的拓展。本章節將對Aptos,Sui,Starcoin進行介紹。Aptos
項目簡介Aptos起步于今年2月初,團隊的開發人員有Diem的創始團隊成員和核心開發者,團隊對于Aptos的構想與對Diem的構想有高度的相關性,開發Aptos一定程度上是對Diem開發的延續。Aptos主打Layer1上的交易的并行執行,以及高性能,試圖用一條鏈解決去中心化、安全、高性能這組「不可能三角」。當前該網絡每秒可處理1萬筆以上的交易,理想狀態下,Aptos主網每秒可處理16萬筆交易。Aptos此前拿到了3.5億美金的投資,現在屬于Move系公鏈中進展最快的。Aptos上的Move語言Aptos通過適配器層擴展了核心MoveVM的附加功能,其中包括通過Block-STM實現的并行性,無需用戶輸入即可并發執行事務,用于在帳戶中大規模存儲、存儲密鑰的表,以及解耦的細粒度存儲在帳戶中的數據量會影響與帳戶相關的交易的GasFee。開發進展今年3月Aptos啟動了開發者測試網,5月Aptos啟動激勵測試網注冊,并將激勵測試網分為4輪:「去中心化啟動」、「質押」、「治理和升級」以及「動態驗證器拓撲」。當前其測試網絡已經達到了2萬多個節點,使其成為當今最大的已知權益證明節點社區。Aptos第三輪激勵測試網活動AIT-3將8月30日正式啟動,9月9日測試結束,Aptos主網將于今年秋季上線。生態發展今年6月底,Aptos推出了2億美元的生態系統資助計劃,吸引了超過100個項目在Aptos構建。從生態布局來看,Aptos仍以基礎設施建設為主,部署應用的場景多是錢包、DEX和借貸協議等產品,值得關注的有超并行CLOB協議Econia、移動多簽錢包hive、可集成應用程序的加密錢包Martian、借貸協議NjordFinance、交易聚合器HippoLabs、AMM交易應用PontemNetwork等。Sui
項目簡介Sui是由前Meta工程師創立的MystenLabs建立,引入了不可變狀態,試圖在Move中實現類似UTXO的編程模型。Sui專注于高TPS和低延遲,沒有設置TPS上限,具有良好的擴容能力,降低用戶的交易成本。在今年3月的測試當中,Sui的TPS達到12萬。Sui正在以20億美元估值完成至少2億美元的B輪融資。項目特性鏈上存儲及其擴展性。SuiMove中沒有全局存儲,存儲只發生在Sui存儲內,而不是Move存儲中。Sui的存儲低成本且可水平擴展,使開發人員能夠定義具有豐富屬性的復雜資產。高性能&高擴展性:Sui橫向擴展以滿足應用程序的需求。MystenLabs表示,Suiauthorities理論上可以有效地無限擴展網絡吞吐量,以滿足建設者和創造者的需求。截至2022年3月19日,在8核M1MacbookPro上運行的未優化單一workerSuiauthorities可以每秒執行和提交12萬個代幣傳輸事務(TPS)。開發友好:MystenLabs還將發布SuiDeveloperKit開源工具包,讓開發者減少調試智能合約、等待審核或構建基本技術堆棧元素的時間。SuiDeveloperKit的三個構建模塊包括游戲SDK、引導社區的SDK和HandshakeSDK。Sui上的Move語言Sui在使用Move時,它對Move的核心功能進行了某些更改,尤其是在全局存儲運算符和關鍵能力方面。這些更改保留了Move的安全性和靈活性,但優化了存儲和地址機制,從而提高了網絡性能并減少了交易確認時間。開發進展Sui于5月上線Devnet,允許開發者使用Sui網絡,截至7月已有超5000個節點在Devnet上運行。本月,Sui將啟動激勵測試網,目前已啟動激勵測試網注冊。測試網將分為:網絡、質押、升級等不同階段。生態進展目前公開信息的項目有8個,類別涵蓋錢包、NFT、鏈游、元宇宙等。從目前項目布局、Sui對游戲提供解決方案來看,NFT和鏈游有望成為其生態比較有特色的板塊。Starcoin
項目簡介Starcoin基于增強版PoW共識機制,是較早在Move上部署主網的新公鏈。Starcoin在探索Layer2乃至Layer3的分層擴展模式,具有較好的可擴展性,狀態能夠安全無縫轉移,數據能夠輕松快速擴容,擁有較低的延遲和較好的操作性。開發進展Starcoin于2021年5月上線主網,Starcoin主網目前已穩定運行一年多時間。StarcoinLayer2將于今年9月提供測試網絡。生態發展Starcoin生態包括錢包、CEX、DEX、礦池、穩定幣、NFT、鏈游等七類,主要圍繞STC挖礦,交易等展開。代幣STC是Starcoin的原生代幣,發行總量為3,185,136,000STC,總量恒定。主要用途有1.支付交易的gas費用2.支付狀態空間費用3.用于鏈上治理投票。STC的代幣經濟模型顯示,國庫是經濟模型的中心,國庫將區塊獎勵分發給礦工,將國庫資金分給DAO,礦工和DAO將STC投入生態,鏈上生態收益最后回歸國庫,實現經濟模型自舉。結語
總體來說,Move面向金融屬性的智能合約框架使得其與支持去中心化金融應用的部署天然適配。Move語言在智能合約的安全性,可組合性,以及靈活性上的創新為其生態發展,DeFi、NFT等去中心化資產的安全等提供了多方位的支持與保障。我們相信,有著強金融機構背書和強技術背景支撐的Move語言以及Move系新公鏈,將會給區塊鏈行業帶來全新的敘事。隨著越來越多的開發人員,行業資源進入到Move生態,我們將不斷見證這個面向資產編程的語言的魅力,同時也有更多捕獲到新公鏈們帶來價值的機會。原地址
英國《金融時報》報道,私募股權基金ThomaBravo的聯合創始人OrlandoBravo認為加密產業的道德標準不高且會暫停投資,但如果要投資的話,會續投FTX.
1900/1/1 0:00:00以太坊本次合并后由PoW轉向PoS,能源消耗減少99.95%,每年發行的ETH減少90%左右。在PoS區塊鏈中,驗證者鎖定原生代幣來為網絡提供安全性.
1900/1/1 0:00:00距離以太坊合并還有不到6小時,這條被視作下一代互聯網Web3.0底層基礎設施的區塊鏈網絡將徹底改變共識機制,從工作量證明的PoW機制轉向權益證明的PoS.
1900/1/1 0:00:00FTX是一個虛擬貨幣交易所,平均日交易量達100億美元,日注冊用戶超過600萬。2019年FTX開局不利僅收入720萬美元,但是僅僅用了36個月,公司的估值便增長了4000%,飆升到320億美元.
1900/1/1 0:00:00以太坊合并事件于9月15日13時46分順利完成,此次合并事件也是加密歷史上最重要的轉折點之一,標志著以太坊從工作量證明(Proof-of-Work)向權益證明(Proof-of-Stake)共識.
1900/1/1 0:00:00ArtGobblers是一個“由外星人擁有”、有著獨特文化的去中心化藝術工廠,也是一款鏈上游戲。其特別之處在于應用了Paradigm最新提出的漸進所有權優化模型.
1900/1/1 0:00:00