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

作者：StarkWare；編譯：凹凸曼

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

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

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

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

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

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

俄羅斯經濟學家：無論央行采取什么行動，加密貨幣都不會被完全消滅:金色財經報道，俄羅斯著名的經濟學家Nikita Maslennikov認為，中央銀行最終將決定加密貨幣的命運，即使他們目前沒有“優先考慮”對該行業的監管。加密貨幣監管已成為許多國家的問題。然而，中央銀行不認為加密貨幣監管是他們的主要任務之一。俄羅斯和中國都對加密貨幣采取了“更強硬的立場”。中國已禁止大多數與加密相關的活動，包括采礦和交易加密貨幣。俄羅斯中央銀行也提議全面禁止，盡管其他政府機構采取了更先進的方法。而美國迄今為止采取了更溫和的監管方式。盡管如此，加密貨幣的未來仍與中央銀行對市場的監管有關。

Maslennikov聲稱，無論央行行長采取什么行動，加密貨幣都不會被完全消滅。他表示，人們對“風險和投機”的胃口將確保加密貨幣以某種形式存在。[2023/2/21 12:19:42]

Validity Rollups

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

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

電商巨頭TMON前CEO因涉嫌在平臺引入Terra支付的過程中受賂被捕:2月15日消息，調查Terra/Luna崩盤事件的韓國檢察官逮捕了該國電商巨頭TMON前首席執行官A某，因其涉嫌TMON平臺引入加密貨幣Terra支付的過程中接受委托并收受數十億韓元的賄賂。在該過程中起中間作用的B某也被逮捕。對他們的拘捕令實質審查將于2月16日舉行。

據悉，A某涉嫌接受Terraform Labs聯合創始人兼CHAI Corporation總經理、當時任TMON董事會主席Daniel Shin等人的不正當請托，并以此為條件獲得Luna代幣，TMON在韓國金融界首次將Terra作為快捷支付手段，并大力宣傳。據調查，A某將收到的Luna代幣變現，賺取了數十億韓元。[2023/2/15 12:08:35]

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

Gitcoin宣布Alpha輪融資將于1月17日舉行:1月11日消息，Gitcoin官方宣布，Gitcoin Alpha輪二次方融資將于2023年1月17日至1月31日舉行，本輪將支持200名致力于開源軟件、以太坊基礎設施和氣候解決方案的受資助者，總匹配資金為100萬美元。

據悉，在Alpha測試輪，捐助者可在其參與的每一輪中申領一個POAP，收集到所有POAP的用戶將有資格參與抽獎，贏得Schelling Point VIP禮包，包括150美元的Gitcoin產品。此外，2023年Gitcoin將過渡到基于區塊鏈的贈款協議，允許任何人啟動二次方融資贈款項目。該協議將使資助者能夠隨時建立一個贈款項目，為那些可以跨不同輪次申請的受資助者和希望提供小額資金的捐助者增加靈活性。[2023/1/11 11:06:06]

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

瑞士加密谷協會和Crypto Oasis合作促進中東區塊鏈發展:金色財經報道，瑞士加密谷協會(CryptoValleyAssociation，CVA)與Crypto Oasis合作，在迪拜開設了一個分會，以便與中東地區的區塊鏈公司合作。這一舉措將加強合作，促進每個領域的進一步發展和創新。Crypto Oasis的聯合創始人Faisal Zaidi將擔任中東地區的分會負責人。

Crypto Oasis的創始人Ralf Glabischnig將Crypto Valley與Crypto Oasis連接起來，其目的是將加密谷的獨特的生態系統發展技術復制到加密綠洲中。（cryptonewsbtc）[2022/9/8 13:16:58]

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

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

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

安全團隊：Audius漏洞利用者已將700枚ETH轉入Tornado Cash:7月24日消息，據安全團隊CertiK監測，去中心化音樂平臺Audius的漏洞利用者只有ETH的錢包已將700枚ETH轉入Tornado Cash。

此前消息，Audius社區金庫被利用，損失1850萬枚Audio代幣，黑客將資金在Uniswap兌換為約705枚ETH。[2022/7/24 2:34:44]

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

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：AIRCAIROCAI以太坊AIRDROPCAIRO幣MUSICAI以太坊交易所在哪下載

比特幣最新價格