EigenLayer: Mang lại sự tin cậy ở cấp độ Ethereum cho phần mềm trung gian

Tiêu đề gốc: "EigenLayer: Đưa niềm tin ở cấp độ Ethereum vào phần mềm trung gian"

Tác giả gốc: Jiawei, IOSG Ventures

Giới thiệu

Nguồn: EigenLayer, IOSG Ventures

Trong ether hiện tại Trong Hệ sinh thái workshop có rất nhiều middleware (Middleware).

Phía bên trái là phối cảnh của ứng dụng. Hoạt động của một số dApp dựa vào phần mềm trung gian: ví dụ: các công cụ phái sinh DeFi dựa vào các nhà tiên tri để cung cấp giá; ví dụ: việc chuyển tài sản xuyên chuỗi dựa vào các cầu nối chuỗi chéo làm chuyển tiếp của bên thứ ba.

Phía bên phải là phối cảnh mô-đun. Ví dụ: trong phân loại Rollup, chúng tôi cần xây dựng mạng Sequencer; về tính khả dụng của dữ liệu ngoài chuỗi, chúng tôi có DAC hoặc Polygon Avail và DA-Purpose Layer1 của Celestia.

Các phần mềm trung gian lớn và nhỏ này tồn tại độc lập với chính Ethereum và điều hành mạng xác minh: nghĩa là đầu tư một số mã thông báo và cơ sở phần cứng để cung cấp dịch vụ cung cấp phần mềm trung gian.

Sự tin tưởng của chúng tôi vào phần mềm trung gian xuất phát từ An ninh kinh tế. Nếu bạn làm việc trung thực, bạn có thể được khen thưởng, nhưng nếu bạn làm điều xấu, sẽ dẫn đến sự chém giết. token đã cam kết. Mức độ tin cậy này xuất phát từ giá trị tài sản cầm cố.

Nếu chúng ta so sánh tất cả các giao thức/phần mềm trung gian dựa vào An ninh kinh tế trong hệ sinh thái Ethereum với một chiếc bánh, thì nó sẽ trông như thế này: tiền được dựa trên cam kết mạng Quy mô được cắt thành các phần lớn và nhỏ.

Nguồn: IOSG Ventures

Tuy nhiên, An ninh kinh tế hiện nay vẫn còn một số vấn đề:

Đối với phần mềm trung gian. Người xác nhận phần mềm trung gian cần đầu tư tiền để bảo vệ mạng, điều này đòi hỏi một chi phí cận biên nhất định. Với mục đích nắm bắt giá trị mã thông báo, người xác thực thường được yêu cầu cầm cố mã thông báo gốc của phần mềm trung gian và mức độ rủi ro của họ là không chắc chắn do biến động giá.

Thứ hai, tính bảo mật của phần mềm trung gian phụ thuộc vào giá trị tổng thể của các mã thông báo đã cam kết; nếu mã thông báo giảm mạnh, chi phí tấn công mạng cũng sẽ giảm và nó thậm chí có thể gây ra sự cố bảo mật tiềm ẩn. Vấn đề này đặc biệt rõ ràng trên một số giao thức có vốn hóa thị trường token tương đối yếu.

Dành cho dApp. Ví dụ: một số dApp không cần phải dựa vào phần mềm trung gian (hãy tưởng tượng Pure Swap DEX), mà chỉ cần tin tưởng vào Ethereum; đối với một số dApp dựa vào phần mềm trung gian (chẳng hạn như các công cụ phái sinh yêu cầu các nhà tiên tri để cung cấp giá), thực tế cả hai đều là an toàn và bảo mật. Các giả định tin cậy dựa trên Ethereum và phần mềm trung gian.

Giả định độ tin cậy của phần mềm trung gian về cơ bản xuất phát từ sự tin cậy vào mạng trình xác thực phân tán. Và chúng tôi đã chứng kiến nhiều sự cố tổn thất tài sản do nguồn cung cấp giá không chính xác của các nhà tiên tri.

Điều này còn mang lại hiệu ứng thùng:

Giả sử rằng một khả năng kết hợp nhất định là cực kỳ Đối với ứng dụng DeFi cao cấp A, TVL liên quan lên tới hàng tỷ, trong khi niềm tin của oracle B chỉ dựa vào hàng trăm triệu tài sản cầm cố. Sau đó, khi sự cố xảy ra, tổn thất do oracle gây ra có thể được khuếch đại vô hạn do sự dẫn truyền và lồng ghép rủi ro gây ra bởi mối tương quan giữa các giao thức;

Giả sử một mô-đun Blockchain C áp dụng kế hoạch sẵn có dữ liệu D, kế hoạch lớp thực thi F, v.v. Nếu một phần nhất định của nó hoạt động sai/bị tấn công, phạm vi tác động sẽ là toàn bộ chuỗi C, mặc dù không có vấn đề gì với các phần khác của hệ thống .

