為什么說Validity Rollups是以太坊最有希望的擴容方式？_CAI

作者：StarkWare；編譯：凹凸曼

Validity Rollups 是以安全和去中心化的方式增加以太坊吞吐量的最有前途的方式；zkEVM 和 Cairo VM (CVM) 是有效性匯總中使用的兩種類型的 VM。

zkEVM 專注于以太坊兼容性，但犧牲了性能和可擴展性。

Starknet 中使用的 Cairo VM 將性能和可擴展性置于兼容性之上。

在談論擴展以太坊時，Rollups 是今年的熱門話題。在各種類型的 rollups 中，我們認為 Validity Rollups (VRs)，也稱為 zk-rollups，是以安全和去中心化的方式增加以太坊吞吐量的最有希望的方式。這種擴展解決方案的核心是使用有效性證明進行可驗證計算。他們是這樣工作的：

運營商不是在以太坊主網上處理每筆交易，而是將交易執行卸載到鏈下環境。這個鏈下環境作為第 2 層，意味著在以太坊之上運行的層。

在處理大量交易后，第 2 層操作員返回結果以應用于以太坊的狀態，以及驗證鏈下執行完整性的有效性證明。該證明保證一批中的所有交易都是有效的，并由鏈上驗證者合約自主驗證。這允許以太坊將結果應用到它的狀態。

Sys Labs推出基于merged mining的EVM兼容網絡Rollux:6月28日消息，Syscoin開發商Sys Labs推出基于merged mining的EVM兼容網絡Rollux，merged mining由中本聰于2010年提出，Rollux采用該機制以從通過比特幣礦工來維護網絡安全。[2023/6/28 22:06:35]

Validity Rollups

注意：Validity Rollups 通常被錯誤地稱為零知識匯總，但這并不準確。大多數 Validity Rollup 不使用 ZKP，也不用于確保隱私的目的。因此，術語「Validity Rollup」更準確。

在繼續之前，我們需要回答的第一個問題是：什么是虛擬機 (VM)？簡單地說，它是一個可以運行程序的環境，就像運行 Windows 操作系統的 Mac。它在對某些輸入執行計算后在狀態之間轉換。以太坊虛擬機 (EVM) 是運行以太坊智能合約的 VM。

零知識虛擬機 (zkVM) 是一種程序執行環境，它與程序輸出一起允許生成可以輕松驗證的有效性證明。此有效性證明證明程序已正確執行。當使用術語「zkEVM」時，它通常是指利用以太坊虛擬機 (EVM) 并能夠證明 EVM 執行的匯總。這個術語可能會產生誤導，因為 EVM 本身并不生成這些證明；相反，證明是由一個單獨的證明機制生成的，該機制以 EVM 執行的結果為起點。此外，這些證明是關于有效性而非隱私的，因此它們不完全是零知識證明。盡管如此，為了保持一致性，我們將在本文中堅持使用傳統術語「zkEVM」。

馬斯克：推特“藍V認證”用戶可上傳最長2小時的視頻 (8GB限制):5月19日消息，馬斯克今日發文表示，Twitter Blue認證訂閱者現在可以上傳最長2個小時的視頻內容(8GB限制)。值得一提的是，有用戶稱這項新功能目前僅限于iOS版推特應用以及網頁端，Android客戶端仍然只允許上傳最長10分鐘的視頻。[2023/5/19 15:14:09]

雖然所有 Validity Rollups 都旨在利用有效性證明來擴展以太坊，但它們在選擇 VM 來執行鏈下交易方面有所不同。許多 Validity Rollups 選擇復制 EVM 的設計（因此被稱為「zkEVM rollups」），試圖在 L2 rollup 上復制以太坊。 Starknet 使用一種新的 VM——Cairo VM (CVM)——專門設計用于優化有效性證明效率。

這兩種方法各有優缺點，但 zkEVM 以性能換取以太坊兼容性，而 Cairo VM 將性能優先于兼容性，優先考慮擴展能力。

