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則是在語言層面將資產的概念進行了封裝,避免了資產憑空產生和隨意訪問,極大的提高了安全性。
Solana前市場營銷主管以生態系統總監身份加入新公鏈Aptos:7月19日消息,Solana前市場營銷主管Austin在推特上宣布,自己將于下個月正式加入新公鏈Aptos,擔任生態系統總監一職。
據介紹,Austin在web3的大部分職業生涯都專注于孵化和擴展全球社區和團隊。由Diem原團隊成員成立的公鏈Aptos宣布推出2億美元Aptos生態系統資助計劃,預計在9月底左右推出Aptos主網。[2022/7/19 2:21:49]
Move代碼示例先字節驗證,后執行合約與Solidity采用編譯器不同,作為一種可執行的字節碼語言,Move具有內置的安全算法和字節碼驗證器,可以防止許多常見錯誤。Move合約代碼要能被執行,必須先被驗證,這使得合約可以免受編譯器的潛在故障和可能遭遇到的攻擊。Move從一開始就致力于建立規范文化,每個Move模塊都有標準庫。Move開發團隊已經初步開發出專門的驗證器MoveProver,用于合約的驗證。目前,該驗證器運行速度已有較大提升,開發人員可以在幾分鐘內運行測試,使他們能夠快速迭代他們的代碼。2016年造成以太坊的硬分叉的TheDAO事件,就是因為黑客利用了重入(Re-Entrance)攻擊漏洞,這是智能合約中的經典攻擊。有了Resource模型和字節驗證,則不會發生這種攻擊。以Solidity等語言為例,智能合約之間的調用是同一個進程內不同的智能合約虛擬機之間的調用,安全依賴于智能合約虛擬機之間的隔離。
Solidity等語言下,智能合約的安全依賴于智能合約虛擬機之間的隔離Move的做法則是通過MoveVM讓采用Move語言的區塊鏈具備確定性,將合約調用放在同一個虛擬機沙盒中,通過編程語言內部的安全性對智能合約的狀態進行隔離,而非依賴虛擬機進行隔離。
潘志彪:成立成都和北京新公司與拓展新業務相關:天眼查信息顯示,幣印礦池在6月9日、10日新成立了必印(北京)科技有限公司、四川必印超算科技有限公司,均由潘志彪擔任法人。資料顯示,兩家公司的注冊資本分別為1000萬美元和100萬人民幣。
針對此事金色財經采訪了幣印礦池潘志彪,潘志彪表示,成立成都與北京新公司與拓展新業務相關,幣印正在積極拓展礦場、錢包、金融、資管等相關新業務線。潘志彪進一步表示,近期的暴雨對礦場安全存在一定隱患,可能帶來洪水、泥石流等地質災害,對礦場構成潛在威脅。[2020/6/17]
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的聯系和比較
動態 | 前Mt.Gox首席執行官成立新公司:12月2日,前Mt.Gox首席執行官馬克·卡佩雷斯(Mark Karpeles)在日本外國記者俱樂部(Foreign Correspondent Club Of Japan)透露,盡管加密貨幣行業此前存在法律問題,但他正在開始進入區塊鏈技術業務的另一段旅程。然而,這位34歲的電腦神童已經在日本注冊了一家新公司,打算開發一種比現有操作系統更快、更安全的新操作系統。Karpeles于2009年移居這個東亞國家,他承認自己的目標是幫助日本崛起為“區塊鏈的全球領導者”,并重新獲得其在科技領域的地位,多年來,日本在這方面輸給了亞馬遜(Amazon)、Facebook和蘋果(Apple)等美國公司。[2019/12/2]
相較于早在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的數值進行修改。
動態 | LVMH集團董事長否認在比利時設立新公司以投資加密貨幣:LVMH集團董事長兼首席執行官Bernard Arnault否認了有關其在比利時成立了一家公司以投資加密貨幣的報道。今天早些時候,荷蘭媒體De Tijd報道稱,Arnault已在布魯塞爾成立了Abesix Belgique,該公司將從事BTC、BCH、ETH、XRP、LTC和DOGE等加密貨幣的交易。隨后,該媒體更新報道稱“Bernard Arnault正式否認了這一消息”。[2019/8/29]
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生態下的新公鏈建設
動態 | 前比特大陸員工組建新公司,將提供加密貸款等服務:據coindesk報道,負責比特幣現金發展的比特大陸前員工正在籌劃一家新的創業公司,將提供加密貨幣托管、場外交易(OTC)和加密貸款等服務。據知情人士透露,新公司的團隊成員主要來自吳忌寒此前的團隊,有兩名員工來自比特大陸哥白尼項目。目前尚不清楚在此階段有多少前比特大陸員工將參與新的合資企業。第二個消息來源則表示,新公司注冊文件中可能有比特大陸主要股東葛越晟的名字,但不是吳忌寒。[2019/3/8]
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生態,我們將不斷見證這個面向資產編程的語言的魅力,同時也有更多捕獲到新公鏈們帶來價值的機會。原地址
Tags:MOVEMOVSOLAptosmovez幣項目方Movement DAOsol幣2024年未來價格aptos幣價最高
以太坊本次合并后由PoW轉向PoS,能源消耗減少99.95%,每年發行的ETH減少90%左右。在PoS區塊鏈中,驗證者鎖定原生代幣來為網絡提供安全性.
1900/1/1 0:00:00Odaily星球日報譯者|念銀思唐白宮今天發布了“首個負責任的數字資產開發綜合框架”,概述了各聯邦機構在對加密貨幣行業進行了6個月研究后得出的結論和建議.
1900/1/1 0:00:00談到NFT,你的第一印象是什么?一張稀有頭像,一份數字藏品?其實人們對其價值的認可,大多來自于NFT的含義本身:Non-fungibleToken,即非同質化,每份都不相同.
1900/1/1 0:00:00經Odaily星球日報不完全統計,9月5日-9月11日當周公布的海內外區塊鏈融資事件共42起,較前一周有一定增加;已披露融資總額約為9.6億美元,較前一周有大幅上升.
1900/1/1 0:00:00在DigiDaigaku背后項目方LimitBreak完成2億美元大額融資后,FreetoOwn也成為繼PlaytoEarn、FreetoPlay之后最火的鏈游熱詞.
1900/1/1 0:00:002017年9月4日,央行等七部委聯合下發通知,宣告加密金融去中國化的開始。過去五年中,比特幣共識不斷增加,從早期僅為少數大公司接受的支付媒介,發展成為全球多國官方合法貨幣,享有與美元同等法律地位.
1900/1/1 0:00:00