Có thể thấy, an ninh hệ thống phụ thuộc vào những khuyết điểm của nó, những khuyết điểm tưởng chừng như nhỏ nhặt lại có thể gây ra những rủi ro hệ thống.

EigenLayer làm gì?

Ý tưởng của EigenLayer không hề phức tạp:

Tương tự như bảo mật chia sẻ, hãy thử để sử dụng phần mềm trung gian An ninh kinh tế được nâng cấp lên mức tương đương với Ethereum.

Nguồn: EigenLayer, IOSG Ventures

Việc này được thực hiện thông qua việc "Đặt lại".

Việc đặt lại là để cam kết lại việc tiếp xúc với ETH của mạng trình xác thực Ethereum:

Ban đầu , những người xác thực đã cam kết trên mạng Ethereum để kiếm thu nhập. Một khi họ làm điều gì đó xấu xa, tài sản cầm cố của họ sẽ bị cắt giảm. Tương tự như vậy, sau khi đặt lại, bạn có thể nhận được thu nhập cam kết trên mạng phần mềm trung gian, nhưng nếu bạn làm điều xấu, cam kết ETH ban đầu của bạn sẽ bị Cắt giảm.

Phương thức triển khai cụ thể của Retake là: người cầm cố có thể đặt địa chỉ rút tiền trong mạng Ethereum thành hợp đồng thông minh EigenLayer, nghĩa là trao cho nó sức mạnh của Slashing .

Nguồn: Messari, IOSG Ventures

Ngoài việc trực tiếp đặt lại $ ETH, EigenLayer còn cung cấp hai tùy chọn khác để mở rộng Tổng thị trường có thể định địa chỉ hỗ trợ đặt cược LP Token WETH/USDC và LP Token stETH/USDC tương ứng.

Ngoài ra, để tiếp tục thu được giá trị của mã thông báo gốc của phần mềm trung gian, phần mềm trung gian có thể chọn giới thiệu EigenLayer trong khi vẫn duy trì các yêu cầu đặt cược cho mã thông báo gốc của nó, nghĩa là, An ninh kinh tế. Chúng có nguồn gốc từ mã thông báo gốc và Ethereum tương ứng, do đó tránh được "vòng xoáy tử thần" do sự sụt giảm giá của một mã thông báo duy nhất gây ra.

Tính khả thi

Nhìn chung, đối với các validator, việc tham gia EigenLayer’s Resting có hai điểm: vốn yêu cầu và yêu cầu về phần cứng.

Yêu cầu về vốn để tham gia xác minh Ethereum là 32 ETH, không thay đổi đối với Đặt lại, nhưng sẽ làm tăng rủi ro tiềm ẩn khi phần mềm trung gian mới được giới thiệu, chẳng hạn như Không hoạt động. và Chém.

Nguồn: Ethereum, IOSG Ventures

Về cơ sở vật chất phần cứng, để hạ thấp ngưỡng tham gia của trình xác thực và đạt được mức độ phân cấp vừa đủ, yêu cầu phần cứng đối với trình xác thực Ethereum sau khi sáp nhập là rất thấp. Máy tính gia đình tốt hơn một chút thực sự có thể đáp ứng được cấu hình được đề xuất. Tại thời điểm này, một số yêu cầu phần cứng thực sự đang quá tải. Tương tự như một công cụ khai thác khai thác nhiều loại tiền tệ cùng lúc khi nguồn năng lượng tính toán có đủ, từ góc độ phần cứng, Việc đặt lại tương đương với việc sử dụng Khả năng phần cứng tràn để cung cấp hỗ trợ cho nhiều phần mềm trung gian.

Nghe rất giống Bảo mật Interchain của Cosmos, nhưng chỉ vậy thôi? Trên thực tế, tác động của EigenLayer đối với hệ sinh thái Ethereum trong thời kỳ hậu sáp nhập có thể không dừng lại ở đó. Trong bài viết này, chúng tôi chọn EigenDA để xây dựng thêm.

Nguồn: EigenLayer, IOSG Ventures

EigenDA

