介紹

區塊鏈是全球分布的賬本，可以就全球狀態達成共識。一些區塊鏈配備了圖靈完備的執行環境，可以在此全局狀態之上實現可編程性。針對區塊鏈執行環境的程序稱爲智能合約，底層區塊鏈稱爲智能合約平颱。以太坊、Solana 和 Avalanche 是最廣爲人知的智能合約平颱。我們可以將智能合約平颱視爲分布式計算機，執行環境（或虛擬機）充當CPU，狀態充當存儲角色。

這種將區塊鏈視爲計算機的框架對於解釋爲什麽協處理器/鏈外計算是不可避免的非常重要，特別是在區塊鏈的背景下。在傳統計算中，協處理器起源於微架構，旨在提高性能。衕樣，以太坊上的協處理器承諾訪問歷史數據和高性能離線計算，以增強基礎層協議的功能和設計空間。請參閲這篇關於協處理器的介紹性文章以了解更多信息。

本文從基本原理出髮探討協處理器，旨在闡明它們的重要性和元屬性。然後，我們將它們與彙總進行比較，展示這兩個概念雖然不衕，但卻密切相關。我們還提供了何時可以將彙總和協處理器結合使用的示例。例如，即使是全能的彙總或 L1 也可能需要協處理器來執行繁重的任務。

我們通過觀察區塊鏈正在走曏計算集中但驗證仍然分散的未來來結束本文。彙總、協處理器和任何其他形式的可驗證鏈下計算隻是這個未來的不衕實例。

我們是如何到達這裡的：

Vitalik 在《區塊鏈可擴展性的限製》中提到，對於區塊鏈去中心化來説，普通用戶可以運行節點非常重要。

如前所述，以太坊在很多方麵都可以被概念化爲去中心化的全球計算機。它是運行軟件的節點網絡，爲執行智能合約提供計算資源。以太坊區塊鏈存儲狀態信息和代碼，類似於計算機的存儲和內存。以太坊虛擬機（EVM）運行在每個節點上，像CPU一樣處理交易併執行代碼。然而，以太坊是無需許可和去中心化的，使用不可信節點之間的共識。如果某些節點離線，網絡將繼續運行。爲了確保 EVM 操作的正確性，以太坊等權益證明 (PoS) 網絡上的驗證器必鬚執行所有狀態轉換來驗證它們。這限製了 PoS 網絡最慢節點的速度，限製了應用程序開髮人員可用的計算量。

與普通計算機不衕，以太坊限製計算和存儲以防止網絡濫用。每次操作都會收取費用，因此無限循環在經濟上不切實際。這種方法降低了進入門檻，允許像 Raspberry Pi 這樣的日常硬件運行網絡節點。這些限製使得包容性繫統成爲可能，任何人都可以幫助操作去中心化的以太坊網絡。

由於以太坊節點的這些計算限製，機器學習模型、游戲或科學計算應用程序等覆雜應用程序目前無法直接在以太坊上運行。

爲了使以太坊能夠廣泛訪問、安全且可持續地作爲基本應用程序的基礎，這是一種權衡。但不可避免的是，相對於計算不受限製的計算機而言，存在一些限製。即使與像 Pentium 5 這樣的古老處理器相比，它也有局限性：

沒有覆雜的浮點數學 - EVM 僅支持基本數學和邏輯運算。像神經網絡這樣的高級數值計算是不可行的。 （一個有趣的消息是，無法處理浮點也使得交換 Ampleforth 等 rebase 資産在最近的歷史中變得更加睏難，有時甚至與某些 DEX 不兼容）。

每個區塊的計算量有限 - 燃氣費計計算，因此像游戲這樣的覆雜軟件將非常昂貴。每個區塊的 Gas 限製爲 30M Gas。

內存有限——智能合約的永久存儲限製較小，使得大型程序變得睏難。

無持久文件存儲 - 無法在區塊鏈上存儲圖形、音頻或視頻等文件。

速度慢——以太坊上的交易速度目前約爲 15 TPS，比 CPU 慢許多數量級。

最終，有限的存儲和計算限製了應用程序可用的自由度（這些限製因區塊鏈而異，但它們始終存在）。人們將區塊鏈與 1970 年代至 1980 年代的計算受限環境進行比較，但我們認爲兩者之間存在一些很大的差異：

20 世紀 70 年代至 80 年代，計算技術髮展迅速（微處理器中的晶體管數量在此期間從約 1,000 個增加到約 1,000,000 個）。但這種增長併不意味著人們經常購買或更新他們的計算機。由於智能合約平颱受到最慢節點的限製，計算機前沿的加速不一定會導緻區塊鏈的計算速度成比例增加。隻有更新區塊鏈上節點的基準要求，才能實現加速。

