ROC:Rocket Protocol虛擬機技術（二）：建立標準類庫_Hooked Protocol

上一篇文章《RocketProtocol虛擬機技術：優化并兼容EVM》分析了EVM設計框架的缺陷以及RocketProtocol的解決方案：在兼容Solidity語言的同時，采用基于中繼鏈技術的跨鏈資產解決方案，支持已有的以太坊資產在RocketProtocol中流轉。根據RocketProtocol團隊的規劃，中繼鏈技術將2021年第三季度落地。前文還提到EVM缺乏標準庫支持，我們將在本文中聊一聊標準庫的問題。什么是標準庫

標準庫是編程語言的每種實現中都按例提供的庫。標準庫的設計哲學多種多樣，在不同的編程語言中，標準庫的表現形式都不一樣。例如：C標準庫是用于完成諸如輸入/輸出處理、字符串處理、內存管理、數學計算和許多其他操作系統服務等任務的宏、類型和函數的集合；C++標準庫是一組C++模板類，它提供了通用的編程數據結構和函數，如鏈表、堆、數組、算法、迭代器和任何其他能夠被想到的C++組件，C++標準庫包含了C標準庫；Java標準庫的常用表達是Java類庫，Java的應用程序接口(API)以包的形式來組織，每個包提供了大量的相關類、接口和異常處理類，這些包的集合就是Java類庫。Python語言的核心只包含數值、字符串、列表、字典、文件等常見類型和函數。Python標準庫提供了系統管理、網絡通信、文本處理、數據庫接口、圖形系統、XML處理等額外的功能。標準庫的重要性

Gala Games刪除了好萊塢明星The Rock合作的推文:金色財經報道，在基于區塊鏈的游戲平臺Gala Games刪除了與好萊塢明星合作的推文后，Gala Games的原生代幣GALA下跌超過20%至0.039 美元。數據顯示，周一發布的推文稱，該公司正在與Dwayne “The Rock” Johnson 和 Mark Wahlberg 合作，GALA上漲超過70%至0.051美元，為9月13日以來的最高水平。[2023/1/11 11:06:58]

C++的設計者BjarneStroustrup認為：標準庫是每一個實現者都必須提供的東西，以便讓每一個程序員能夠依賴于它。標準庫是一門編程語言的基礎，基于任何語言的應用開發，都要盡可能地基于標準庫開發。首先它可以降低開發成本，不必再浪費人力和時間去進行重新開發；其次，無論是由編程語言規格直接說明還是由編程社區非正式慣例決定，標準庫都是經過嚴格驗證的，它的正確性和準確性有保證；最關鍵的一點，使用標準庫開發的代碼，其執行效率是行業認可的最高水平。EVM缺少標準庫支持

Tether訴訟法官將于10月3日舉行聽證會討論將Roche Freedman從案件中撤出的請求:9月9日消息，據外媒報道，負責監督針對 Tether 的集體訴訟的聯邦法官已安排一場聽證會，來討論有關各方提出的將陷入困境的 Roche Freedman 律師事務所從案件中撤出的請求。聽證會時間為10月3日。

8月底，Roche Freedman創始合伙人KyleRoche推出幾起集體訴訟，包括針對Tether和Bitfinex、Tron、BitMEX和Binance提起的集體訴訟。此前Roche Freedman的律所創始合伙人Kyle Roche因Ava Labs相關爆料視頻引發熱議。（TheBlock）[2022/9/9 13:18:13]

