Đám mây có thể xác minh: Một số lưu ý về EigenCloud

Kiến trúc cho một nền tảng đám mây web3 mới.

!
Vài ngày trước, EigenLayer đã công bố EigenCloud, đánh dấu thế hệ mới của nền tảng chuyển từ việc chỉ restaking sang việc cho phép các ứng dụng hoàn toàn có thể xác minh. Các khái niệm này rất hấp dẫn và chắc chắn tôi thấy một số ý tưởng rất hấp dẫn cho thế hệ tiếp theo của các nền tảng web3.

Trong thập kỷ qua, các blockchain đã xác định lại niềm tin vào tính toán. Bitcoin đã giới thiệu sự khan hiếm có thể kiểm chứng được. Ethereum đã khái quát hóa nó thành tài chính có thể kiểm chứng. Nhưng khi hệ sinh thái trưởng thành, một hạn chế cơ bản xuất hiện: mặc dù các ứng dụng blockchain không bị giả mạo, nhưng chúng không thể lập trình hoàn toàn. EigenCloud đề xuất một kiến trúc mới kết hợp khả năng biểu đạt quy mô đám mây với khả năng xác minh cấp tiền điện tử. Bằng cách bên ngoài logic ứng dụng vào các vùng chứa có thể xác minh ngoài chuỗi và bảo mật nó bằng các cơ chế kinh tế tiền điện tử của EigenLayer, EigenCloud cấu hình lại nền tính toán của thế giới phi tập trung. Nó không chỉ là một sự phát triển trong cơ sở hạ tầng; đó là kế hoạch chi tiết cho nền kinh tế có thể kiểm chứng.

!

Cơ sở kiến trúc: Tách rời Token và Logic ứng dụng

Cái nhìn sâu sắc trung tâm đằng sau EigenCloud là mô-đun kiến trúc. Các máy ảo blockchain (EVM, WASM ZKVMs) bị tắc nghẽn bởi quyết định luận và sự đồng thuận của nhà nước. Để vượt qua điều này, EigenCloud tách logic ứng dụng khỏi logic token. Logic token - ký quỹ, chuyển khoản và thanh toán - vẫn nằm trên chuỗi. Logic ứng dụng - quy tắc kinh doanh, tính toán, điều phối - được thực thi trong các container ngoài chuỗi được điều chỉnh bởi cắt giảm kinh tế tiền điện tử.

Các bộ chứa này, được cung cấp trong môi trường tiêu chuẩn (, ví dụ: Docker, Kubernetes), có thể sử dụng bất kỳ ngôn ngữ lập trình, thư viện hoặc phần cứng nào (, ví dụ: GPU, TEEs). Tính toàn vẹn của việc thực hiện ngoài chuỗi được thực thi thông qua việc đặt cược vào token EIGEN: nếu một nhà điều hành hành xử không trung thực, cổ phần của họ sẽ bị cắt giảm hoặc trong trường hợp cực đoan, bản thân token sẽ bị phân nhánh. Cơ chế này cho phép ngữ nghĩa ứng dụng phong phú mà không ảnh hưởng đến khả năng kiểm tra và đảm bảo tin cậy của các hệ thống phi tập trung.

Các nguyên thủy Eigen: Kích hoạt thực thi biểu cảm, có thể xác minh

EigenCloud được hỗ trợ bởi một tập hợp các nguyên tắc mô-đun được xây dựng trên mô hình bảo mật chia sẻ của EigenLayer. Mỗi nguyên tắc giải quyết một nút thắt cấu trúc trong hạ tầng phi tập trung:

1. EigenDA (Data Availability): Lớp tính khả dụng dữ liệu siêu quy mô cung cấp thông lượng 50MB/giây và lưu trữ blob có thể xác minh. Nó đảm bảo rằng đầu vào và đầu ra tính toán vẫn có thể truy cập liên tục và chống gian lận.
2. EigenVerify: Một khung xác minh hỗ trợ cả mục tiêu (, proofs) ZK và liên chủ thể (human-agreeable) tuyên bố tính đúng đắn. Điều này cho phép các giao thức chủ quan (ví dụ: quản trị, kiểm duyệt, dự đoán markets) được giải quyết với sự hỗ trợ kinh tế tiền điện tử.
3. EigenCompute: Một lớp điều phối trừu tượng hóa việc triển khai vùng chứa, cấu hình đặt cược, lựa chọn mô hình tin cậy và thành phần Service( có thể xác minh )Autonomous AVS. Nó biến đổi khả năng kiểm chứng thành một nguyên thủy có thể lập trình.

!
Cách tiếp cận theo lớp này cho phép các nhà phát triển xây dựng ứng dụng với trải nghiệm người dùng đám mây và trách nhiệm giải trình mật mã đồng thời. Việc xác minh không còn là một cuộc kiểm toán sau đó mà trở thành một nguyên lý tính toán hàng đầu.

Mở khóa các ranh giới ứng dụng mới

EigenCloud mở rộng không gian thiết kế khả thi của các ứng dụng phi tập trung trên nhiều trục:

