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

作者：StarkWare；編譯：凹凸曼

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

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

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

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

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

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

以太坊信標鏈待定驗證者數量達3.345萬，創歷史新高:5月11日消息，據21Shares研究分析師Tom Wan在社交媒體披露數據顯示，以太坊信標鏈上的待定驗證者數量已達到3.345萬，創下歷史新高。與此同時，當前只有1個驗證者在退出隊列，約4180個驗證者在提款隊列。

此外，到目前為止以太坊已經處理了超過300萬筆部分提款（獎勵）和46000筆全部提款交易（其中70%來自Kraken、Coinbase、Binance等CEX）。值得注意的是，Lido已經從部分提款中獲得了約27.4萬枚ETH，可以隨時用于兌現任何贖回。[2023/5/11 14:56:37]

Validity Rollups

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

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

FRNT?Financial：對FTX或Alameda沒有重大風險敞口:金色財經報道，加密貨幣平臺FRNT?Financial表示，對FTX或Alameda沒有重大風險敞口。[2022/11/16 13:09:20]

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

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

何一：來自傳統金融界的從業者認為使用客戶資金是正常的，但Crypto不是銀行:11月12日消息，幣安聯合創始人兼Binance Labs負責人何一發推稱，來自傳統金融（TradFi）背景的人認為使用客戶資金是正常的，但Crypto不是銀行。簡單地將Crypto視為貨幣或股票可能會導致風險管理出現問題——類似于將您的種子短語放入保險庫并希望這能保證安全。

（可悲的）現實是，大多數快速崛起和衰落的團隊都是來自TradFi世界的“blue blood（藍血貴族）”，屬于極少數可能最能與監管機構溝通的人。這些人的衰落對處于起步階段的Crypto行業造成了極其不公平的偏見。（更可悲的是）直到那些人倒下的那一刻，他們都不知道自己為什么會倒下，只是希望“如果牛市來了，我不會死”。[2022/11/12 12:54:41]

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

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

THNDR Games推出P2E紙牌游戲Club Bitcoin: Solitaire:9月20日消息，比特幣游戲公司THNDR Games發布P2E手機版紙牌游戲Club Bitcoin: Solitaire。該游戲將允許玩家在玩紙牌游戲的同時賺取比特幣。（CoinDesk）[2022/9/20 7:07:06]

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

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

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

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

幣安完成BUSD在Avalanche、Polygon網絡的集成，并開放充提業務:9月19日消息，據官方公告，幣安已完成BUSD在Avalanche、Polygon網絡上的集成，并開發充提業務，并在這兩個網絡上開放BUSD的充值和提現業務。用戶可以在以太坊、BNB Chain、Avalanche和Polygon網絡上轉移BUSD。[2022/9/19 7:05:40]

因此，各種 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.用于編寫可證明程序的 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：AIR以太坊CAIROCAIAIRPAY以太坊最新價格行情Cairo Finance

中幣