zkEVM 是一個 Validity Rollup，其目標是將以太坊體驗完全引入 Layer-2 區塊鏈。它旨在將以太坊開發人員環境復制為匯總。借助 zkEVM，開發人員在編寫智能合約或將智能合約移植到更具可擴展性的解決方案時，無需更改代碼或放棄其 EVM 工具（和智能合約）。

數據：GMX單日費用于2月10日創下564萬美元歷史新高:2月12日消息，據DefiLlama數據顯示，由于Andrew Kang平倉ETH和BTC的多頭頭寸，導致GMX平臺單日費用創下歷史新高。在過去24小時內，GMX的用戶費用達到564萬美元，是之前歷史最高點的兩倍多。[2023/2/12 12:01:38]

這種方法的一個主要缺點是它降低了有效性證明的擴展潛力。由于 zkEVM 致力于與以太坊兼容，因此速度較慢且資源密集度更高。與 CVM 不同，EVM 在設計時并未考慮證明效率。這限制了可以提高效率和可擴展性的優化的使用，最終影響系統的整體性能。

zkEVM 方法的核心挑戰植根于 EVM 的原始藍圖——它并非設計用于在有效性證明上下文中運行。因此，反映其功能的努力無法釋放有效性證明的全部潛力，導致效率達不到最佳水平。這種低效率最終會拖累系統的整體性能。 EVM 與有效性證明的兼容性受到以下因素的阻礙：

EVM 采用基于堆棧的模型，而有效性證明更有效地用于基于寄存器的模型。 EVM 基于堆棧的特性使得證明其執行的正確性以及為其本機工具鏈提供直接支持變得更加困難。

以太坊存儲布局嚴重依賴 Keccak 和大型 Merkle Patricia Tree，這兩者都不利于有效性證明并施加大量證明負擔。例如，Keccak 對于 x86 架構（我們通常在其上運行 EVM）非常快，但需要 90k 步來證明（內置特殊構建）。而 Pedersen（一種對 zk 友好的哈希函數）需要 32 個步驟。即使使用遞歸壓縮，在 zkEVM 中使用 Keccak 也意味著最終由用戶支付的大量證明者資源。

歐洲央行將三大關鍵利率均上調50個基點，為11年以來首次加息:金色財經報道，歐洲央行將三大關鍵利率均上調50個基點，市場預期加息25個基點，為11年以來首次加息。[2022/7/21 2:29:23]

因此，各種 zkEVM 旨在為以太坊工具提供不同級別的支持——zkEVM 與以太坊的兼容性越高，性能就越差。 （有關 zkEVM 類型的更多信息，請跳至文章末尾。）

zkEVM 解決方案投入大量開發時間來「讓 EVM 為 Validity Rollups 工作」，將兼容性置于長期性能和可擴展性之上。還有另一種選擇：使用全新的專用虛擬機，并在頂部添加對以太坊工具的支持作為附加層。這是 Starknet 所采用的方法，Starknet 是 2021 年 11 月推出的無需許可的 Validity Rollup。Starknet 是第一個在完全可組合的網絡上提供通用智能合約平臺的 Validity Rollup。

Starknet 使用 Cairo-VM (CVM)，這是一種同名的高級語言。 Cairo-VM 是為高效生成程序執行的有效性證明而設計的 VM。

使用 Cairo（虛擬機和語言），我們有：

1. 優化的有效性證明——每條指令都有一個有效的代數表示

美聯儲在固定利率逆回購中接納了2.224萬億美元，續刷新歷史新高:6月15日消息，美聯儲在固定利率逆回購中接納了2.224萬億美元，規模持續刷新歷史新高。(金十)[2022/6/15 4:26:50]

2.用于編寫可證明程序的 Rust-like 語言

3. 高級 Cairo 和 Cairo 匯編（VM 指令）之間的中間表示（Sierra），允許高效執行 Cairo 代碼