Lưu ý: Tính khả dụng của dữ liệu (DA), mã hóa xóa và các cam kết KZG chỉ được đề cập ngắn gọn ở đây. Lớp khả dụng của dữ liệu được tách ra từ góc độ mô-đun và được sử dụng để cung cấp tính khả dụng của dữ liệu cho Tổng hợp. Các cam kết mã hóa xóa và KZG là các thành phần của Lấy mẫu sẵn có dữ liệu (DAS). Việc sử dụng mã hóa xóa cho phép tải xuống ngẫu nhiên một phần dữ liệu để xác minh tính khả dụng của tất cả dữ liệu và xây dựng lại tất cả dữ liệu nếu cần. Cam kết KZG được sử dụng để đảm bảo mã xóa được mã hóa chính xác. Để tránh đi chệch khỏi ý chính của bài viết, phần này sẽ lược bỏ một số chi tiết, giải thích danh từ cũng như nguyên nhân và hậu quả. Nếu có thắc mắc về ngữ cảnh của phần này, bạn có thể đọc lại các bài viết trước của IOSG “Việc sáp nhập là gì”. sắp xảy ra: Giải thích chi tiết về lộ trình kỹ thuật mới nhất của Ethereum" và "Xóa bỏ lớp sẵn có của dữ liệu: Viên gạch LEGO bị lãng quên của một tương lai mô-đun".

Như một đánh giá ngắn gọn, chúng tôi đặt hiện tại Giải pháp DA được chia thành hai phần: trên chuỗi và ngoài chuỗi.

Trong phần trên chuỗi, Pure Rollup đề cập đến một giải pháp chỉ đơn giản là đưa DA vào chuỗi, yêu cầu thanh toán liên tục 16 gas cho mỗi byte, sẽ chiếm tới 80%-95% chi phí tổng hợp. Sau khi giới thiệu Danksharding, chi phí của DA trên chuỗi sẽ giảm đáng kể.

Trong DA ngoài chuỗi, mỗi giải pháp có mối quan hệ tiến bộ nhất định về bảo mật và chi phí.

Pure Validium có nghĩa là chỉ đặt DA trong chuỗi mà không có bất kỳ sự đảm bảo nào và có nguy cơ nhà cung cấp dịch vụ lưu trữ dữ liệu ngoài chuỗi sẽ ngừng hoạt động và ngoại tuyến bất cứ lúc nào. Các giải pháp dành riêng cho Rollup bao gồm StarkEx, zkPorter và Arbitrum Nova, bao gồm một nhóm nhỏ các bên thứ ba nổi tiếng hình thành DAC để đảm bảo DA.

EigenDA là giải pháp DA đa năng cùng loại với Celestia và Polygon Avail. Tuy nhiên, có một số khác biệt trong ý tưởng giải pháp giữa EigenDA và hai giải pháp còn lại.

Để so sánh, trước tiên chúng ta hãy bỏ qua EigenDA và xem DA của Celestia hoạt động như thế nào.

Nguồn: Celestia

Lấy Cầu Trọng lực Lượng tử của Celestia làm ví dụ:

Trên chuỗi chính Ethereum Hợp đồng L2 xác minh bằng chứng về tính hợp lệ hoặc bằng chứng gian lận như thường lệ, điểm khác biệt là DA được Celestia cung cấp. Không có hợp đồng thông minh trên chuỗi Celestia và không có tính toán dữ liệu nào được thực hiện. Nó chỉ đảm bảo rằng dữ liệu có sẵn.

Nhà điều hành L2 xuất bản dữ liệu giao dịch lên chuỗi chính Celestia và người xác minh Celestia ký vào Merkle Root của Chứng thực DA và gửi nó đến chuỗi chính Ethereum Hợp đồng DA Bridge được xác minh và lưu trữ.

Bằng cách này, Chứng thực Merkle Root của DA thực sự được sử dụng để chứng minh tất cả DA Bridge Contract trên chuỗi chính Ethereum chỉ cần xác minh và lưu trữ Merkle Root này. So với việc lưu trữ DA trên chuỗi, điều này giúp giảm đáng kể chi phí đảm bảo DA, đồng thời, bản thân chuỗi Celestia cũng cung cấp các đảm bảo về an ninh.

Điều gì xảy ra trên chuỗi Celestia? Đầu tiên, Data Blob được truyền bá qua mạng P2P và đạt được sự đồng thuận trên Data Blob dựa trên sự đồng thuận của Tendermint. Mỗi nút đầy đủ Celestia phải tải xuống toàn bộ Data Blob. (Lưu ý rằng chỉ các nút đầy đủ mới được thảo luận ở đây. Các nút nhẹ của Celestia có thể sử dụng DAS để đảm bảo tính khả dụng của dữ liệu, điều này sẽ không được mở rộng ở đây)

Vì bản thân Celestia vẫn đóng vai trò là Lớp 1 nên nó cần phát sóng và đạt được sự đồng thuận trên Data Blob. Điều này thực sự đặt ra yêu cầu cao đối với các nút đầy đủ của mạng (tải xuống 128 MB/giây và tải lên 12,5 MB/giây) và. việc triển khai Thông lượng không nhất thiết phải cao (1,4 MB/s).

EigenLayer áp dụng một kiến trúc khác - không cần sự đồng thuận và không cần mạng P2P.