不斷更新節點的最低硬件要求和去中心化之間也存在明顯的權衡。單獨的質押者可能不想每隔幾年升級一次硬件（他們當然不想每天監控性能），導緻隻有專業人士想要運行區塊鏈基礎設施。

所有這一切都錶明，這些年來，CPU 得到了改進，我們在每颱設備上穫得了更多的 CPU 核心，使我們能夠執行逐漸覆雜的任務。如果我們認爲區塊鏈計算機的速度不會像傳統計算一樣快（由於基準節點要求），那麽嘗試尋找替代計算源是有意義的。這裡有一個有趣的類比，傳統計算中的 CPU 併不擅長圖形處理任務，導緻幾乎每颱計算機中 GPU 的興起。衕樣，由於區塊鏈專註於成爲啟用簡單計算電池的安全狀態存儲，因此鏈下計算顯然有機會擴展應用程序設計空間。如今，區塊鏈僅對需要開放訪問、自我主權、審查阻力和可組合性等屬性的低計算應用程序有意義。爲了將更多種類的應用程序放到鏈上，我們需要解除對應用程序開髮人員的限製。我們這麽説的前提是，這些限製也有利於實驗。例如，由於計算限製，CLOB 無法在以太坊上有效運行，因此採用了 AMM，其交易量已達到一萬億美元。

有兩種常見方法可以爲區塊鏈應用程序提供更多計算能力：

相對頻繁地增加基線節點要求。這大緻就是 Solana 和 Sui 等集成高性能區塊鏈所採取的路徑。節點的高基線使它們能夠構建非常快速的區塊鏈，併且還消除了應用程序設計中的一些設計限製。 Phoenix 是 Solana 上的限價訂單簿 DEX，目前無法在以太坊（或任何 L2）上構建。不斷增加的基線要求的另一麵是，如果它們不斷增長，那麽運行節點可能隻對專業基礎設施提供商可行。歷史 RAM 需求很好地展示了 Solana 上的硬件需求如何持續增長：

網絡存檔（註意：我們使用 2020 年的 RAM 需求中位數）

將計算轉移到鏈下第三方。這是以太坊生態繫統採取的策略。這些第三方本身可以是區塊鏈（在彙總的情況下）、鏈下可驗證計算設備（即協處理器）或可信第三方（如 dydx 訂單簿等特定於應用程序的鏈下計算的情況）。

邁曏鏈下計算的統一

最近，關於協處理器的討論有所增加，它提供鏈下可驗證計算。協處理器可以通過多種方式實現，包括但不限於零知識證明或可信執行環境（TEE）。一些例子是：

ZK 協處理器：Axiom、Risc Zero 的 Bonsai。

TEE：馬林牡蠣、

衕時，在卸載計算方麵，以太坊以彙總爲中心的路線圖將計算卸載到以太坊上的各種彙總。在過去的幾年裡，由於 Rollups 提供了更便宜、更快的交易和激勵措施，不斷有開髮人員和用戶遷移到 Rollups。在理想的世界中，彙總允許以太坊通過鏈下執行來擴展其整體計算能力，而無需添加信任假設。更多計算不僅僅指執行更多交易，還指對每個交易進行更具錶現力的計算。新的事務類型擴展了應用程序可用的設計空間，更高的吞吐量降低了執行這些錶達性事務的成本，確保以經濟實惠的方式訪問更高級別的應用程序。

在進一步討論之前，讓我們簡要定義一下彙總和協處理器，以防止混淆：

Rollups：Rollups 維護與其基礎/主機鏈不衕的持久的分區狀態，但仍然通過曏其髮布數據/證明來繼承其基礎的安全屬性。通過將狀態移出主機鏈，彙總可以在將這些狀態轉換的完整性證明髮布到主機之前使用額外的計算來執行狀態轉換。對於不想支付以太坊高額費用但想要訪問以太坊安全屬性的用戶來説，Rollup 最爲有用。

在深入探討協處理器之前，讓我們先了解一下目前以太坊上智能合約開髮的局限性。以太坊在其全局狀態中具有持久狀態存儲 - 賬戶餘額、合約數據等。這些數據無限期地保留在區塊鏈上。但是，也有一些限製：

合約數據的最大大小是有限的（例如，當前每個合約 24KB，併在 EIP 170 中設置）。存儲大文件會超出這個範圍。 （*協處理器也無法解決）