• Các tác nhân AI với Trách nhiệm Kinh tế Tiền điện tử: Các tác nhân có thể nắm giữ tài sản, thực hiện hợp đồng và bị giảm giá vì hành vi ác ý. Điều này cho phép các thực thể AI độc lập có thể hoạt động tự chủ trong các giới hạn của một nền tảng pháp lý có thể xác minh.
• Thị trường dự đoán và trò chơi không đáng tin cậy: Bằng cách kết hợp tính ngẫu nhiên có thể xác minh, giám khảo AI và bằng chứng zk, trò chơi và thị trường có thể tự giải quyết mà không cần trung gian tập trung. Khả năng chống kiểm duyệt và khả năng kiểm toán trở thành đặc tính nội tại.
• Khuyến khích xã hội có thể lập trình: Các nền tảng xã hội được mã hóa có thể thưởng cho sự tham gia hoặc hành động điều phối một cách có thể chứng minh và có thể lập trình, tạo ra các nguyên tố mới cho nền kinh tế memecoin, DAO cộng đồng và truyền thông phi tập trung.
• Quy trình làm việc doanh nghiệp được quản lý: Các trường hợp sử dụng như xét duyệt yêu cầu y tế, bảo hiểm hoặc tuân thủ chuỗi cung ứng được hưởng lợi từ khả năng kép của công cụ đám mây quen thuộc và dấu vết kiểm toán cấp blockchain.

Mỗi lĩnh vực này được hưởng lợi từ các giả định tin cậy mô-đun của EigenCloud: các nhà phát triển có thể chọn xác minh lạc quan, kinh tế, không kiến thức hoặc liên chủ thể dựa trên bản chất nhận thức của trường hợp sử dụng của họ.

EIGEN Token và Khả năng Fork: Một Nền Tảng Tin Cậy Mới

Tại trung tâm của EigenCloud là token EIGEN, được thiết kế không chỉ như một tài sản tiện ích hoặc quản trị, mà còn như một nền tảng cho sự đồng thuận kinh tế tiền điện tử. Token EIGEN giới thiệu một cấu trúc chia tách: một token ERC-20 có thể chuyển nhượng (EIGEN) và đại diện được staking của nó (bEIGEN), vốn phải chịu sự cắt giảm và phân nhánh.

Sự đổi mới quan trọng là khả năng phân nhánh: trong trường hợp phần lớn những người đặt cược EIGEN thông đồng để tạo ra kết quả không hợp lệ (ví dụ: suy luận bị hỏng, blobs) DA giả mạo, mã thông báo có thể bị phân nhánh. Những người đặt cược độc hại sẽ bị chém và những người thách thức trung thực sẽ được thưởng. “Khả năng răn đe hạt nhân” này đảm bảo sự liên kết mà không yêu cầu các giả định trung thực của đa số. Các ứng dụng và chuỗi có thể tùy chọn cam kết trước để tuân theo nhánh chuẩn, cho phép tính chính xác vô điều kiện.

Kiến trúc này tạo ra một liên tục các mô hình bảo mật:

• Ngay lập tức: cắt giảm kinh tế
• Lạc quan: thời gian thử thách
• Forkable: tính đúng đắn giữa các chủ thể
• ** Không điều kiện: ** căn chỉnh cấp xích với phuộc EIGEN

Do đó, EigenCloud khái quát hóa mô hình bảo mật rollup thành tính toán tùy ý.

Đám mây có thể xác minh: Tương đương của Web3 với AWS

Cấu trúc của EigenCloud mô phỏng stack đám mây hiện đại. EigenDA cung cấp các nguyên thủy dữ liệu tương tự như S3. EigenCompute giống như Lambda cho các hàm có thể xác minh. EigenVerify là lớp đồng thuận và xét xử. Và token EIGEN bảo vệ toàn bộ quy trình tin cậy.

Khi cơ sở hạ tầng này trưởng thành, một sự bùng nổ của AVS theo kỷ Cambri được mong đợi: cơ sở dữ liệu có thể xác minh, chỉ mục zk, mạng oracle, mô-đun suy luận AI, v.v. Các nhà phát triển sẽ có thể soạn các dịch vụ này giống như các nhà phát triển Web2 soạn API SaaS. Bánh đà kinh tế kết hợp: nhiều ứng dụng yêu cầu các dịch vụ có thể xác minh, khuyến khích nhiều AVS hơn, thu hút nhiều cổ phần hơn, làm tăng đảm bảo khả năng kiểm chứng.

Kết quả là một loại đám mây mới: nơi không chỉ việc thực thi mà độ chính xác tự nó cũng có thể lập trình được.

Kết luận: Xây dựng nền kinh tế có thể kiểm chứng

EigenCloud mô phỏng lại lớp thực thi của các ứng dụng tiền điện tử bằng cách kết nối tính biểu đạt của đám mây với trách nhiệm giải trình của blockchain. Nó không chỉ đơn thuần mở rộng khả năng của L1 và L2 hiện có - nó tái cấu trúc chính ngăn xếp ứng dụng. Thông qua sự tách biệt logic, xác minh mô-đun và sức mạnh răn đe của phân nhánh token, nó cho phép chúng tôi xây dựng không chỉ các ứng dụng phi tập trung mà còn các tổ chức có thể kiểm chứng.

Đây là nền tảng cho một kỷ nguyên mà AI, quản trị, tài chính và hạ tầng được phối hợp không chỉ bằng động lực, mà còn bằng độ chính xác. Đám mây đã làm cho nền kinh tế có thể lập trình được. EigenCloud làm cho nó có thể xác minh.

!

Cloud Có Thể Xác Minh: Một Số Ghi Chú Về EigenCloud được xuất bản lần đầu trên Sentora trên Medium, nơi mọi người tiếp tục cuộc trò chuyện bằng cách nhấn mạnh và phản hồi về câu chuyện này.