可驗證的雲：關於EigenCloud的一些說明

一個新的 web3 雲平台的架構。

![](http://img-cdn.gateio.im/social/moments-409392c315b2051ab39a91520f2eb6cc019283746574839201 幾天前，EigenLayer 推出了 EigenCloud，這標志着該平台的新迭代從單純的重新質押轉變爲啓用完全可驗證的應用程序。這些概念非常引人注目，當然，我發現其中一些想法對下一代 web3 平台很有吸引力。

在過去十年中，區塊鏈重新定義了對計算的信任。比特幣引入了可驗證的稀缺性。以太坊將其推廣到可驗證的金融中。但隨着生態系統的成熟，一個基本的約束出現了：雖然區塊鏈應用程序是防篡改的，但它們並不是完全可編程的。EigenCloud 提出了一種新的架構，將雲規模的表達性與加密級的可驗證性融合在一起。通過將應用程序邏輯外部化到鏈下可驗證的容器中，並使用 EigenLayer 的加密經濟機制對其進行保護，EigenCloud 重新配置了去中心化世界的計算基礎。這不僅僅是基礎設施的演變;它是可驗證經濟的藍圖。

![])http://img-cdn.gateio.im/social/moments-91fbacec536047e097906519f958f43b( ) 架構基礎：解耦 Token 和 Application Logic

EigenCloud 的核心理念是架構模塊化。區塊鏈虛擬機 ###EVM、WASM、ZKVMs( 被確定性和狀態共識所限制。爲了超越這一點，EigenCloud 將應用邏輯與代幣邏輯解耦。代幣邏輯——托管、轉移和結算——保持在鏈上。應用邏輯——業務規則、計算、編排——在由加密經濟削減治理的鏈外容器中執行。

這些容器在標準環境 019283746574839201e.（例如 Docker、Kubernetes)）中預置，可以使用任何編程語言、庫或硬件 019283746574839201e.（例如 GPU、TEEs(。鏈下執行的完整性是通過質押 EIGEN 代幣來加強的：如果運營商行爲不誠實，他們的賭注將被削減，或者在極端情況下，代幣本身被分叉。此機制支持豐富的應用程序語義，而不會影響分散式系統的可審計性和信任保證。

![])http://img-cdn.gateio.im/social/moments-1a39bf3d3cba983284672a0e5c791b25( ) Eigen原語：啓用富有表現力的可驗證執行

EigenCloud 是基於一套模塊化原語構建的，這些原語建立在 EigenLayer 的共享安全模型之上。每個原語都解決了去中心化基礎設施中的結構性瓶頸：

1. EigenDA ( 數據可用性 )：一個超大規模的數據可用性層，提供50MB/s的吞吐量和可驗證的Blob存儲。它確保計算輸入和輸出始終可訪問且防止欺詐。
2. EigenVerify：一個驗證框架，支持客觀###的重新執行、ZK證明(和主體間)的人類可接受(的正確性聲明。這使得主觀協議)，例如治理、管理、預測市場(，可以通過加密經濟支持來解決。
3. EigenCompute：一個編排層，抽象化容器部署、質押配置、信任模型選擇和 AVS )Autonomous 可驗證Service(組合。它將可驗證性轉換爲可編程基元。

![])http://img-cdn.gateio.im/social/moments-5e949729e4d4403a15c503760771e354( 這種分層方法使開發者能夠同時構建具有雲原生用戶體驗和密碼學問責制的應用程序。驗證不再是事後審計，而是一個一流的計算原語。

) 解鎖新的應用前沿

EigenCloud 將去中心化應用的可行設計空間擴展到多個軸上：

• 具有加密經濟責任的AI代理：代理可以持有資產、執行合同，並因惡意行爲而被削減。這使得主權AI實體能夠在可驗證的法律基礎內自主運作。
• 無需信任的遊戲和預測市場：通過結合可驗證的隨機性、AI 裁判和 zk 證明，遊戲和市場可以在沒有中心化中介的情況下自行結算。抗審查性和可審計性成爲內在屬性。
• 可編程的社交激勵：代幣化的社交平台可以以可證明、可編程的方式獎勵參與或審核行爲，爲模因幣經濟、社區 DAO 和去中心化媒體創造新的原語。
• 合規企業工作流程：醫療索賠裁定、保險或供應鏈合規等用例受益於熟悉的雲工具和區塊鏈級審計跟蹤的雙重優勢。

這些領域都受益於EigenCloud的模塊化信任假設：開發者可以根據其用例的認識論性質選擇樂觀、經濟、零知識或主體間驗證。

( EIGEN Token 和可分叉性：一種新的信任基礎

EigenCloud 的核心是 EIGEN 代幣，它不僅被設計爲一種實用程序或治理資產，而且作爲加密經濟共識的基材。EIGEN 代幣引入了一個分叉結構：一個可轉讓的 ERC-20 代幣)EIGEN###及其質押表示###bEIGEN(，該代幣可能會受到罰沒和分叉的影響。

關鍵創新是可分叉性：如果大多數 EIGEN 質押者串通產生無效結果 )例如，損壞的推理、僞造的 DA blobs(，代幣可以分叉。惡意的質押者會被罰沒，誠實的挑戰者會得到獎勵。這種“核威懾”確保了一致性，而不需要誠實的多數假設。應用程序和鏈可以選擇性地預先提交以遵循規範的分叉，從而實現 無條件正確性。

此體系結構創建了一系列安全模型：

• 即時： 經濟削減
• 樂觀: 挑戰期
• 可分叉： 主體間正確性
• 無條件： 與 EIGEN 前叉進行鏈級對齊

EigenCloud因此將rollup安全模型推廣到任意計算。

) 可驗證雲：Web3 相當於 AWS

EigenCloud的結構模仿了現代雲棧。EigenDA提供類似於S3的數據原語。EigenCompute類似於用於可驗證函數的Lambda。EigenVerify是共識和裁決層。EIGEN代幣則保障了整個信任管道。

隨着此基礎設施的成熟，預計 AVS 將出現寒武紀式爆炸式增長：可驗證數據庫、zk-indexer、oracle 網路、AI 推理模塊等。開發人員將能夠像 Web2 開發人員編寫 SaaS API 一樣編寫這些服務。經濟飛輪復合：更多的應用程序需要可驗證的服務，這激勵了更多的 AVS，從而吸引了更多的股份，從而提高了可驗證性保證。

結果是一種新型的雲：不僅執行而且正確性本身是可編程的。

( 結論：構建可驗證的經濟

EigenCloud 通過將雲的表達性與區塊鏈的責任感聯繫起來，重新構想了加密應用程序的執行層。它不僅擴展了現有 L1 和 L2 的功能，還重構了應用程序堆棧本身。通過邏輯分離、模塊化驗證和代幣分叉的威懾力，它不僅使我們能夠構建去中心化的應用程序，而且可以構建可驗證的機構。

這是一個基礎，標志着一個時代的到來，在這個時代，人工智能、治理、金融和基礎設施不僅通過激勵機制來協調，還通過正確性來協調。雲計算使經濟可編程。EigenCloud使其可驗證。

![])http://img-cdn.gateio.im/social/moments-040207998f500205c40d147d31976089###

可驗證的雲：關於EigenCloud的一些筆記最初發表於Medium上的Sentora，那裏人們通過突出和回應這個故事繼續進行討論。