Thực hiện như thế nào?

Nguồn: EigenLayer

Đầu tiên, các nút EigenDA phải Xác lập lại mức hiển thị ETH của họ trong hợp đồng EigenLayer để tham gia Đặt lại. Các nút EigenDA là một tập hợp con của các nhà sản xuất Ethereum.

Thứ hai, sau khi người yêu cầu về tính khả dụng của dữ liệu (chẳng hạn như Rollup, được gọi là Disperser) nhận được Data Blob, nó sử dụng mã hóa xóa và cam kết KZG để mã hóa Data Blob (Kích thước phụ thuộc vào tỷ lệ dự phòng của mã xóa) và công bố cam kết KZG đối với hợp đồng thông minh EigenDA.

Sau đó, bộ phân phối sẽ phân phối cam kết KZG được mã hóa tới các nút EigenDA. Sau khi các nút này nhận được cam kết KZG, họ so sánh nó với cam kết KZG trên hợp đồng thông minh EigenDA. Sau khi xác nhận rằng nó đúng, họ ký vào Chứng thực. Sau đó, Disperser lấy từng chữ ký này, tạo chữ ký tổng hợp và xuất bản nó lên hợp đồng thông minh EigenDA để xác minh chữ ký.

Trong quy trình công việc này, nút EigenDA chỉ ký vào Chứng thực để xác nhận rằng nó lưu trữ Data Blob được mã hóa. Hợp đồng thông minh EigenDA chỉ xác minh tính chính xác của chữ ký tổng hợp. Vậy làm cách nào để đảm bảo rằng nút EigenDA thực sự lưu trữ dữ liệu có sẵn?

EigenDA áp dụng phương pháp Bằng chứng về Quyền giám sát. Nghĩa là, trong tình huống như vậy, có một số Trình xác thực lười biếng không thực hiện công việc mà chúng nên làm (chẳng hạn như đảm bảo rằng dữ liệu có sẵn). Thay vào đó, hãy giả vờ như họ đã hoàn thành công việc và ký vào kết quả. (ví dụ: dữ liệu nói dối và khẳng định có sẵn trong khi thực tế là không có)

Cách tiếp cận của Bằng chứng giám sát tương tự như bằng chứng gian lận: nếu Trình xác thực lười biếng xuất hiện, bất kỳ ai cũng có thể gửi bằng chứng cho hợp đồng thông minh EigenDA và hợp đồng thông minh sẽ xác minh Nếu quá trình xác minh được thông qua, Lazy sẽ được Trình xác thực thực hiện Chém. (Để biết thêm chi tiết về Bằng chứng giám sát, vui lòng tham khảo bài viết của Dankrad, bài viết này sẽ không được mở rộng tại đây*https://dankradfeist.de/ethereum/2021/09/30/proofs-of-custody.html*)

Tóm tắt

Sau những thảo luận và so sánh trên, chúng ta thấy:

Ý tưởng của Celestia nhất quán với Layer1 truyền thống. Những gì nó thực sự làm là Mọi người nói chuyện với mọi người (sự đồng thuận) và Mọi người-gửi-mọi người-khác-mọi thứ ( Broadcast) và điểm khác biệt là sự đồng thuận và phát sóng của Celestia được thực hiện cho Data Blob, điều này chỉ đảm bảo rằng dữ liệu có sẵn.

Những gì EigenDA làm là Everybody-talks-to-disperser (nghĩa là bước [3] Disperser được chứng thực) và Disperser-sends-mỗi-node-a - Chia sẻ duy nhất (nghĩa là bước [2] Disperser phân phối dữ liệu đến các nút EigenDA) tách rời tính khả dụng và đồng thuận của dữ liệu.

Lý do EigenDA không cần phải đồng thuận và tham gia vào mạng P2P là vì nó tương đương với một "chuyến đi miễn phí" trên Ethereum: được triển khai trên Ethereum với sự trợ giúp của EigenDA Hợp đồng thông minh của Disperser xuất bản các Cam kết và Chứng thực tổng hợp, đồng thời quá trình xác minh chữ ký tổng hợp bằng hợp đồng thông minh đều diễn ra trên Ethereum cung cấp sự đảm bảo đồng thuận, do đó nó không bị giới hạn bởi nút thắt của sự đồng thuận. giao thức và thông lượng thấp của mạng P2P.

Điều này thể hiện ở sự khác biệt giữa yêu cầu của nút và thông lượng.

Liên kết gốc

Chào mừng bạn tham gia cộng đồng chính thức của BlockBeats:

Nhóm Telegram đăng ký: https://t.me/theblockbeats

Nhóm Telegram thảo luận: https://t.me/BlockBeats_App

Tài khoản Twitter chính thức: https://twitter.com/BlockBeatsAsia