讀/寫合約存儲比文件繫統或數據庫慢。訪問 1KB 的數據可能會花費數百萬的 Gas。

當全局狀態持續存在時，各個節點僅以“修剪”模式在本地保留最近的狀態。完整的狀態歷史記録需要存檔節點。

沒有用於處理圖像、音頻和文檔等文件的本機文件繫統原語。智能合約隻能將基本數據類型讀取/寫入存儲。

圍繞這個問題的解決方案是：

大文件可以分成較小的部分以適應合衕存儲限製。

文件引用可以存儲在鏈上，文件可以存儲在鏈外繫統中，例如 IPFS。

協處理器：協處理器本身不維護任何狀態；它們的行爲類似於 AWS 上的 lambda 函數，應用程序可以曏它們髮送計算任務，然後它們返回帶有計算證明的結果。協處理器從根本上增加了任何給定事務的可用計算量，但由於協處理器上的證明也是在每個事務的基礎上進行的，因此使用它們將比彙總更昂貴。考慮到成本，協處理器可能對想要以可驗證的方式執行覆雜的一次性任務的協議或用戶有用。協處理器的另一個好處是，它們允許使用鏈下計算的應用程序也可以訪問以太坊的完整歷史狀態，而無需曏應用程序本身添加任何信任假設；這在今天的普通智能合約中是不可能的。

爲了深入了解彙總和協處理器之間的差異，讓我們參考這兩種原語的 ZK 風格。 ZK rollups 可以訪問零知識證明的可驗證性和壓縮方麵，從而從根本上提高生態繫統的吞​​吐量。另一方麵，協處理器僅訪問 zk 證明的可驗證性屬性，這意味著繫統的整體吞吐量保持不變。此外，ZK rollups 需要能夠證明任何針對該 rollup 的虛擬機的程序的電路（例如，以太坊上的 rollups 已經爲針對 EVM 的合約構建了 zkEVM）。相比之下，ZK 協處理器隻需要爲它們要執行的任務構建電路。

因此，彙總和協處理器之間的兩個最大區別似乎是：

彙總維護分區持久狀態，而協處理器則不維護（它們使用主機鏈的狀態）。

彙總（顧名思義）將多個事務一起批處理，而協處理器通常作爲單個事務的一部分用於覆雜的任務（至少在當前範例中）。

最近，Booster Rollups 被提出，它執行交易就像直接在主機鏈上運行一樣，可以訪問主機的完整狀態。然而，Booster Rollups 也有自己的存儲，允許它們跨主機和 Rollup 擴展計算和存儲。 Booster Rollup 提案指出了鏈外計算設計範圍中存在一個頻譜，傳統的 Rollup 和協處理器位於該頻譜的兩端。 Rollups、Booster Rollups 和 Coprocessors 都提供對更多計算的訪問，唯一的區別在於它們保留了從基礎 L1 分區的狀態量。

在 2023 年模塊化峰會上的一次名爲“屏蔽交易是彙總”的演講中，Henry De Valence 談到了這個確切的概念，併提出了一個非常簡單的圖像來定義彙總：

該演講假設基礎鏈卸載給第三方的任何執行都是彙總。根據他的定義，協處理器也將是彙總。這與我們在鏈下可驗證計算的旗幟下統一彙總和協處理器的觀點略有不衕，但總體情緒保持不變！

在他的 Endgame 願景中，Vitalik 討論了區塊生産集中化、區塊驗證不可信且高度去中心化的未來。我們相信，這大緻是思考現在正在髮生的事情的正確模型。在 zk-rollup 中，區塊生産和狀態轉換計算是集中的。然而，證明使得驗證變得廉價且去中心化。類似地，zk 協處理器沒有區塊生産；它僅訪問歷史數據併計算該數據的狀態轉換。 zk 協處理器上的計算可能總是在集中式機器上執行；盡管如此，隨結果一起返回的有效性證明允許任何人在使用結果之前驗證它們。也許將 Vitalik 的願景重述爲正確的：“未來計算是中心化的，但中心化計算的驗證是去信任的且高度去中心化的。”

相識又有差別

盡管總體上很相似，但彙總和協處理器如今服務於截然不衕的市場。有人可能會問，“如果我們可以在 ETH L1 上使用協處理器併穫得其流動性，爲什麽我們需要彙總？”雖然這是一個公平的問題，但我們認爲有幾個原因可以解釋爲什麽彙總仍然有意義（併且提供了比當今協處理器更大的市場機會）：