在《RocketProtocol虛擬機技術》提到，REVM在兼容EVM的同時，也繼承了EVM的Solidity語言。在具有編寫程序簡單、兼容性強、非常高效這些優點以外，REVM也同時具有Solidity與生俱來的缺陷：缺少標準庫支持。Solidity語言沒有自己的標準代碼庫，它本身內置的只有一些非常簡單的函數，開發者只能自己不停地對簡單函數進行組合復用，例如字符串拼接、切割、查找等都需要開發者自己去實現，使得開發者開發復雜應用的難度較大。這種方式帶來的后果是開發者需要關注很多非本身業務的零碎細節而不是開發應用本身，無端增加開發成本。同時，用這種方式編寫出的代碼，會比根據擁有健全標準庫的虛擬機開發出來的代碼更長。代碼越長，上傳到區塊鏈環境中時產生的GAS費就越高，運行代碼所需的步驟也會越多，增加虛擬機運算代碼的時長，執行效率低下的同時也不能保證最終結果的正確性和準確性。有的開發者為了節省GAS費，會直接從一些開源軟件中調用代碼或者寫出不是特別周全的代碼，導致代碼本身的安全性得不到保證，加重合約代碼審計的難度。REVM建立了標準類庫

瑞士印鈔公司Orell Fuessli收購區塊鏈公司Procivis:9月13日消息，瑞士印鈔公司Orell Fuessli宣布收購區塊鏈公司Procivis的多數股權，未披露更多財務細節。Procivis由瑞銀董事長Axel Weber前任幕僚長Daniel Gasteiger創立于2016年，旨在推進公民身份等公共服務的數字化，近期推出了一種基于智能手機的身份數據處理解決方案。Gasteiger將繼續經營Procivis。Orell Fuessli稱該交易旨在擴大其數字身份和證書業務，為未來的企業和政府交易開發安全、值得信賴的數字服務。（finews）[2021/9/13 23:21:43]

RocketProtocol技術團隊認為，優秀的虛擬機除了要在架構設計上展現大方優雅的特點，也需要具有易用性和可操作性。因此，REVM在兼容EVM的基礎上，建立了自己的標準類庫——以太坊原有的智能合約不僅可以直接遷移到RocketProtocol上使用，無需重新編譯，同時也能通過REVM添加的智能合約內置函數來將降低開發門檻。除此之外，REVM還引入了RocketProtocol自定義的關鍵字，支持用一條語句完成跨鏈、NFT協議等功能，開發者在智能合約中使用這些關鍵字，即可享受到RocketProtocol帶來的獨有的可組合性與可操作性。對于使用了這些關鍵字的合約，必須要通過REVM的編譯，才能生成可用的字節碼。針對用戶編程，RocketProtocol目前已經添加了更直觀的NFT操作函數。下一階段，RocketProtocol也將在獎池、空投、DeFi等層面添加相應的內置函數，以提高智能合約的編寫效率。功能拓展方面，由于RocketProtocol的中繼鏈是基于智能合約功能實現和拓展的，所以也將添加中繼相關的智能合約內置函數，以擴展基于REVM智能合約的功能。總結

Pierre Rochard：將為計算ETH總供應量的人提供100萬satoshis賞金:比特幣咨詢公司Bitcoin Advisory創始人Pierre Rochard剛剛發推稱，“我永遠不會收回賞金。我已經發布了一個新的賞金，向開發、測試和調試開源代碼腳本的人支付100萬satoshis（0.01 BTC），以計算ETH的總供應量。”[2020/8/10]

DeFi和NFT近兩年相繼爆發，各類上層復雜應用的層出不窮對基礎設施的要求會越來越高。標準庫的建立并非一朝一夕就可完成，它需要隨著開發者和用戶真實需求的增加而不斷完善，甚至需要隨著行業的不斷拓展而開發出更優于標準庫的機制來提高開發者者效率和支持復雜應用落地。虛擬機的優化方案也絕非僅限于完善標準庫，如何解決缺乏成熟工具集這個問題，將是我們下一個需要討論的重點。關于RocketProtocolRocketProtocol是由MixMarvel孵化的面向未來虛擬世界的區塊鏈基礎設施。目前RocketProtocol已升級至2.0版本。作為可以實現EVM體系多鏈合約互操作的高性能鏈群，RocketProtocol2.0融合了跨鏈協議、NFT協議以及EVM協議，并在此基礎上進行了擴展，使得開發者能夠自由的創建適配各種場景的復雜去中心化應用，同時給予用戶近似互聯網應用般的體驗。

Tags：ROCPROROCKTOCROCKS幣pros幣價格Hooked Protocol

波場