原文:《 Hello, Stylus 》by Offchain Labs
編譯: Moni
2 月7 日,Arbitrum 開發團隊Offchain Labs 宣布將於今年晚些時候為Arbitrum One 和Arbitrum Nova 推出下一代編程環境Stylus,Stylus 通過WebAssembly 智能合約功能,允許開發者使用他們習慣的編程語言(包括Rust、 C 和C++)部署應用程序,以便與Arbitrum 上的EVM 程序一起運行。
更重要的是,Offchain Labs 表示Stylus 的速度快了一個數量級,而且可以削減費用且能與以太坊虛擬機完全互操作,甚至將其稱為是以太坊虛擬機的升級版“EVM+ ”。 Stylus 真的可以超越EVM 嗎?接下來,讓Odaily星球日報帶大家一起分析下。
Stylus:超越EVM 等效性
隨著2021 年8 月主網的發布,Arbitrum One 成為唯一具有有效欺詐證明的EVM 等效Rollup,這意味著過去可以在Layer 1 上做的事情,現在都可以在Layer 2 上安全地進行,而且速度更快,費用更低。 EVM 等效性是任何通用Rollup 技術所必需的,也使得Arbitrum One 和Arbitrum Nova 上的去中心化應用程序和協議生態系統更有活力成為可能。
但是,與EVM 實現等效不是Arbitrum 的最終目標,而是起點。 Arbitrum 技術從一開始就與EVM 保持等效,但很快就發現其實可以做得更多。因此Arbitrum 給出了一個“範式定義”並將其稱為“EVM+”。推出Stylus 無疑是構建這一願景的第一步,更是Arbitrum 發展的一個全新階段——通用編程環境和WASM 虛擬機。
對於使用Stylus 的用戶而言,把那些用流行編程語言編寫的程序——比如Rust、C、C++ 等——部署到Arbitrum One 和Arbitrum Nova 會變得非常便捷,而且還能與Arbitrum 區塊鏈上的現有Solidity dApp 並行。
上圖:一個Rust 語音編寫的程序
從遊戲開發到社交媒體,在向Web3 過渡過程中,Stylus 可以讓操作升級變得更容易,開發人員甚至無需了解Solidity 編程語言原理即可在Arbitrum 上構建,也可以使用他們已經了解和喜愛的工具,無需考慮這些工具的編碼偏好如何。
對於經驗豐富的Web3 開發人員來說,也不再需要在以太坊和其他Layer 1 之間做出選擇。無論是尋求與以太坊一對一體驗的傳統Solidity DeFi 應用程序,還是在Rust 中驗證零知識證明的下一代Zk Rollup,Arbitrum 都可以成為最好的選擇之一。
這是因為用不同語言編寫的程序可以無縫組合,合約永遠不必知道另一個人使用什麼語言,用戶更不需要——所以,一切用產品說話。
更快的Dapp,更低的費用
Stylus 不僅擴展了人們編寫去中心化程序的方式,更優化了性能,使程序處理速度變得更快。通過去年的Nitro 升級,Arbitrum 已經看到了10 倍的性能提升。有了Stylus,性能還將會有進一步提升。相比於使用Rust 等語言編寫的Arbitrum 去中心化應用程、或是使用Solidity 和Vyper 開發的程序,Stylus 幾乎快了一個數量級。
Stylus還可以大幅降低手續費,開啟區塊鏈高算力應用在廣泛領域的新時代。當與Arbitrum Nova 的數據節省成本相結合時,基於Stylus 構建的去中心化遊戲將能夠得到有效支持,DeFi、DAO 和其他加密用例將在Arbitrum One 上享也能獲得高效率服務,因為Stylus 已完全集成到Arbitrum One 和Arbitrum Nova 兩個區塊鏈中。
低成本計算可以為開發人員帶來強大的程序編寫自由,這其實也是以太坊社區一直致力於加速EVM 的原因,主要涉及:
1、偶爾添加特殊的智能合約,稱為預編譯;
2、可以有效地執行計算哈希等特定任務。
使用Stylus,用戶將能夠創建自己的預編譯:
AC 預編譯
如果一個零知識證明團隊需要構建一個全新匹配曲線,或者一個alt-Layer 1 橋需要一個不尋常的哈希算法,他們可以簡單地將加密庫部署為自定義預編譯。任何密碼系統、任何參考實現,就好像它是EVM 的原生SHA2,Layer 3、甚至機器學習應用程序也能從中受益。
對以太坊研究人員來說,Stylus 的AC 預編譯功能會非常有價值,因為他們能夠使用Stylus 來設計和迭代EIP 預編譯,無需建立自己的測試網,相信EVM 會很高興看到Arbitrum 在其發展中所扮演的關鍵作用。 Arbitrum 的許多創下突破也與eWASM 保持一致,eWASM 是一項將WASM 添加到EVM 的Layer 1 計劃。
如何運行
2022 年8 月,Nitro 升級改變了Layer 2。
Arbitrum 驗證者開始運行以太坊最受歡迎的執行客戶端Geth,並驗證WebAssembly 中的個來欺詐行為。 Layer 2 有史以來第一次能夠以原生區塊鏈的速度運行,偶爾切換到較慢的WASM,或許只是為了證明是時候打敗潛在攻擊者(合併後其實很少會看到這種情況)。
Stylus 是Arbitrum 自然發展的下一步。借助Nitro,Arbitrum 的欺詐證明可以執行可信的WASM,驗證者必須同意Geth 是一個誠實的程序並且它的行為是適當的。儘管這是免許可EVM 網絡的充分基礎,這也是以太坊和所有基於Geth 的Layer 2 目前正在做的事情,但實現規模需要邁出下一步:證明對不受信任的WASM 的欺詐。
在Stylus 模型中,用戶將他們的程序編譯成WASM,然後在鏈上將其轉換為一種執行受限且安全得到強制執行的格式。通過WASM 沙盒,Arbitrum 可以以接近原生區塊鏈的速度運行用戶程序,並具有Web 瀏覽器渲染網頁所依賴的相同安全保證,惡意程序將會以一種“可以在鏈上證明而無需調用EVM ”的方式終止。
當交易調用EVM 合約時,Geth 執行並返回結果。如果該EVM 合約恰好對WASM 程序進行了子調用,那麼Stylus 就會介入併計算結果的這一部分。
EVM 仍然存在,並且也會與以前完全一樣。 Stylus 不會取代EVM,而是會增強EVM 。
Arbitrum 所做的一切都是完全可擴展的,而這,也是為什麼將Stylus 稱為“EVM+”的原因。