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等語言為例,智能合約之間的調用是同一個進程內不同的智能合約虛擬機之間的調用,安全依賴于智能合約虛擬機之間的隔離。
比特大陸成立新公司 詹克團任法定代表人:企查查信息顯示,9月16日,北京算力大陸科技有限公司成立,注冊資本1000萬元人民幣,法定代表人為詹克團,經營范圍包括技術開發、技術咨詢、技術轉讓、技術推廣、技術服務;基礎軟件服務;應用軟件服務;計算機系統服務;數據處理;設計、制作、代理、發布廣告等,疑似實際控制人為Bitmain Technologies LimitedBitmain Technologies Limited 。[2020/9/17]
Solidity等語言下,智能合約的安全依賴于智能合約虛擬機之間的隔離Move的做法則是通過MoveVM讓采用Move語言的區塊鏈具備確定性,將合約調用放在同一個虛擬機沙盒中,通過編程語言內部的安全性對智能合約的狀態進行隔離,而非依賴虛擬機進行隔離。
Move通過編程語言內部的安全性對智能合約的狀態進行隔離靜態調用減少合約調用漏洞合約的調用方式可以分為靜態調用和動態調用。若程序調用必須在運行時才能確定被調用的目標,則稱該調用為動態調用;反之,在運行前即可確定被調用目標,且在運行時無法變更該目標,則稱該調用為靜態調用。動態調用允許程序里面可以寫很多的函數、過程或者子程序,是一個靈活的語言機制。但靈活也意味著更容易出問題,動態調用不利于程序的推理,更不利于形式化驗證,也更容易出安全問題,例如惡意用戶通過循環調用制造惡意合約,造成多方的損失。Move語言采用靜態調用,所有的合約執行路徑都能在編譯的時候確定,然后可以進行非常充分的分析、驗證。開發者將問題暴露在合約編譯的階段,而非運行階段,降低運行時出現宕機的概率。與以太坊EVM平臺相比,Move模塊系統不支持循環調用,完美解決合約重入漏洞。2、基于模塊的可組合性:效率更高、更靈活
動態 | 吳忌寒新公司Matrixport在不到一年內處理了5億美元的現貨交易:吳忌寒新公司Matrixport在不到一年的時間里已經積累了超過5億美元的管理資產,處理了5億美元的現貨交易。(The Block)[2020/1/28]
智能合約的可組合性是構建編程語言生態的另一重要特性。Solidity等語言生態的智能合約的組合基本是基于Interface間通過消息傳遞進行的組合。而在Move是基于Module間的組合,通過資源(Resources)的傳遞進行交互。以太坊上,當我們想擴展一些新的行為或者做一些實現上的優化,那我們需要重新定義過往的接口,同時也會影響舊的方法。而在Move中,合約的組合只需要對Module進行升級和優化,所有使用過這個Module的其他合約都會自動使用最新的版本。Move的Module功能類似于以太坊中的合約,但更類似于使用面向對象編程的銀行。Module相當于給智能合約提供了統一的兼容空間,智能合約就像樂高玩具的各個部分,通過任意組合產生新的產品。按照3NJOYLab創始人Flex的解釋,如果以建造一個汽車工廠為例,Solidity的做法是定義了這個工廠的生產標準以及流程,每一個想來造汽車的人都需要先造一個符合生產標準及流程的工廠,然后才能創造汽車。而Move的方式是工廠就只有一個,想要造汽車的人使用這一個工廠就能造出來大家都認可的汽車。Move通過Module間的組合,一方面,節省了合約占用的區塊空間,一方面,讓升級變得更加容易。同時,由于Module系統沿用了線性邏輯,可以很好地將數字資產的概念打包封裝,并非常明確的將資源的定義和資源相關的行為進行拆分,這種面向資源的編程帶來的表現力與可擴展性是其他語言無法帶來的。二、Move和Solidity,Rust的聯系和比較
相較于早在2014年就發布的Solidity,Move在區塊鏈開發領域還是一種非常年輕的開發語言,需要更多的時間來證明它是一種足夠安全并且不容易報錯的區塊鏈開發技術選項。Move和Solidity的主要區別
動態 | 日本加密貨幣商業協會宣布六家新公司入會:8月1日,日本加密貨幣商業協會(JCBA)宣布六家新公司將加入該協會,KDDI和bitFlyer將成為正式會員入會,Sumo Logic Japan、CAICA、COINJINJA、Kcabo等4家公司將作為準會員入會。(Crypto.Watch)[2019/8/2]
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的數值進行修改。
動態 | 印度交易所Zebpay在馬耳他和新加坡設立新公司:據crypto-news消息,印度此前最大的加密貨幣交易所Zebpay在大約兩周前突然宣布關閉,目前似乎正在開展一些其他計劃。根據新加坡和馬耳他公司注冊處提供的最新信息,該公司目前正在關注加密貨幣全球游戲(這也可能是它選擇退出印度市場的原因)。最近幾個月,Zebpay注冊了兩家新公司,分別是新加坡的Awlencan Innovations Pte. Ltd.和馬耳他Awlencan Innovations Malta Limited。如果向這兩家公司的注冊人提交的信息是可信的,那么Zebpay目前或正在尋求在包括法國和德國等20個歐洲國家提供加密貨幣兌換和場外交易服務。[2018/10/15]
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生態,我們將不斷見證這個面向資產編程的語言的魅力,同時也有更多捕獲到新公鏈們帶來價值的機會。原地址
引子 當前主流以太坊錢包的用戶體驗很有限,以下便捷性功能都只能通過智能合約錢包來完成。無私鑰&助記詞體驗,社交找回批量交易純鏈上游戲中,無需多次簽名幸運的是,我們已經很接近通行的智能合約.
1900/1/1 0:00:00隨著波卡社區進入2022年最后一個季度,我們ParityTechnologies想向社區更新我們一直在研究的一些重要的開發主題.
1900/1/1 0:00:00頭條 V神:合并仍預計在9月13日至15日左右發生以太坊創始人VitalikButerin發推稱,合并仍預計將在9月13日至15日左右發生,今天發生的事情是Bellatrix硬分叉.
1900/1/1 0:00:00今日,Paradigm研究合伙人DaveWhite和研究助理Frankie提出漸進所有權優化模型,以用于解決NFT項目的可替代代幣分發的難題。以下是鏈捕手對該文章的部分編譯與整理.
1900/1/1 0:00:00Cosmos在Cosmoverse大會上重磅發布2.0版白皮書,在鏈間安全、流動性質押、新代幣模型以及費用機制等方面作了詳細闡述.
1900/1/1 0:00:00FortaNetwork是一個實時檢測網絡,用于區塊鏈活動的安全和運營監控。Forta作為Web3監控賽道中的為數不多的去中心化項目,整體項目設計具有一定創新性.
1900/1/1 0:00:00