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

作者：StarkWare；編譯：凹凸曼

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

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

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

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

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

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

新加坡央行已審查代幣化和DeFi協議各個方面的可行性:金色財經報道，新加坡金融管理局提交了一份報告，總結了其與國際清算銀行在Guardian項目上的工作。該計劃旨在審查代幣化和DeFi是否符合國際標準。作為該項目的一部分，參與者考慮了將協議整合到機構市場基礎設施中的可能性。專家們測試了DeFi應用程序的“可行性”，以及在不危及全球金融穩定和完整性的情況下將實物資產轉換為數字代幣的選項。該論文揭示了開放且可互操作的私有區塊鏈的案例，該區塊鏈使用去中心化金融協議提供代幣化資產的交換。該報告旨在介紹DeFi應用的最佳實踐，這些應用可以監管股票、固定收益工具、外匯和投資基金等資產類別的交易。該文件介紹了允許類似工具交易的設計選項的通用結構。[2023/6/27 22:02:03]

Validity Rollups

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

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

美SEC向幣安附屬公司BAM以及趙長鵬發出臨時限制令:6月7日消息，美國證券交易委員會（SEC）對幣安及其附屬公司 BAM Managemen、BAM Trading 以及幣安首席執行官趙長鵬發出臨時限制令

文件中美 SEC 還提到禁止幣安銷毀、更改或隱藏相關記錄；稱 BAM Trading 在 Binance.US 上的質押計劃是一項投資合同，因此屬于證券的定義；幣安及趙長鵬指導 BAM Trading 在美國的業務運營。文件表示，自法院發布限制令之日 10 天內，每位被告應將投資者在 Binance.US 平臺上存放、持有、交易和 / 或應計的所有法定貨幣和加密資產返還美國，包括 BAM 的質押服務計劃。

此前報道，SEC已請求法院批準凍結與Binance.US相關的資產。[2023/6/7 21:20:44]

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

加密貨幣交易管理平臺Nilos完成520萬美元融資，Viola Ventures等領投:9月20日消息，加密貨幣和法幣資金管理平臺Nilos在今年4月完成520萬美元融資，Viola Ventures和Fabric Ventures領投，Mensch Capital Partners、Yuval Tal、Sebastien Borget、Emmanuel Schalit、Benjamin Seror、Didier Valet、Guillaume Houz、Phillipe Suchet、Valentine Baudoin等參投。

據悉，Nilos提供的Dashboard可以顯示包括加密貨幣和法幣支付交易在內的所有交易。企業可以使用該平臺跨多個賬戶啟動付款和對賬操作。（Techcrunch）[2022/9/21 7:09:22]

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

Oasis宣布上線開發人員支持計劃“ROSE Bloom Grants Program”:6月15日消息，隱私計算網絡Oasis宣布上線開發人員支持計劃“ROSE Bloom Grants Program”，該計劃將允許開發人員探索DeFi和NFT解決方案的新領域，每個成功的提案都有資格獲得高達50,000美元的ROSE代幣。（Medium）[2022/6/15 4:29:52]

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

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

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

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

映客Web3項目Hoot Labs今日正式上線:5月16日消息，映客web3.0項目Hoot Labs正式上線。Hoot Labs主要以海外NFT業務為主，將于近日上線首批產品。

據悉，映客旨在打造一個具有無限活力與生機的社交元宇宙”。未來，隨著產品和業務深入發展，Hoot Labs也將在不同階段上線不同系列的NFT產品。[2022/5/16 3:19:59]

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

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

因此，各種 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：AIRCAICAIRO以太坊FairEclipseCAIRO幣CAIRO價格以太坊交易所app

KuCoin