Trong năm qua, EigenLayer đã phát hành sách trắng của họ, hoàn thành vòng tài trợ Series A trị giá 50 triệu đô la và ra mắt giai đoạn đầu tiên của mạng chính. Trong thời gian này, cộng đồng Ethereum cũng tổ chức các cuộc thảo luận rộng rãi xung quanh EigenLayer và các trường hợp sử dụng của nó. Bài viết này sẽ theo dõi và sắp xếp các cuộc thảo luận này.
lý lịch
Trong hệ sinh thái Ethereum, một số dịch vụ phần mềm trung gian (như oracles) không hoàn toàn dựa vào logic trên chuỗi, vì vậy chúng không thể dựa trực tiếp vào sự đồng thuận và bảo mật của Ethereum và cần phải chuyển hướng mạng tin cậy. Thông lệ thông thường trước tiên là vận hành dự án, sau đó đưa ra các ưu đãi mã thông báo để thu hút người tham gia hệ thống và dần dần hiện thực hóa sự phân cấp.
Có ít nhất hai khó khăn khi làm như vậy. Một là việc đưa ra cơ chế khuyến khích đòi hỏi phải có thêm chi phí: chi phí cơ hội để người tham gia mua mã thông báo để tham gia cam kết và chi phí vận hành để bên dự án duy trì giá trị của mã thông báo . Thứ hai, ngay cả khi các chi phí nêu trên được thanh toán và mạng lưới phi tập trung được xây dựng thì tính bảo mật và tính bền vững của nó vẫn chưa được biết đến. Đối với các dự án khởi nghiệp, hai điểm này đặc biệt khó khăn.
Ý tưởng của EigenLayer là cung cấp bảo mật kinh tế cho các phần mềm trung gian này (Dịch vụ được xác thực tích cực, AVS) bằng cách đặt lại bởi các nhà đầu tư Ethereum hiện có. Nếu những người tái cam kết này làm việc trung thực, họ có thể được khen thưởng, nhưng nếu họ làm điều xấu, cam kết Ethereum ban đầu của họ sẽ bị hủy bỏ.
Ưu điểm của việc này là: thứ nhất, bên dự án không cần tự mình hướng dẫn mạng tin cậy mới mà giao nó cho trình xác minh Ethereum, giúp giảm chi phí vốn nhiều nhất có thể; thứ hai, tính bảo mật kinh tế của trình xác minh Ethereum được thiết lập rất mạnh nên tính bảo mật cũng được đảm bảo ở một mức độ nhất định. Từ quan điểm của những người cầm cố Ethereum, việc tái cam kết mang lại cho họ thu nhập bổ sung, miễn là không có mục đích xấu chủ quan thì rủi ro tổng thể có thể kiểm soát được.
Sreeram, người sáng lập EigenLayer, đã từng đề cập đến ba trường hợp sử dụng và mô hình tin cậy của EigenLayer trên Twitter và podcast:
Niềm tin kinh tế. Nghĩa là, việc tái sử dụng khả năng đặt cược Ethereum, đặt cược các mã thông báo có giá trị cao hơn có nghĩa là an ninh kinh tế mạnh mẽ hơn, như đã thảo luận ở trên.
Ủy thác phi tập trung. Hành vi độc hại của một số dịch vụ (chẳng hạn như chia sẻ bí mật) có thể không được quy cho và không thể dựa vào cơ chế cắt giảm. Cần phải có một nhóm người đủ phân cấp, độc lập làm một việc gì đó để đề phòng nguy cơ thông đồng, thông đồng.
Cam kết xác thực Ethereum. Các nhà sản xuất khối đưa ra những cam kết đáng tin cậy nhất định bằng cách sử dụng khoản thế chấp đã cam kết làm tài sản thế chấp. Dưới đây chúng tôi sẽ liệt kê một số ví dụ để minh họa thêm.
người tham gia hệ thống
EigenLayer đóng vai trò như một thị trường mở kết nối ba người chơi chính.
Người đặt cược lại. Nếu bạn có khả năng đặt cược Ethereum, bạn có thể tham gia bằng cách chuyển thông tin xác thực rút tiền sang EigenLayer để tham gia đặt cược lại hoặc chỉ cần gửi LST như stETH để tham gia. Những người đặt cược lại cũng có thể ủy quyền tiếp xúc với người vận hành nếu họ không thể tự chạy nút AVS.
nhà điều hành. Nhà điều hành chấp nhận sự ủy quyền từ các bên liên quan lại và chạy nút AVS. Họ được tự do lựa chọn AVS nào sẽ phục vụ. Khi bạn cung cấp dịch vụ cho AVS, bạn cần chấp nhận các quy tắc gạch chéo do AVS xác định.
AVS. Với tư cách là người yêu cầu/người tiêu dùng, AVS cần trả tiền cho những người đặt cọc lại và nhận được sự đảm bảo kinh tế mà họ cung cấp.
Với những khái niệm cơ bản này, chúng ta hãy xem xét các trường hợp sử dụng cụ thể của EigenLayer.
EigenDA
EigenDA là sản phẩm chủ lực được EigenLayer ra mắt, giải pháp này có nguồn gốc từ Danksharding, giải pháp mở rộng Ethereum. Trong số đó, Lấy mẫu sẵn có dữ liệu (DAS) cũng được sử dụng rộng rãi trong các dự án DA như Celestia và Avail. Trong chương này, chúng tôi sẽ giới thiệu nhanh về DAS, sau đó xem cách EigenDA được triển khai và những đổi mới của nó.
CÁC
Là giải pháp ngoại vi cho Danksharding, EIP-4844 giới thiệu "Giao dịch mang Blob". Mỗi giao dịch sẽ mang một kích thước dữ liệu bổ sung khoảng 125kb. Trong bối cảnh lộ trình mở rộng phân chia dữ liệu, dữ liệu mới được thêm vào chắc chắn sẽ làm tăng gánh nặng cho các nút. Vì vậy, có cách nào để làm cho nút chỉ tải xuống một phần nhỏ dữ liệu và cũng xác minh rằng tất cả dữ liệu đều có sẵn không?
Những gì DAS làm là cho phép các nút lấy mẫu ngẫu nhiên một phần nhỏ dữ liệu nhiều lần. Mỗi lần lấy mẫu thành công sẽ làm tăng độ tin cậy của nút rằng dữ liệu có sẵn. Sau khi đạt đến mức đặt trước nhất định, dữ liệu được coi là có sẵn. Tuy nhiên, kẻ tấn công vẫn có thể ẩn một phần nhỏ dữ liệu - chúng tôi cũng cần một số loại khả năng chịu lỗi.
DAS sử dụng mã hóa xóa (Erasure Coding). Ý tưởng chính của mã hóa xóa là chia dữ liệu thành các khối và sau đó mã hóa các khối này để tạo thêm các khối dư thừa. Các khối dự phòng này chứa một phần thông tin của khối dữ liệu gốc, để khi một số khối dữ liệu bị mất hoặc hư hỏng, khối dữ liệu bị mất có thể được phục hồi thông qua các khối dự phòng. Bằng cách này, mã hóa xóa cung cấp tính dự phòng và độ tin cậy cho DAS.
Ngoài ra, chúng ta cũng cần xác minh xem các khối dự phòng thu được có được mã hóa chính xác hay không, vì dữ liệu gốc không thể được xây dựng lại bằng cách sử dụng các khối dự phòng sai. Danksharding áp dụng cam kết KZG (Kate-Zaverucha-Goldberg). Cam kết KZG là một phương pháp xác minh đa thức bằng cách chứng minh rằng giá trị của nó tại một vị trí cụ thể phù hợp với một giá trị số được chỉ định.
Người chứng minh chọn đa thức p(x) và sử dụng p(x) để tính các cam kết cho từng khối dữ liệu, gọi là C1, C2, ..., Cm. Người chứng minh sẽ công bố cam kết cùng với khối dữ liệu. Để xác minh mã hóa, người kiểm tra có thể lấy mẫu ngẫu nhiên t điểm x1, x2, ..., xt và yêu cầu người kiểm chứng mở cam kết tại các điểm: p(x1), p(x2), ..., p(xt ) . Sử dụng phép nội suy Lagrange, trình xác minh có thể xây dựng lại đa thức p(x) từ các điểm t này. Bây giờ, người xác minh có thể tính toán lại các cam kết C1', C2', ..., Cm' bằng cách sử dụng đa thức p(x) được xây dựng lại và khối dữ liệu, đồng thời xác minh rằng chúng khớp với các cam kết đã công bố C1, C2, ..., Cm.
Nói tóm lại, bằng cách sử dụng các cam kết của KZG, người xác minh chỉ cần một số điểm nhỏ để xác minh tính chính xác của toàn bộ mã hóa. Bằng cách này, chúng ta có được DAS hoàn chỉnh.
Làm sao
EigenLayer mượn ý tưởng từ DAS và áp dụng nó cho EigenDA.
Đầu tiên, các nút EigenDA được đặt cược lại và đăng ký trong hợp đồng EigenLayer.
Thứ hai, sau khi Sequencer lấy dữ liệu, nó sẽ chia dữ liệu thành nhiều khối, sử dụng mã xóa để tạo các khối dự phòng và tính toán cam kết KZG tương ứng với từng khối dữ liệu. Trình sắp xếp trình tự lần lượt đưa ra các cam kết của KZG đối với hợp đồng EigenDA với tư cách là nhân chứng.
Sau đó, Bộ sắp xếp chuỗi phân phối khối dữ liệu cùng với cam kết KZG của nó tới từng nút EigenDA lần lượt. Sau khi nút nhận được cam kết KZG, nó so sánh nó với cam kết KZG trên hợp đồng EigenDA, lưu trữ khối dữ liệu sau khi xác nhận rằng nó đúng và ký vào đó.
Sau đó, Trình sắp xếp thứ tự thu thập các chữ ký này, tạo chữ ký tổng hợp và xuất bản chúng vào hợp đồng EigenDA và hợp đồng EigenDA sẽ xác minh chữ ký. Sau khi xác minh chữ ký là chính xác, toàn bộ quá trình được hoàn thành.
Trong quy trình trên, nút EigenDA chỉ tuyên bố đã lưu trữ khối dữ liệu thông qua chữ ký. Chúng ta cũng cần một cách để đảm bảo rằng nút EigenDA không nói dối. EigenDA áp dụng Bằng chứng về Quyền giám sát.
Ý tưởng của bằng chứng ký quỹ là đặt một "quả bom" vào dữ liệu, một khi nút ký vào nó, nó sẽ bị chém. Để triển khai bằng chứng ký quỹ, cần thiết kế: một giá trị bí mật để phân biệt các nút DA khác nhau nhằm ngăn chặn gian lận; một chức năng dành riêng cho các nút DA lấy dữ liệu DA và các giá trị bí mật làm đầu vào và sự hiện diện hay vắng mặt của bom như đầu ra. Nếu nút không lưu trữ dữ liệu đầy đủ mà nó phải lưu trữ thì không thể tính được hàm này. Dankrad đã chia sẻ thêm chi tiết về Bằng chứng ký quỹ trên blog của mình.
Nếu nút lười xuất hiện, bất kỳ ai cũng có thể gửi bằng chứng cho hợp đồng EigenDA và hợp đồng sẽ xác minh bằng chứng, nếu xác minh thành công, nút lười sẽ bị trừng phạt.
Về yêu cầu phần cứng, cam kết tính toán 32 MB dữ liệu trong 1 giây của KZG yêu cầu khoảng 32-64 CPU lõi, tuy nhiên yêu cầu này chỉ dành cho phía Sequencer và sẽ không tạo gánh nặng cho nút EigenDA. Trong mạng thử nghiệm của EigenDA, thông lượng của 100 nút EigenDA đạt 15 MB/s, trong khi nhu cầu băng thông tải xuống nút chỉ 0,3 MB/s (thấp hơn nhiều so với yêu cầu chạy trình xác thực Ethereum).
**Tóm lại, chúng ta có thể thấy rằng EigenDA đã nhận ra việc tách rời tính khả dụng và đồng thuận của dữ liệu, đồng thời việc truyền bá các khối dữ liệu không còn bị giới hạn bởi nút thắt cổ chai của giao thức đồng thuận và thông lượng thấp của mạng P2P. Bởi vì EigenDA tương đương với việc tận hưởng sự đồng thuận Ethereum miễn phí: quá trình Sequencer đưa ra các cam kết KZG và chữ ký tổng hợp, xác minh chữ ký bằng hợp đồng thông minh và cắt giảm các nút độc hại đều diễn ra trên Ethereum và Ethereum cung cấp các đảm bảo đồng thuận, do đó không có cần khởi động lại mạng tin cậy. **
Các vấn đề của DAS
Hiện tại, bản thân công nghệ DAS cũng có một số hạn chế. Chúng ta cần giả định rằng một đối tác độc hại sẽ cố gắng đánh lừa các nút nhẹ chấp nhận dữ liệu sai lệch bằng mọi cách có thể. Sreeram đã nêu những điều sau đây trong tweet của mình.
Để một nút duy nhất có xác suất có sẵn dữ liệu đủ cao, cần phải đáp ứng các yêu cầu sau:
Lấy mẫu ngẫu nhiên: Mỗi nút được yêu cầu độc lập và ngẫu nhiên chọn một loạt mẫu để lấy mẫu và đối tác không biết ai đã yêu cầu mẫu nào. Bằng cách này, đối tác không thể thay đổi chiến lược của mình để đánh lừa các nút.
Lấy mẫu đồng thời: DAS bắt buộc phải được thực hiện bởi nhiều nút đồng thời, khiến kẻ tấn công không thể phân biệt việc lấy mẫu của một nút với việc lấy mẫu của các nút khác.
Lấy mẫu IP riêng: Có nghĩa là sử dụng IP ẩn danh cho mỗi khối dữ liệu được truy vấn. Mặt khác, đối thủ có thể xác định các nút khác nhau để lấy mẫu và cung cấp cho nút đó một cách có chọn lọc phần mà nó đã truy vấn và không cung cấp các phần khác của dữ liệu.
Chúng tôi có thể cho phép nhiều nút ánh sáng thực hiện lấy mẫu ngẫu nhiên để đáp ứng tính đồng thời và ngẫu nhiên, nhưng hiện tại không có cách nào tốt để đáp ứng việc lấy mẫu IP riêng tư. Vì vậy, vẫn có các vectơ tấn công chống lại DAS, khiến DAS hiện chỉ cung cấp sự đảm bảo yếu. Những vấn đề này vẫn đang được tích cực giải quyết.
EigenLayer & MEV
Sreeram đã nói về việc sử dụng EigenLayer trong nhóm MEV tại Hội nghị thượng đỉnh MEVconomics. Dựa trên nguyên tắc kinh tế tiền điện tử của việc đặt cược và cắt giảm, những người đề xuất có thể triển khai bốn tính năng sau, đó là điểm thứ ba được đề cập ở trên - trường hợp sử dụng cam kết của người xác thực.
Kích hoạt theo sự kiện
Các giao thức như Gelato có thể phản ứng với các sự kiện cụ thể trên chuỗi. Nghĩa là, giám sát liên tục các sự kiện trên chuỗi và khi một sự kiện xảy ra, một số hoạt động được xác định trước sẽ được kích hoạt. Những nhiệm vụ này thường được hoàn thành bởi người nghe/người thực thi bên thứ ba.
Nó được gọi là "bên thứ ba" vì không có kết nối giữa người nghe/người thực thi và người đề xuất thực sự xử lý không gian khối. Giả sử người nghe/người thực thi kích hoạt một giao dịch nhưng (vì lý do nào đó) không được người đề xuất đưa vào khối, điều này không thể được quy cho và do đó không mang lại sự đảm bảo kinh tế mang tính quyết định.
Nếu dịch vụ này được cung cấp bởi những người đề xuất tham gia đặt lại, họ có thể đưa ra các cam kết đáng tin cậy về việc kích hoạt hoạt động và nếu những giao dịch này không được đưa vào khối, người đề xuất sẽ bị loại. Điều này mang lại sự đảm bảo mạnh mẽ hơn so với người nghe/người thực thi bên thứ ba.
Trong các ứng dụng thực tế (chẳng hạn như các hợp đồng cho vay), một trong những mục đích của việc thiết lập tỷ lệ thế chấp vượt mức là để bù đắp những biến động về giá trong một khoảng thời gian nhất định. Điều này liên quan đến khoảng thời gian trước khi thanh lý, tỷ lệ thế chấp quá mức cao hơn có nghĩa là thời gian đệm dài hơn. Nếu phần lớn các giao dịch áp dụng chiến lược phản ứng theo hướng sự kiện với sự đảm bảo mạnh mẽ do người đề xuất cung cấp thì (đối với tài sản có tính thanh khoản) sự biến động của tỷ lệ thế chấp quá mức có thể được giới hạn trong một vài khoảng thời gian khối, do đó làm giảm tỷ lệ thế chấp quá mức và cải thiện hiệu quả vốn.
Đấu giá khối một phần
Trong thiết kế MEV-Boost hiện tại, người đề xuất giao hoàn toàn không gian khối cho người xây dựng và chỉ có thể nhận và đề xuất một cách thụ động toàn bộ khối do người xây dựng gửi. Những người xây dựng chỉ là một thiểu số nhỏ so với những người đề xuất được phân phối rộng rãi hơn và họ có thể thông đồng để kiểm duyệt và tống tiền các giao dịch cụ thể—vì những người đề xuất không thể đưa các giao dịch họ muốn vào MEV-Boost.
EigenLayer đề xuất MEV-Boost++ nâng cấp MEV-Boost, giới thiệu phần người đề xuất trong khối và người đề xuất có thể bao gồm bất kỳ giao dịch nào trong phần người đề xuất. Người đề xuất cũng có thể xây dựng khối B-alt thay thế cùng lúc và đề xuất khối B-alt thay thế này nếu rơle không giải phóng Builder_part. Tính linh hoạt này đảm bảo khả năng chống kiểm duyệt đồng thời giải quyết vấn đề về tính sống động của chuyển tiếp.
Điều này nhất quán với mục đích của thiết kế lớp giao thức—crList do ePBS đề xuất, nghĩa là chúng ta cần đảm bảo rằng nhiều người đề xuất có thể tham gia vào việc quyết định thành phần của các khối để đạt được khả năng chống kiểm duyệt.
Mã hóa ngưỡng
Trong giải pháp MEV dựa trên mã hóa ngưỡng, các khóa mã hóa và giải mã được quản lý bởi một nhóm nút phân tán. Người dùng mã hóa các giao dịch, được giải mã và thực thi sau khi chúng được đưa vào một khối.
Tuy nhiên, mã hóa ngưỡng dựa vào giả định tính trung thực đa số. Nếu hầu hết các nút đều xấu, điều đó có thể khiến giao dịch được giải mã không được đưa vào khối. Những người đề xuất đặt cược lại có thể đưa ra cam kết đáng tin cậy đối với giao dịch được mã hóa để đảm bảo giao dịch đó được đưa vào khối. Nếu người đề xuất không bao gồm giao dịch được giải mã, nó sẽ bị cắt bỏ. Tất nhiên, nếu phần lớn các nút độc hại không giải phóng khóa giải mã thì người đề xuất có thể đề xuất một khối trống.
Đấu giá Blockspace dài hạn
Đấu giá không gian khối dài hạn cho phép người mua không gian khối đặt trước không gian khối trong tương lai cho một người xác nhận nhất định. Những người xác thực tham gia đặt cược lại có thể đưa ra các cam kết đáng tin cậy và sẽ bị cắt giảm nếu không có giao dịch nào liên quan đến người mua khi hết hạn. Sự đảm bảo về không gian khối này có một số trường hợp sử dụng thực tế. Ví dụ: nhà tiên tri cần cung cấp giá trong một khoảng thời gian nhất định; Arbitrum phát hành dữ liệu L2 cho Ethereum L1 cứ sau 1-3 phút, Lạc quan cứ sau 30 giây - 1 phút, v.v.
#PEPC
Hãy quay trở lại PEPC (Cam kết của người đề xuất được thực thi theo giao thức), đã được cộng đồng Ethereum thảo luận rộng rãi gần đây. PEPC thực chất là sự quảng bá hoặc khái quát hóa ePBS.
Chúng ta hãy tháo rời chuỗi logic này từng cái một.
Đầu tiên, lấy PBS MEV-Boost ngoài giao thức làm ví dụ. Hiện tại, MEV-Boost dựa trên cơ chế cắt cấp giao thức Ethereum, nghĩa là, nếu người đề xuất ký hai tiêu đề khối khác nhau ở cùng một chiều cao khối, chúng sẽ bị chém. Bởi vì người đề xuất cần ký vào tiêu đề khối được gửi bởi rơle, nó tương đương với việc hình thành một ràng buộc giữa tiêu đề khối và người đề xuất, do đó rơle có lý do để tin rằng khối của người xây dựng sẽ được đề xuất. Nếu không, người đề xuất sẽ chỉ bị buộc phải nhường vị trí hoặc đề xuất một khối khác (sẽ dẫn đến bị chém). Tại thời điểm này, cam kết của người đề xuất được đảm bảo bởi sự an toàn kinh tế của việc đặt cọc/chém.
*Gần như, một nguyên tắc quan trọng trong việc thiết kế ePBS là "an toàn xuất bản của người xây dựng trung thực", đảm bảo rằng các khối được xuất bản bởi những người xây dựng trung thực sẽ được đề xuất. Là một PBS trong giao thức, ePBS sẽ được đưa vào lớp đồng thuận của Ethereum và được đảm bảo bởi giao thức.
PEPC là một chương trình khuyến mãi tiếp theo của ePBS. ePBS hứa rằng "khối của người xây dựng sẽ được đề xuất". Nếu vấn đề này được mở rộng sang đấu giá khối một phần, đấu giá khối song song, đấu giá khối trong tương lai, v.v., chúng tôi có thể cho phép người đề xuất thực hiện nhiều việc hơn - và lớp giao thức đảm bảo rằng những điều này được thực hiện một cách chính xác.
Có một mối quan hệ tinh tế giữa PEPC và EigenLayer. Không khó để nhận ra rằng có một số điểm tương đồng giữa các trường hợp sử dụng PEPC nêu trên và các trường hợp sử dụng nhà sản xuất khối của EigenLayer. Tuy nhiên, điểm khác biệt quan trọng giữa EigenLayer và PEPC là những người đề xuất tham gia tái cam kết về mặt lý thuyết vẫn có thể vi phạm các cam kết của mình, mặc dù họ sẽ bị trừng phạt về mặt tài chính; trong khi trọng tâm của PEPC là “Được thực thi theo giao thức”, tức là bắt buộc được thực hiện. ở lớp giao thức. Nếu lời hứa không thể được thực thi, khối sẽ không hợp lệ.
(PS: Nhìn sơ qua, có thể dễ dàng nhận thấy EigenDA giống Danksharding và MEV-Boost++ tương tự ePBS. Hai dịch vụ này giống như phiên bản opt-in của thiết kế lớp giao thức. So với lớp giao thức, đó là một giải pháp nhanh hơn cho thị trường, theo kịp những gì Ethereum sẽ làm trong tương lai và duy trì Sự liên kết Ethereum thông qua việc tái cam kết).
Không làm quá tải đồng thuận Ethereum?
Một vài tháng trước, bài viết Đừng quá tải đồng thuận Ethereum của Vitalik được hầu hết mọi người coi là chỉ trích việc Đặt lại. Tác giả cho rằng đây chỉ là lời nhắc nhở hoặc cảnh báo để duy trì sự đồng thuận xã hội, trọng tâm là sự đồng thuận xã hội chứ không phải từ chối tái cam kết.
Trong thời kỳ sơ khai của Ethereum, cuộc tấn công DAO đã gây ra tranh cãi lớn và cộng đồng đã có một cuộc thảo luận sôi nổi về việc có nên hard fork hay không. Ngày nay, hệ sinh thái Ethereum, bao gồm cả Rollup, đã lưu trữ một số lượng lớn ứng dụng. Vì vậy, điều rất quan trọng là tránh gây ra sự chia rẽ lớn trong cộng đồng và duy trì sự nhất quán của xã hội.
Hermione tạo ra lớp 2 thành công và lập luận rằng vì lớp 2 của cô là lớn nhất nên vốn dĩ nó an toàn nhất, vì nếu có lỗi khiến tiền bị đánh cắp thì tổn thất sẽ lớn đến mức cộng đồng sẽ không còn lựa chọn nào khác nhưng phân nhánh để thu hồi tiền của người dùng Rủi ro cao.
Câu trích dẫn ở trên so với bản gốc là một ví dụ điển hình. Ngày nay, tổng TVL của L2 đã vượt quá hàng chục tỷ USD, nếu có vấn đề thì sẽ liên quan rất nhiều. Tại thời điểm này, nếu cộng đồng đề xuất thực hiện hard fork và khôi phục trạng thái, chắc chắn sẽ gây ra tranh cãi lớn. Giả sử bạn và tôi có một số tiền lớn trong đó, chúng ta sẽ chọn cách nào - lấy lại tiền hay lo sợ tính bất biến của blockchain? Quan điểm của Vitalik là: Các dự án dựa vào Ethereum nên quản lý rủi ro hợp lý và không nên cố gắng giành được sự đồng thuận xã hội về Ethereum cũng như ràng buộc chặt chẽ sự sống còn của dự án với Ethereum.
Quay trở lại cuộc thảo luận của EigenLayer, trọng tâm của quản lý rủi ro là AVS cần xác định các quy tắc cắt giảm khách quan, trên chuỗi và có thể phân bổ để tránh những bất đồng. Ví dụ: ký các khối kép trên Ethereum; ký khối không hợp lệ của chuỗi khác trong cầu nối chuỗi chéo dựa trên nút nhẹ; Bằng chứng ký quỹ EigenDA đã thảo luận ở trên, v.v. Những điều này và những thứ tương tự là những quy định rõ ràng về việc tịch thu.
Phần kết
EigenLayer dự kiến sẽ hoàn thành việc ra mắt mainnet vào đầu năm tới và ra mắt sản phẩm chủ lực EigenDA. Nhiều dự án cơ sở hạ tầng đã công bố hợp tác với EigenLayer. Chúng tôi đã thảo luận về EigenDA, MEV và PEPC ở trên và có nhiều cuộc thảo luận thú vị đang diễn ra xung quanh các trường hợp sử dụng khác nhau. Tái cam kết đang trở thành một trong những câu chuyện chủ đạo trên thị trường. Chúng tôi sẽ tiếp tục theo dõi tiến trình của EigenLayer và chia sẻ mọi quan điểm!
Xem bản gốc
Trang này có thể chứa nội dung của bên thứ ba, được cung cấp chỉ nhằm mục đích thông tin (không phải là tuyên bố/bảo đảm) và không được coi là sự chứng thực cho quan điểm của Gate hoặc là lời khuyên về tài chính hoặc chuyên môn. Xem Tuyên bố từ chối trách nhiệm để biết chi tiết.
EigenLayer: Re-stake giới thiệu một cuộc cách mạng về niềm tin trong phần mềm trung gian
Nguồn: IOSG Ventures
Trong năm qua, EigenLayer đã phát hành sách trắng của họ, hoàn thành vòng tài trợ Series A trị giá 50 triệu đô la và ra mắt giai đoạn đầu tiên của mạng chính. Trong thời gian này, cộng đồng Ethereum cũng tổ chức các cuộc thảo luận rộng rãi xung quanh EigenLayer và các trường hợp sử dụng của nó. Bài viết này sẽ theo dõi và sắp xếp các cuộc thảo luận này.
lý lịch
Trong hệ sinh thái Ethereum, một số dịch vụ phần mềm trung gian (như oracles) không hoàn toàn dựa vào logic trên chuỗi, vì vậy chúng không thể dựa trực tiếp vào sự đồng thuận và bảo mật của Ethereum và cần phải chuyển hướng mạng tin cậy. Thông lệ thông thường trước tiên là vận hành dự án, sau đó đưa ra các ưu đãi mã thông báo để thu hút người tham gia hệ thống và dần dần hiện thực hóa sự phân cấp.
Có ít nhất hai khó khăn khi làm như vậy. Một là việc đưa ra cơ chế khuyến khích đòi hỏi phải có thêm chi phí: chi phí cơ hội để người tham gia mua mã thông báo để tham gia cam kết và chi phí vận hành để bên dự án duy trì giá trị của mã thông báo . Thứ hai, ngay cả khi các chi phí nêu trên được thanh toán và mạng lưới phi tập trung được xây dựng thì tính bảo mật và tính bền vững của nó vẫn chưa được biết đến. Đối với các dự án khởi nghiệp, hai điểm này đặc biệt khó khăn.
Ý tưởng của EigenLayer là cung cấp bảo mật kinh tế cho các phần mềm trung gian này (Dịch vụ được xác thực tích cực, AVS) bằng cách đặt lại bởi các nhà đầu tư Ethereum hiện có. Nếu những người tái cam kết này làm việc trung thực, họ có thể được khen thưởng, nhưng nếu họ làm điều xấu, cam kết Ethereum ban đầu của họ sẽ bị hủy bỏ.
Ưu điểm của việc này là: thứ nhất, bên dự án không cần tự mình hướng dẫn mạng tin cậy mới mà giao nó cho trình xác minh Ethereum, giúp giảm chi phí vốn nhiều nhất có thể; thứ hai, tính bảo mật kinh tế của trình xác minh Ethereum được thiết lập rất mạnh nên tính bảo mật cũng được đảm bảo ở một mức độ nhất định. Từ quan điểm của những người cầm cố Ethereum, việc tái cam kết mang lại cho họ thu nhập bổ sung, miễn là không có mục đích xấu chủ quan thì rủi ro tổng thể có thể kiểm soát được.
Sreeram, người sáng lập EigenLayer, đã từng đề cập đến ba trường hợp sử dụng và mô hình tin cậy của EigenLayer trên Twitter và podcast:
người tham gia hệ thống
EigenLayer đóng vai trò như một thị trường mở kết nối ba người chơi chính.
Với những khái niệm cơ bản này, chúng ta hãy xem xét các trường hợp sử dụng cụ thể của EigenLayer.
EigenDA
EigenDA là sản phẩm chủ lực được EigenLayer ra mắt, giải pháp này có nguồn gốc từ Danksharding, giải pháp mở rộng Ethereum. Trong số đó, Lấy mẫu sẵn có dữ liệu (DAS) cũng được sử dụng rộng rãi trong các dự án DA như Celestia và Avail. Trong chương này, chúng tôi sẽ giới thiệu nhanh về DAS, sau đó xem cách EigenDA được triển khai và những đổi mới của nó.
Là giải pháp ngoại vi cho Danksharding, EIP-4844 giới thiệu "Giao dịch mang Blob". Mỗi giao dịch sẽ mang một kích thước dữ liệu bổ sung khoảng 125kb. Trong bối cảnh lộ trình mở rộng phân chia dữ liệu, dữ liệu mới được thêm vào chắc chắn sẽ làm tăng gánh nặng cho các nút. Vì vậy, có cách nào để làm cho nút chỉ tải xuống một phần nhỏ dữ liệu và cũng xác minh rằng tất cả dữ liệu đều có sẵn không?
Những gì DAS làm là cho phép các nút lấy mẫu ngẫu nhiên một phần nhỏ dữ liệu nhiều lần. Mỗi lần lấy mẫu thành công sẽ làm tăng độ tin cậy của nút rằng dữ liệu có sẵn. Sau khi đạt đến mức đặt trước nhất định, dữ liệu được coi là có sẵn. Tuy nhiên, kẻ tấn công vẫn có thể ẩn một phần nhỏ dữ liệu - chúng tôi cũng cần một số loại khả năng chịu lỗi.
DAS sử dụng mã hóa xóa (Erasure Coding). Ý tưởng chính của mã hóa xóa là chia dữ liệu thành các khối và sau đó mã hóa các khối này để tạo thêm các khối dư thừa. Các khối dự phòng này chứa một phần thông tin của khối dữ liệu gốc, để khi một số khối dữ liệu bị mất hoặc hư hỏng, khối dữ liệu bị mất có thể được phục hồi thông qua các khối dự phòng. Bằng cách này, mã hóa xóa cung cấp tính dự phòng và độ tin cậy cho DAS.
Ngoài ra, chúng ta cũng cần xác minh xem các khối dự phòng thu được có được mã hóa chính xác hay không, vì dữ liệu gốc không thể được xây dựng lại bằng cách sử dụng các khối dự phòng sai. Danksharding áp dụng cam kết KZG (Kate-Zaverucha-Goldberg). Cam kết KZG là một phương pháp xác minh đa thức bằng cách chứng minh rằng giá trị của nó tại một vị trí cụ thể phù hợp với một giá trị số được chỉ định.
Người chứng minh chọn đa thức p(x) và sử dụng p(x) để tính các cam kết cho từng khối dữ liệu, gọi là C1, C2, ..., Cm. Người chứng minh sẽ công bố cam kết cùng với khối dữ liệu. Để xác minh mã hóa, người kiểm tra có thể lấy mẫu ngẫu nhiên t điểm x1, x2, ..., xt và yêu cầu người kiểm chứng mở cam kết tại các điểm: p(x1), p(x2), ..., p(xt ) . Sử dụng phép nội suy Lagrange, trình xác minh có thể xây dựng lại đa thức p(x) từ các điểm t này. Bây giờ, người xác minh có thể tính toán lại các cam kết C1', C2', ..., Cm' bằng cách sử dụng đa thức p(x) được xây dựng lại và khối dữ liệu, đồng thời xác minh rằng chúng khớp với các cam kết đã công bố C1, C2, ..., Cm.
Nói tóm lại, bằng cách sử dụng các cam kết của KZG, người xác minh chỉ cần một số điểm nhỏ để xác minh tính chính xác của toàn bộ mã hóa. Bằng cách này, chúng ta có được DAS hoàn chỉnh.
EigenLayer mượn ý tưởng từ DAS và áp dụng nó cho EigenDA.
Đầu tiên, các nút EigenDA được đặt cược lại và đăng ký trong hợp đồng EigenLayer.
Thứ hai, sau khi Sequencer lấy dữ liệu, nó sẽ chia dữ liệu thành nhiều khối, sử dụng mã xóa để tạo các khối dự phòng và tính toán cam kết KZG tương ứng với từng khối dữ liệu. Trình sắp xếp trình tự lần lượt đưa ra các cam kết của KZG đối với hợp đồng EigenDA với tư cách là nhân chứng.
Sau đó, Bộ sắp xếp chuỗi phân phối khối dữ liệu cùng với cam kết KZG của nó tới từng nút EigenDA lần lượt. Sau khi nút nhận được cam kết KZG, nó so sánh nó với cam kết KZG trên hợp đồng EigenDA, lưu trữ khối dữ liệu sau khi xác nhận rằng nó đúng và ký vào đó.
Sau đó, Trình sắp xếp thứ tự thu thập các chữ ký này, tạo chữ ký tổng hợp và xuất bản chúng vào hợp đồng EigenDA và hợp đồng EigenDA sẽ xác minh chữ ký. Sau khi xác minh chữ ký là chính xác, toàn bộ quá trình được hoàn thành.
Trong quy trình trên, nút EigenDA chỉ tuyên bố đã lưu trữ khối dữ liệu thông qua chữ ký. Chúng ta cũng cần một cách để đảm bảo rằng nút EigenDA không nói dối. EigenDA áp dụng Bằng chứng về Quyền giám sát.
Ý tưởng của bằng chứng ký quỹ là đặt một "quả bom" vào dữ liệu, một khi nút ký vào nó, nó sẽ bị chém. Để triển khai bằng chứng ký quỹ, cần thiết kế: một giá trị bí mật để phân biệt các nút DA khác nhau nhằm ngăn chặn gian lận; một chức năng dành riêng cho các nút DA lấy dữ liệu DA và các giá trị bí mật làm đầu vào và sự hiện diện hay vắng mặt của bom như đầu ra. Nếu nút không lưu trữ dữ liệu đầy đủ mà nó phải lưu trữ thì không thể tính được hàm này. Dankrad đã chia sẻ thêm chi tiết về Bằng chứng ký quỹ trên blog của mình.
Nếu nút lười xuất hiện, bất kỳ ai cũng có thể gửi bằng chứng cho hợp đồng EigenDA và hợp đồng sẽ xác minh bằng chứng, nếu xác minh thành công, nút lười sẽ bị trừng phạt.
Về yêu cầu phần cứng, cam kết tính toán 32 MB dữ liệu trong 1 giây của KZG yêu cầu khoảng 32-64 CPU lõi, tuy nhiên yêu cầu này chỉ dành cho phía Sequencer và sẽ không tạo gánh nặng cho nút EigenDA. Trong mạng thử nghiệm của EigenDA, thông lượng của 100 nút EigenDA đạt 15 MB/s, trong khi nhu cầu băng thông tải xuống nút chỉ 0,3 MB/s (thấp hơn nhiều so với yêu cầu chạy trình xác thực Ethereum).
**Tóm lại, chúng ta có thể thấy rằng EigenDA đã nhận ra việc tách rời tính khả dụng và đồng thuận của dữ liệu, đồng thời việc truyền bá các khối dữ liệu không còn bị giới hạn bởi nút thắt cổ chai của giao thức đồng thuận và thông lượng thấp của mạng P2P. Bởi vì EigenDA tương đương với việc tận hưởng sự đồng thuận Ethereum miễn phí: quá trình Sequencer đưa ra các cam kết KZG và chữ ký tổng hợp, xác minh chữ ký bằng hợp đồng thông minh và cắt giảm các nút độc hại đều diễn ra trên Ethereum và Ethereum cung cấp các đảm bảo đồng thuận, do đó không có cần khởi động lại mạng tin cậy. **
Hiện tại, bản thân công nghệ DAS cũng có một số hạn chế. Chúng ta cần giả định rằng một đối tác độc hại sẽ cố gắng đánh lừa các nút nhẹ chấp nhận dữ liệu sai lệch bằng mọi cách có thể. Sreeram đã nêu những điều sau đây trong tweet của mình.
Để một nút duy nhất có xác suất có sẵn dữ liệu đủ cao, cần phải đáp ứng các yêu cầu sau:
Chúng tôi có thể cho phép nhiều nút ánh sáng thực hiện lấy mẫu ngẫu nhiên để đáp ứng tính đồng thời và ngẫu nhiên, nhưng hiện tại không có cách nào tốt để đáp ứng việc lấy mẫu IP riêng tư. Vì vậy, vẫn có các vectơ tấn công chống lại DAS, khiến DAS hiện chỉ cung cấp sự đảm bảo yếu. Những vấn đề này vẫn đang được tích cực giải quyết.
EigenLayer & MEV
Sreeram đã nói về việc sử dụng EigenLayer trong nhóm MEV tại Hội nghị thượng đỉnh MEVconomics. Dựa trên nguyên tắc kinh tế tiền điện tử của việc đặt cược và cắt giảm, những người đề xuất có thể triển khai bốn tính năng sau, đó là điểm thứ ba được đề cập ở trên - trường hợp sử dụng cam kết của người xác thực.
Kích hoạt theo sự kiện
Các giao thức như Gelato có thể phản ứng với các sự kiện cụ thể trên chuỗi. Nghĩa là, giám sát liên tục các sự kiện trên chuỗi và khi một sự kiện xảy ra, một số hoạt động được xác định trước sẽ được kích hoạt. Những nhiệm vụ này thường được hoàn thành bởi người nghe/người thực thi bên thứ ba.
Nó được gọi là "bên thứ ba" vì không có kết nối giữa người nghe/người thực thi và người đề xuất thực sự xử lý không gian khối. Giả sử người nghe/người thực thi kích hoạt một giao dịch nhưng (vì lý do nào đó) không được người đề xuất đưa vào khối, điều này không thể được quy cho và do đó không mang lại sự đảm bảo kinh tế mang tính quyết định.
Nếu dịch vụ này được cung cấp bởi những người đề xuất tham gia đặt lại, họ có thể đưa ra các cam kết đáng tin cậy về việc kích hoạt hoạt động và nếu những giao dịch này không được đưa vào khối, người đề xuất sẽ bị loại. Điều này mang lại sự đảm bảo mạnh mẽ hơn so với người nghe/người thực thi bên thứ ba.
Trong các ứng dụng thực tế (chẳng hạn như các hợp đồng cho vay), một trong những mục đích của việc thiết lập tỷ lệ thế chấp vượt mức là để bù đắp những biến động về giá trong một khoảng thời gian nhất định. Điều này liên quan đến khoảng thời gian trước khi thanh lý, tỷ lệ thế chấp quá mức cao hơn có nghĩa là thời gian đệm dài hơn. Nếu phần lớn các giao dịch áp dụng chiến lược phản ứng theo hướng sự kiện với sự đảm bảo mạnh mẽ do người đề xuất cung cấp thì (đối với tài sản có tính thanh khoản) sự biến động của tỷ lệ thế chấp quá mức có thể được giới hạn trong một vài khoảng thời gian khối, do đó làm giảm tỷ lệ thế chấp quá mức và cải thiện hiệu quả vốn.
Đấu giá khối một phần
Trong thiết kế MEV-Boost hiện tại, người đề xuất giao hoàn toàn không gian khối cho người xây dựng và chỉ có thể nhận và đề xuất một cách thụ động toàn bộ khối do người xây dựng gửi. Những người xây dựng chỉ là một thiểu số nhỏ so với những người đề xuất được phân phối rộng rãi hơn và họ có thể thông đồng để kiểm duyệt và tống tiền các giao dịch cụ thể—vì những người đề xuất không thể đưa các giao dịch họ muốn vào MEV-Boost.
EigenLayer đề xuất MEV-Boost++ nâng cấp MEV-Boost, giới thiệu phần người đề xuất trong khối và người đề xuất có thể bao gồm bất kỳ giao dịch nào trong phần người đề xuất. Người đề xuất cũng có thể xây dựng khối B-alt thay thế cùng lúc và đề xuất khối B-alt thay thế này nếu rơle không giải phóng Builder_part. Tính linh hoạt này đảm bảo khả năng chống kiểm duyệt đồng thời giải quyết vấn đề về tính sống động của chuyển tiếp.
Điều này nhất quán với mục đích của thiết kế lớp giao thức—crList do ePBS đề xuất, nghĩa là chúng ta cần đảm bảo rằng nhiều người đề xuất có thể tham gia vào việc quyết định thành phần của các khối để đạt được khả năng chống kiểm duyệt.
Mã hóa ngưỡng
Trong giải pháp MEV dựa trên mã hóa ngưỡng, các khóa mã hóa và giải mã được quản lý bởi một nhóm nút phân tán. Người dùng mã hóa các giao dịch, được giải mã và thực thi sau khi chúng được đưa vào một khối.
Tuy nhiên, mã hóa ngưỡng dựa vào giả định tính trung thực đa số. Nếu hầu hết các nút đều xấu, điều đó có thể khiến giao dịch được giải mã không được đưa vào khối. Những người đề xuất đặt cược lại có thể đưa ra cam kết đáng tin cậy đối với giao dịch được mã hóa để đảm bảo giao dịch đó được đưa vào khối. Nếu người đề xuất không bao gồm giao dịch được giải mã, nó sẽ bị cắt bỏ. Tất nhiên, nếu phần lớn các nút độc hại không giải phóng khóa giải mã thì người đề xuất có thể đề xuất một khối trống.
Đấu giá Blockspace dài hạn
Đấu giá không gian khối dài hạn cho phép người mua không gian khối đặt trước không gian khối trong tương lai cho một người xác nhận nhất định. Những người xác thực tham gia đặt cược lại có thể đưa ra các cam kết đáng tin cậy và sẽ bị cắt giảm nếu không có giao dịch nào liên quan đến người mua khi hết hạn. Sự đảm bảo về không gian khối này có một số trường hợp sử dụng thực tế. Ví dụ: nhà tiên tri cần cung cấp giá trong một khoảng thời gian nhất định; Arbitrum phát hành dữ liệu L2 cho Ethereum L1 cứ sau 1-3 phút, Lạc quan cứ sau 30 giây - 1 phút, v.v.
#PEPC
Hãy quay trở lại PEPC (Cam kết của người đề xuất được thực thi theo giao thức), đã được cộng đồng Ethereum thảo luận rộng rãi gần đây. PEPC thực chất là sự quảng bá hoặc khái quát hóa ePBS.
Chúng ta hãy tháo rời chuỗi logic này từng cái một.
Có một mối quan hệ tinh tế giữa PEPC và EigenLayer. Không khó để nhận ra rằng có một số điểm tương đồng giữa các trường hợp sử dụng PEPC nêu trên và các trường hợp sử dụng nhà sản xuất khối của EigenLayer. Tuy nhiên, điểm khác biệt quan trọng giữa EigenLayer và PEPC là những người đề xuất tham gia tái cam kết về mặt lý thuyết vẫn có thể vi phạm các cam kết của mình, mặc dù họ sẽ bị trừng phạt về mặt tài chính; trong khi trọng tâm của PEPC là “Được thực thi theo giao thức”, tức là bắt buộc được thực hiện. ở lớp giao thức. Nếu lời hứa không thể được thực thi, khối sẽ không hợp lệ.
(PS: Nhìn sơ qua, có thể dễ dàng nhận thấy EigenDA giống Danksharding và MEV-Boost++ tương tự ePBS. Hai dịch vụ này giống như phiên bản opt-in của thiết kế lớp giao thức. So với lớp giao thức, đó là một giải pháp nhanh hơn cho thị trường, theo kịp những gì Ethereum sẽ làm trong tương lai và duy trì Sự liên kết Ethereum thông qua việc tái cam kết).
Không làm quá tải đồng thuận Ethereum?
Một vài tháng trước, bài viết Đừng quá tải đồng thuận Ethereum của Vitalik được hầu hết mọi người coi là chỉ trích việc Đặt lại. Tác giả cho rằng đây chỉ là lời nhắc nhở hoặc cảnh báo để duy trì sự đồng thuận xã hội, trọng tâm là sự đồng thuận xã hội chứ không phải từ chối tái cam kết.
Trong thời kỳ sơ khai của Ethereum, cuộc tấn công DAO đã gây ra tranh cãi lớn và cộng đồng đã có một cuộc thảo luận sôi nổi về việc có nên hard fork hay không. Ngày nay, hệ sinh thái Ethereum, bao gồm cả Rollup, đã lưu trữ một số lượng lớn ứng dụng. Vì vậy, điều rất quan trọng là tránh gây ra sự chia rẽ lớn trong cộng đồng và duy trì sự nhất quán của xã hội.
Hermione tạo ra lớp 2 thành công và lập luận rằng vì lớp 2 của cô là lớn nhất nên vốn dĩ nó an toàn nhất, vì nếu có lỗi khiến tiền bị đánh cắp thì tổn thất sẽ lớn đến mức cộng đồng sẽ không còn lựa chọn nào khác nhưng phân nhánh để thu hồi tiền của người dùng Rủi ro cao.
Câu trích dẫn ở trên so với bản gốc là một ví dụ điển hình. Ngày nay, tổng TVL của L2 đã vượt quá hàng chục tỷ USD, nếu có vấn đề thì sẽ liên quan rất nhiều. Tại thời điểm này, nếu cộng đồng đề xuất thực hiện hard fork và khôi phục trạng thái, chắc chắn sẽ gây ra tranh cãi lớn. Giả sử bạn và tôi có một số tiền lớn trong đó, chúng ta sẽ chọn cách nào - lấy lại tiền hay lo sợ tính bất biến của blockchain? Quan điểm của Vitalik là: Các dự án dựa vào Ethereum nên quản lý rủi ro hợp lý và không nên cố gắng giành được sự đồng thuận xã hội về Ethereum cũng như ràng buộc chặt chẽ sự sống còn của dự án với Ethereum.
Quay trở lại cuộc thảo luận của EigenLayer, trọng tâm của quản lý rủi ro là AVS cần xác định các quy tắc cắt giảm khách quan, trên chuỗi và có thể phân bổ để tránh những bất đồng. Ví dụ: ký các khối kép trên Ethereum; ký khối không hợp lệ của chuỗi khác trong cầu nối chuỗi chéo dựa trên nút nhẹ; Bằng chứng ký quỹ EigenDA đã thảo luận ở trên, v.v. Những điều này và những thứ tương tự là những quy định rõ ràng về việc tịch thu.
Phần kết
EigenLayer dự kiến sẽ hoàn thành việc ra mắt mainnet vào đầu năm tới và ra mắt sản phẩm chủ lực EigenDA. Nhiều dự án cơ sở hạ tầng đã công bố hợp tác với EigenLayer. Chúng tôi đã thảo luận về EigenDA, MEV và PEPC ở trên và có nhiều cuộc thảo luận thú vị đang diễn ra xung quanh các trường hợp sử dụng khác nhau. Tái cam kết đang trở thành một trong những câu chuyện chủ đạo trên thị trường. Chúng tôi sẽ tiếp tục theo dõi tiến trình của EigenLayer và chia sẻ mọi quan điểm!