開發一種新語言可以讓人們根據它要滿足的特定需求對其進行定制，并為其配備能夠滿足以前未滿足需求的功能。

為了創建關于某些計算的有效性證明，首先必須將該計算表示為描述該計算的一系列數學約束。由于優化計算以提高效率的挑戰以及對專用工具的需求，過程可能非常棘手。

Cairo 語言最初旨在簡化此任務，并使其更容易向 StarkEx 添加功能和復雜的業務邏輯。 Cairo 程序被編譯成代數機器代碼——一個數字序列——由一個固定的 VM 執行。有了 Cairo，生成描述計算的數學約束的整個復雜性——有效性證明的一個棘手問題——被抽象出來并被固定的約束集（總共少于 50 個約束）捕獲。因此，開發人員可以利用有效性證明來擴展他們的應用程序，而無需了解底層數學和基礎設施，只需使用他們熟悉的語法編寫代碼即可。

Starknet 是關于創新的，這反映在其多元化的代碼方法中。Cairo 使用 STARKs 獲得最佳擴展的能力不僅限于那些在 Cairo 本地編寫合約的人。開發人員可以選擇最適合他們的方法：

在 Cairo 本地編寫代碼：隨著 Cairo 1.0 的發布，開發人員現在可以使用符合人體工程學且安全的 Rust 語言，這使得編寫程序邏輯變得更加容易且不易出錯。

Solidity 兼容性：Solidity 開發人員可以編寫可供 Cairo VM 使用的代碼。這種方法提供了與以太坊類似的開發人員體驗，并使 Solidity 智能合約可移植到 Starknet。有兩種方法可以實現這一點：

轉譯：轉譯是指將用一種編程語言編寫的源代碼轉換為另一種語言的過程。 Nethermind 團隊創建了 Warp 轉譯器，用于將 Solidity 代碼轉譯到 Cairo。 Warp 使 Solidity 智能合約可移植到 Starknet，有效地使其成為 Type 4 zkEVM。它已經被用于轉譯和部署 Uniswap 合約，只需進行極小的改動。

Starknet 上的 zkEVM：Cairo VM 可用于證明另一個 VM 的執行。 Kakarot 是一個用 Cairo 編寫的 zkEVM，可用于在 Starknet 上運行以太坊智能合約。 Cairo VM 和 zkEVM 不是競爭方法，我們可以同時擁有 Cairo VM 和 zkEVM，而不是在 Cairo VM 和 zkEVM 之間進行選擇！

盡管存在時間很短，但 Cairo 是 TVL 排名第四的最受歡迎的智能合約語言，并且已經獲得超過 3.5 億美元的資金。

zkEVM 旨在將以太坊環境復制為 rollup，并允許開發人員使用熟悉的以太坊工具。然而，這種方法抑制了有效性證明的全部潛力，并且可能是資源密集型的。

Cairo VM 專為有效性證明系統而設計，不受 EVM 的限制。它由一種新的、安全且符合人體工程學的 Rust 啟發的編程語言支持，稱為 Cairo 1.0，形成了一個強大的工具，旨在通過使用 STARK 證明擴展以太坊來獲得最大效率。

看到 Cairo 每周取得的成績，以及開發人員不同選擇的增長，如 Kakarot zkEVM 和 Warp，令人興奮。隨著 Starknet dApp 進入生產階段，展示了 Cairo 的強大功能，我們相信它將在未來用于更雄心勃勃的項目。

由于上面概述的 STARK 擴展的三種途徑，以及毫無疑問將在未來幾個月內提供的其他途徑，開發人員現在對擴展區塊鏈擁有前所未有的控制權。

凹凸曼162947263551

個人專欄

閱讀更多

金色財經

SevenUp DAO

金色圖覽

LK Venture

金色薦讀

區塊律動BlockBeats

Tags：CAIROAIRCAI以太坊CAIRO幣FAIRMOON以太坊幣最高價格是多少錢

TUSD