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則是在語言層面將資產的概念進行了封裝,避免了資產憑空產生和隨意訪問,極大的提高了安全性。
新公鏈Linera發布白皮書,引入在同一組驗證器中并行操作多鏈的想法:12月20日消息,由前Libra員工創立的新公鏈Linera今日發布白皮書。白皮書介紹,Linera引入了在同一組驗證器中并行操作許多鏈(可能數百萬條)的想法“微鏈”。在Linera中,可擴展性是通過添加鏈來獲得的,而不是通過增加塊的大小或速率來獲得的。
Linera鼓勵用戶運營自己的微鏈。當微鏈由單個用戶操作時,Linera使用受可靠廣播啟發的簡化的無內存池共識協議。Linera創始人兼首席執行官Mathieu Baudet是Meta前員工并曾幫助創建Libra區塊鏈。
金色財經此前報道,Linera曾于今年6月底完成a16z領投的600萬美元種子輪融資。[2022/12/20 21:56:02]
Move代碼示例先字節驗證,后執行合約與Solidity采用編譯器不同,作為一種可執行的字節碼語言,Move具有內置的安全算法和字節碼驗證器,可以防止許多常見錯誤。Move合約代碼要能被執行,必須先被驗證,這使得合約可以免受編譯器的潛在故障和可能遭遇到的攻擊。Move從一開始就致力于建立規范文化,每個Move模塊都有標準庫。Move開發團隊已經初步開發出專門的驗證器MoveProver,用于合約的驗證。目前,該驗證器運行速度已有較大提升,開發人員可以在幾分鐘內運行測試,使他們能夠快速迭代他們的代碼。2016年造成以太坊的硬分叉的TheDAO事件,就是因為黑客利用了重入(Re-Entrance)攻擊漏洞,這是智能合約中的經典攻擊。有了Resource模型和字節驗證,則不會發生這種攻擊。以Solidity等語言為例,智能合約之間的調用是同一個進程內不同的智能合約虛擬機之間的調用,安全依賴于智能合約虛擬機之間的隔離。
華為云計算在北京成立新公司 經營范圍包括區塊鏈應用軟件開發:10月14日消息,天眼查App顯示,近日,北京華為云計算技術有限公司成立,法定代表人為張平安,注冊資本1億人民幣,經營范圍包括云計算裝備、云計算設備的技術服務;人工智能基礎軟件開發;區塊鏈應用軟件開發;大數據服務等。股東信息顯示,該公司由華為云計算技術有限公司全資持股。[2021/10/14 20:28:51]
Solidity等語言下,智能合約的安全依賴于智能合約虛擬機之間的隔離Move的做法則是通過MoveVM讓采用Move語言的區塊鏈具備確定性,將合約調用放在同一個虛擬機沙盒中,通過編程語言內部的安全性對智能合約的狀態進行隔離,而非依賴虛擬機進行隔離。
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的聯系和比較
潘志彪:成立成都和北京新公司與拓展新業務相關:天眼查信息顯示,幣印礦池在6月9日、10日新成立了必印(北京)科技有限公司、四川必印超算科技有限公司,均由潘志彪擔任法人。資料顯示,兩家公司的注冊資本分別為1000萬美元和100萬人民幣。
針對此事金色財經采訪了幣印礦池潘志彪,潘志彪表示,成立成都與北京新公司與拓展新業務相關,幣印正在積極拓展礦場、錢包、金融、資管等相關新業務線。潘志彪進一步表示,近期的暴雨對礦場安全存在一定隱患,可能帶來洪水、泥石流等地質災害,對礦場構成潛在威脅。[2020/6/17]
相較于早在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的數值進行修改。
動態 | 加密貨幣托管服務商BitGo在瑞士和德國開設新公司,以擴大其歐洲業務:據Finance Magnates消息,加密貨幣托管服務商BitGo宣布通過在瑞士和德國開設新的托管實體,擴大在歐洲的業務。BitGo瑞士實體BitGo GmbH目前受瑞士金融市場監管局(FINMA)的監管,而德國分公司BitGo Deutschland GmbH將在11月申請監管批準。[2020/2/10]
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生態下的新公鏈建設
Amalto Technologies SA和ConsenSys共同成立新公司,利用以太坊網絡改變能源行業:Amalto Technologies SA和ConsenSys共同成立新公司,將利用以太坊網絡自動簽發收據石油和天然氣產品。這家名為Ondiflo的新公司可以從根本上改變能源行業,由于智能合約,系統將是便宜的。Ondiflo將以財團的形式存在,而市場上最大的公司將首先使用Consensys的發展,該系統的公布定于2月15日。Amalto Technologies SA服務于石油和天然氣,工業,環境和企業市場的法國軟件公司。ConsenSys為區塊鏈生態系統建立分散的應用程序和各種開發人員和最終用戶工具。[2018/1/29]
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生態,我們將不斷見證這個面向資產編程的語言的魅力,同時也有更多捕獲到新公鏈們帶來價值的機會。原地址
當資本變得更加昂貴時,你將如何評估并決定公司的最佳融資選擇?創始人傾向于從估值和稀釋的角度思考,而投資者可能更想知道他們在下跌時收益的最低保證和上漲時的潛在收益規模.
1900/1/1 0:00:00市場觀點 宏觀流動性 貨幣流動性整體緊縮。美國8月CPI是8.3%,不及市場預期的8.1%。雖然油價下跌,但住房、食品等核心CPI為6.1%,超過7月的5.9%.
1900/1/1 0:00:00作為拜登總統行政命令的一部分,白宮科技政策辦公室對加密挖礦的氣候影響進行了研究,并在近期發布了報告.
1900/1/1 0:00:00Odaily星球日報譯者|Moni 9月9日,以太坊聯合創始人V神VitalikButerin在其個人網站發表文章,討論ENS域名是否應該引入基于需求的經常性費用.
1900/1/1 0:00:00DAOs作為一種社會技術發展產物,因何而起,一直是一個有趣且重要的話題。DAOrayaki去中心化編輯委員會對《DAOs的發展起源》進行策展,往期文章DAOrayaki|DAO與組織管理發展史,
1900/1/1 0:00:00?VitalikButerin提出TheBlockchainTrilemma已經有5年之久,?論是ETH-core社區,還是其他公鏈的開發者們,都試圖找到打開下?代區塊鏈的鑰匙.
1900/1/1 0:00:00