如前所述，協處理器允許您在衕一事務中訪問比 L1 更多的計算。但它們無助於改變調用協處理器的區塊鏈可以執行多少交易（如果您正在考慮批處理，瞧，您已經到達了彙總）。通過維護分區持久狀態，彙總可以增加想要使用以太坊安全屬性訪問區塊空間的人可用的交易數量。這是可能的，因爲彙總僅每 n 個區塊髮布到以太坊，併且不需要所有以太坊驗證器來驗證狀態轉換的髮生。有興趣的人可以依靠證據。

即使您使用協處理器，您仍然需要支付與 L1 上任何其他交易相衕數量級的費用。另一方麵，通過批處理進行彙總可以將成本降低幾個數量級。

此外，由於彙總提供了在這種單獨狀態上運行事務的能力，因此它們的行爲仍然像區塊鏈（更快、去中心化程度較低的區塊鏈，但仍然是區塊鏈），因此它們對於可以從彙總訪問的計算量也有明確的限製本身。在這種情況下，如果用戶想要執行任意覆雜的事務，則協處理器對於彙總非常有用（現在您正在彙總上執行可驗證的事務，因此您隻需遵守彙總的物理定律）。

這裡需要註意的另一個要點是，目前大部分流動性都駐留在 ETH L1 上，因此對於許多依賴流動性來改進其産品的協議來説，仍然在以太坊主網上啟動可能是明智的選擇。以太坊主網上的應用程序可以通過在協處理器上間歇性地執行事務來訪問更多計算。例如，像 Ambient 或 Uniswap v4 這樣的 DEX 可以使用鉤子與協處理器來執行覆雜的邏輯，以決定如何更改費用，甚至根據市場數據修改流動性曲線的形狀。

一個有趣的類比將彙總和協處理器之間的相互作用與命令式編程和函數式編程進行了比較。命令式編程側重於可變狀態和副作用，指定逐步執行任務的方式。函數式編程強調不可變數據和純函數，避免狀態變化和副作用。衕樣，彙總就像修改它們所持有的狀態的命令式程序，而協處理器就像函數式程序，它們不會改變狀態，但會生成結果以及計算證明。此外，就像命令式編程和函數編程一樣，彙總和協處理器也有其用武之地，併且應該相應地使用。

基於證據的未來

如果我們最終進入一個計算集中化的世界，但集中式計算的驗證是無需信任且高度去中心化的，那麽以太坊將走曏何方？世界計算機會被簡化爲一個數據庫嗎？這是壞事嗎？

最終，以太坊的目標是讓用戶能夠訪問無需信任的計算和存儲。過去，在以太坊上訪問免信任計算的唯一方法是由所有節點執行和驗證計算。隨著證明技術（尤其是零知識證明）的進步，我們可以將驗證器節點上髮生的大部分計算轉移到鏈外計算，而隻讓驗證器在鏈上驗證結果。這本質上將以太坊變成了世界上不可變的公告闆。計算證明使我們能夠驗證交易是否正確完成，併且通過將它們髮布到以太坊，我們可以穫得這些證明的時間戳和不可變的歷史存儲。隨著零知識證明在任意計算上變得更加高效，在某些時候，在 ZK 中進行計算的成本可能會大大低於在區塊鏈（甚至可能是 100 個驗證者的 CometBFT 鏈）上進行計算的成本。在這樣的世界中，很難想象 ZK 證明不會成爲訪問去信任計算的主導模式。 David Wong 最近也錶達了類似的想法：

未來任何計算都可以被證明，這也使我們能夠爲有用戶需求的各種無需信任的應用程序構建基礎設施，而不是試圖改造以太坊基礎層以成爲這些應用程序的家園。在理想情況下，定製的基礎設施將創造更加無縫的用戶體驗，併且還將隨著構建在其之上的應用程序進行擴展。這有望讓 web3 應用程序能夠與 web2 應用程序競爭，併迎來密碼朋剋們一直夢想的去信任的、基於證據的未來。

總而言之，我們相信我們正在朝著以下範式邁進：

————————————————————不要信任，驗證————————————————————-

聲明：

1. 本文轉載自[mirror]，著作權歸屬原作者[Jacob Ko]，如對轉載有異議，請聯繫Gate Learn團隊，團隊會根據相關流程盡速處理。
2. 免責聲明：本文所錶達的觀點和意見僅代錶作者個人觀點，不構成任何投資建議。
3. 文章其他語言版本由Gate Learn團隊翻譯， 在未提及Gate.io的情況下不得覆製、傳播或抄襲經翻譯文章。