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則是在語言層面將資產的概念進行了封裝,避免了資產憑空產生和隨意訪問,極大的提高了安全性。
Fineqia宣布計劃啟動一個新的風險投資基金,主要投資數字資產創新公司:金色財經報道,數字資產和金融科技投資公司 Fineqia International宣布計劃啟動一個新的風險投資基金,該基金將投資于數字資產行業的創新公司。Fineqia 將把部分投資轉移給一家名為 Fineqia Glass Slipper Ventures (FGSV) 的新公司,該公司將成為 FGSV 投資組合的一部分,Fineqia 將獲得該基金的相應股權。
公司擬將 FSGV 設立為歐洲經濟區 (EEA) 的私募封閉式基金,旨在通過投資于具有巨大增長潛力的有前途的公司來產生可觀的回報。Fineqia 已將區塊鏈基礎設施、DeFi和包括游戲、媒體和娛樂在內的元宇宙等細分市場確定為重點投資領域。FSGV 的設置成本為 100,000 瑞士法郎(150,000 加元)。公司預計將于 2023 年第三季度完成首次交割。[2023/5/7 14:47:50]
Move代碼示例先字節驗證,后執行合約與Solidity采用編譯器不同,作為一種可執行的字節碼語言,Move具有內置的安全算法和字節碼驗證器,可以防止許多常見錯誤。Move合約代碼要能被執行,必須先被驗證,這使得合約可以免受編譯器的潛在故障和可能遭遇到的攻擊。Move從一開始就致力于建立規范文化,每個Move模塊都有標準庫。Move開發團隊已經初步開發出專門的驗證器MoveProver,用于合約的驗證。目前,該驗證器運行速度已有較大提升,開發人員可以在幾分鐘內運行測試,使他們能夠快速迭代他們的代碼。2016年造成以太坊的硬分叉的TheDAO事件,就是因為黑客利用了重入(Re-Entrance)攻擊漏洞,這是智能合約中的經典攻擊。有了Resource模型和字節驗證,則不會發生這種攻擊。以Solidity等語言為例,智能合約之間的調用是同一個進程內不同的智能合約虛擬機之間的調用,安全依賴于智能合約虛擬機之間的隔離。
新公鏈Linera發布白皮書,引入在同一組驗證器中并行操作多鏈的想法:12月20日消息,由前Libra員工創立的新公鏈Linera今日發布白皮書。白皮書介紹,Linera引入了在同一組驗證器中并行操作許多鏈(可能數百萬條)的想法“微鏈”。在Linera中,可擴展性是通過添加鏈來獲得的,而不是通過增加塊的大小或速率來獲得的。
Linera鼓勵用戶運營自己的微鏈。當微鏈由單個用戶操作時,Linera使用受可靠廣播啟發的簡化的無內存池共識協議。Linera創始人兼首席執行官Mathieu Baudet是Meta前員工并曾幫助創建Libra區塊鏈。
金色財經此前報道,Linera曾于今年6月底完成a16z領投的600萬美元種子輪融資。[2022/12/20 21:56:02]
Solidity等語言下,智能合約的安全依賴于智能合約虛擬機之間的隔離Move的做法則是通過MoveVM讓采用Move語言的區塊鏈具備確定性,將合約調用放在同一個虛擬機沙盒中,通過編程語言內部的安全性對智能合約的狀態進行隔離,而非依賴虛擬機進行隔離。
Move通過編程語言內部的安全性對智能合約的狀態進行隔離靜態調用減少合約調用漏洞合約的調用方式可以分為靜態調用和動態調用。若程序調用必須在運行時才能確定被調用的目標,則稱該調用為動態調用;反之,在運行前即可確定被調用目標,且在運行時無法變更該目標,則稱該調用為靜態調用。動態調用允許程序里面可以寫很多的函數、過程或者子程序,是一個靈活的語言機制。但靈活也意味著更容易出問題,動態調用不利于程序的推理,更不利于形式化驗證,也更容易出安全問題,例如惡意用戶通過循環調用制造惡意合約,造成多方的損失。Move語言采用靜態調用,所有的合約執行路徑都能在編譯的時候確定,然后可以進行非常充分的分析、驗證。開發者將問題暴露在合約編譯的階段,而非運行階段,降低運行時出現宕機的概率。與以太坊EVM平臺相比,Move模塊系統不支持循環調用,完美解決合約重入漏洞。2、基于模塊的可組合性:效率更高、更靈活
Inveniam Capital Partners收購區塊鏈創新公司Factom:金色財經報道,Inveniam Capital Partners宣布已收購位于奧斯汀的區塊鏈創新公司Factom,交易的財務條款沒有披露。通過此次收購,Inveniam獲得了近40項區塊鏈基礎專利,憑借其現有的專利組合,Inveniam成為美國第8大區塊鏈專利持有人,僅次于英特爾,領先于微軟、富達投資、Capital One和美國銀行。[2021/8/3 1:30:12]
智能合約的可組合性是構建編程語言生態的另一重要特性。Solidity等語言生態的智能合約的組合基本是基于Interface間通過消息傳遞進行的組合。而在Move是基于Module間的組合,通過資源(Resources)的傳遞進行交互。以太坊上,當我們想擴展一些新的行為或者做一些實現上的優化,那我們需要重新定義過往的接口,同時也會影響舊的方法。而在Move中,合約的組合只需要對Module進行升級和優化,所有使用過這個Module的其他合約都會自動使用最新的版本。Move的Module功能類似于以太坊中的合約,但更類似于使用面向對象編程的銀行。Module相當于給智能合約提供了統一的兼容空間,智能合約就像樂高玩具的各個部分,通過任意組合產生新的產品。按照3NJOYLab創始人Flex的解釋,如果以建造一個汽車工廠為例,Solidity的做法是定義了這個工廠的生產標準以及流程,每一個想來造汽車的人都需要先造一個符合生產標準及流程的工廠,然后才能創造汽車。而Move的方式是工廠就只有一個,想要造汽車的人使用這一個工廠就能造出來大家都認可的汽車。Move通過Module間的組合,一方面,節省了合約占用的區塊空間,一方面,讓升級變得更加容易。同時,由于Module系統沿用了線性邏輯,可以很好地將數字資產的概念打包封裝,并非常明確的將資源的定義和資源相關的行為進行拆分,這種面向資源的編程帶來的表現力與可擴展性是其他語言無法帶來的。二、Move和Solidity,Rust的聯系和比較
詹克團方面啟用新公章 欲收購比特大陸公司員工手中期權:昨日北京比特大陸發布公告稱,北京比特大陸屬于香港比特大陸100%控股,詹克團涉嫌偽造公章,將追究其法律責任。隨后詹克團方面發出一份聲明,強調啟用新公章。據知情人士透露,在比特大陸聲明前,詹克團方面人士昨日曾前往北京比特大陸辦公地點,試圖回歸并控制公司,因此引發了這一聲明。同時詹克團正在給公司員工電話,試圖收購他們手中的期權。而吳忌寒方面,正在千方百計繼續使用香港控股公司,更換北京比特的法人。法理上來說,除非開曼判決詹克團獲勝,重新拿回投票權,那么吳忌寒控制的香港比特是可以更換北京比特法人的。但吳忌寒能否成功更換,現在還是未知數。(吳說區塊鏈)[2020/6/4]
相較于早在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生態下的新公鏈建設
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生態,我們將不斷見證這個面向資產編程的語言的魅力,同時也有更多捕獲到新公鏈們帶來價值的機會。原地址
我們很高興分享Chainalysis2022年全球加密貨幣采用指數。連續第三年,我們按草根加密貨幣采用率對所有國家進行排名.
1900/1/1 0:00:00頭條 幣安將自動轉換USDC、USDP、TUSD為BUSD據官方公告,為了提高用戶的流動性和資金使用效率.
1900/1/1 0:00:00近日,推特上賬戶名為「uhr3al」的加密玩家在社交媒體發布了一份永續合約項目名單,其中有12個鏈上永續合約協議尚未發幣.
1900/1/1 0:00:00PROOF母公司于北京時間8月31日凌晨1點召開了名為「FuturePROOF」的會議,在會議中公告了關于PROOF生態內Moonbirds、Oddities等項目的后續發展.
1900/1/1 0:00:001.MakerDAO的發展在穩定幣DAI概念公布后的第六年,今天的MakerDao協議仍然是以太坊鏈上最成功的DeFi應用之一.
1900/1/1 0:00:00Odaily星球日報譯者|余順遂NFT系列Azuki的開發團隊ChiruLabs尋求通過A輪融資籌集至少3000萬美元資金。三位了解融資情況的消息人士確認這一目標融資額屬實.
1900/1/1 0:00:00