Với một số tài sản X, chúng tôi biểu thị bằng [X] tài sản được đặt cọc lại, tức là một tài sản "đấm bốc" X sao cho một phần hoặc toàn bộ X có thể bị một số bên chiếm giữ với một số điều kiện tùy ý.
Ví dụ cơ bản được giới thiệu bởi EigenLayer là của một người đầu tư đơn lẻ tái đầu tư ETH hiện tại của họ. Để làm điều này, người đầu tư đơn lẻ cập nhật địa chỉ rút tiền của mình thành địa chỉ của một Pod EigenLayer. EigenPods là hợp đồng thông minh theo dõi các dịch vụ mà người staker solo đã đăng ký để bảo vệ với số tiền cọc của họ. EigenPod cuối cùng trở thành chủ sở hữu của tài sản soETH, trong khi nó ghi nhận người staker solo với một biểu tượng được cọc lại của ETH của họ.
Sở hữu tài sản soETH trong khuôn khổ của chúng tôi biểu thị "quyền ưu tiên" đối với ETH rút ra từ giao thức Ethereum, tức là sở hữu quyền yêu cầu cao hơn bất kỳ người tham gia nào khác trong chuỗi. Khi người đặt cược đơn quyết định rút ETH của họ từ giao thức Ethereum, ETH đã rút được lọc qua hợp đồng EigenPod, kiểm tra xem người đặt cược đơn có được phép đổi toàn bộ số soETH hay không (chúng ta sẽ thấy sau khi điều này có thể không phải trường hợp). Với bảng cân đối của chúng tôi:
Chúng tôi làm cho mỗi bước rõ ràng trong các bước sau:
Chúng ta đã có thể đưa ra một số quan sát đáng chú ý từ bảng cân đối trên. Điều đầu tiên là giao thức Ethereum hoàn toàn không có khái niệm nào về [soETH], vì điều này không xuất hiện trên bảng cân đối của chính nó. Vấn đề này đã được thảo luận trong “Unbundling PBS: Đến cam kết bắt buộc giao thức của người đề xuất (PEPC)Một nhà xác minh bị cắt giảm bởi EigenLayer vẫn có một số dư đầy đủ trong sổ cân đối của giao protocal Ethereum, điều này có thể gây ra nguy cơ đạo đức và mất cân bằng trong phần thưởng (một nhà xác minh thực tế chỉ đặt cược một nửa vẫn nhận được phần thưởng đầy đủ từ giao protocal Ethereum). Chúng tôi miêu tả tình huống bị cắt giảm trong các sổ cân đối sau đây, đưa ra các con số tùy ý để minh họa vấn đề:
Vấn đề này được khắc phục ngay sau khi EigenLayer trung thực báo cáo việc cắt giảm của EigenLayer của một người xác thực cho giao thức Ethereum, cân bằng lại các tờ. Điều này là có thể với EIP-7002: Execution layer triggerable exits, tuy nhiên ở mức độ cơ bản, vì còn cần sử dụng phần mềm EigenLayer hoặc EigenPod để kích hoạt tín hiệu đến giao thức Ethereum PoS. Hành động này là trong lợi ích của EigenLayer vì việc tính toán chính xác mang lại lợi ích cho các dịch vụ được bảo vệ thông qua EigenLayer và cũng tăng sự tin tưởng của các nhà điều hành và người đầu tư lại vào việc thực hiện đúng đắn của nền tảng.
Một trigger tốt hơn có thể buộc rút một phần cân bằng của người xác nhận từ sự đồng thuận Ethereum, mà không cần phải thoát hoàn toàn khỏi người xác nhận. Điều này được mong muốn đối với các dịch vụ EigenLayer muốn phạt người xác nhận một cách một phần, mà không gây ra việc thoát. Lưu ý rằng không EIP-7002 hoặc rút một phần được kích hoạt bởi lớp thực thi có sẵn trên mạng chính Ethereum ngày hôm nay. Lưu ý rằng@mikeneuder/eip-7251-faq">MaxEB (loại bỏ hạn mức 32 ETH trên một người xác minh duy nhất cổ phần đang đặt cược) sẽ kết hợp tốt với việc rút tiền một phần, loại bỏ một động cơ bổ sung khuyến khích người xác minh giữa các cổ phần không còn phân tách (chạy nhiều người xác minh 32 ETH thay vì một người xác minh 2048 ETH duy nhất chẳng hạn).
Thiếu tính năng rút tiền một phần này, có một động cơ bổ sung để giữ cho việc tính toán của EigenLayer được tách biệt khỏi việc tính toán giao thức Ethereum, điều này như chúng ta đã nêu ở trên có thể gây ra sự không phù hợp. Trong phần tiếp theo, chúng tôi mô tả một validator bị trừ 8 ETH bởi EigenLayer, nhưng điều này không làm thoát validator khỏi nhiệm vụ đồng thuận của nó (số dư bị đuổi là 16 ETH):
Ai đó có thể tự hỏi rằng 8 [soETH] đi đâu trong ví dụ trước đó. Quyết định này được để lại cho các Dịch vụ Được Xác minh Hoạt động (AVS) do EigenLayer điều khiển. Một AVS là một dịch vụ đòi hỏi một số cược như tài sản thế chấp. Sự hiện diện của cược cho phép dịch vụ cam kết đáng tin cậy đối với một số hiệu suất, vì cược có thể bị cắt giảm nếu dịch vụ không được thực hiện đúng cách.
Người xác minh tái đặt cược đăng ký vào AVS qua EigenPod của họ. Khi họ làm như vậy, EigenPod sẽ tạo ra các yêu cầu mới được cung cấp cho AVS, đại diện cho tài sản đảm bảo hiện tại được giữ dưới EigenPod. Bây giờ chúng ta phải phân biệt giữa hai loại yêu cầu:
Một khi người xác minh hành động ngược lại với mục tiêu của AVS (ví dụ, kích hoạt điều kiện cắt giảm của AVS), AVS có thể quyết định ví dụ, đốt cháy quyền yêu cầu của người xác minh về ETH đang đặt cược, hoặc giữ cược như doanh thu cho AVS. Chúng tôi minh họa tùy chọn thứ hai này trong phần sau, bằng cách giả sử rằng giao thức Ethereum chỉ đơn giản là tín dụng 8 ETH cho EigenPod như là một rút tiền một phần theo báo cáo cắt giảm EigenLayer, sau đó EigenLayer chuyển nó đến AVS:
Tính năng (và rủi ro) mà EigenLayer cung cấp là khả năng cho một người staker tái cược tiếp tục tham gia cam kết mới mà họ hứa hẹn sẽ tuân thủ. Nói cách khác, sau khi cược được tái cược, cược đã tái cược có thể được tái cược lại, và lại, và lại... Thực tế, người staker tái cược tham gia cam kết mới bằng cách đăng ký thêm dịch vụ thông qua EigenPod của họ.
Để đạt được tính tổng quát đầy đủ, và trong sự mong đợi của các phần tiếp theo khi tài sản khác ngoài soETH được đặt cược lại, chúng ta ký hiệu bằng $X$ cho tài sản mà người đặt cược lại đặt cược lại. Hãy xem xét cách đặt cược lại nhiều lần hoạt động:
Chúng tôi ký hiệu bằng [X]p tài sản X được đặt cược lại p lần. Hiện tại đây chỉ là một định nghĩa đơn giản, nhưng sau khi nêu rõ các bước của bảng cân đối này, chúng tôi sẽ gợi ý một số tính chất của các tài sản này. EigenPod có khả năng in ra các khoản nợ này theo ý muốn, tạo ra tài sản mới mỗi khi người đặt cược lại cam kết với AVS mới.
Dựa vào bảng cân đối trên, chúng tôi bây giờ sẽ đề cập đến một số câu hỏi. Chúng tôi quan sát rằng chuỗi Y nhận được [X]¹, trong khi chuỗi Z nhận [X]². Liệu những tài sản này có cùng loại, và chúng ta có thể chỉ nói rằng cả hai đều nhận tài sản loại [X] không?
Câu trả lời sẽ là không nếu có một cấp bậc của các yêu cầu AVS. Hãy tưởng tượng một tình huống trong đó người đặt cược lại thực hiện các hành vi có thể bị cắt giảm trên cả hai chuỗi cùng một lúc, và cả hai chuỗi đều muốn cắt giảm toàn bộ tài sản đảm bảo. Chúng ta sau đó có thể nghĩ đến hai trường hợp:
Trong phần trước, chúng tôi đã giới thiệu về AVSs, đó là các dịch vụ mà người xác minh tái đặt cược cam kết cung cấp. Sự cam kết được đảm bảo thông qua EigenLayer, nơi sở hữu số lượng cược của người xác minh tái đặt cược và giải quyết các yêu cầu được đưa ra bởi AVSs.
Nhưng AVS chính xác là gì? Giống như chúng ta đã tách ra ở trên các giao thức LST và các toán tử LST, ở đây có ý nghĩa khi thảo luận riêng về hai vai trò chức năng này và gán cho chúng các tài sản và yêu cầu khác nhau.
Để tóm lại, AVS yêu cầu tài sản thế chấp để cung cấp dịch vụ, ví dụ, AVS đưa ra yêu cầu đáng tin cậy rằng một cuộc tấn công vào AVS sẽ dẫn đến việc mất một phần nào đó của tài sản thế chấp hiện tại mà AVS đang giữ. Do đó, AVS được xem ở đây như một giao thức tương tác với các nhà vận hành để cung cấp dịch vụ. Chúng ta sau đó phân biệt hai cách mà người tái stakers có thể tương tác với AVS:
Trong các phần trên, chúng tôi đã xác định người xác minh lại là cung cấp vốn (vốn của họ được đặt lại) và nhà điều hành AVS (họ được mong đợi cung cấp một số dịch vụ). Tuy nhiên, chúng ta có thể xem xét một cấu trúc khác, nơi người xác minh lại không vận hành AVS mà giao chức năng này cho một số nhà điều hành. Điều này có thể cho phép người đặt lại đơn lẻ cạnh tranh về lợi suất với các Nhà cung cấp Dịch vụ Đặt cược tích hợp (SSP)/nhà điều hành. Ví dụ sau giới thiệu tình huống nơi một nhà điều hành AVS duy nhất xác minh trên một số chuỗi Y và Z, thay mặt cho một người đặt lại. Chúng tôi giả định rằng tất cả các yêu cầu AVS đều cùng loại [X] (không có hệ thống yêu cầu).
Trong mô hình này, chúng ta khôi phục các cấu trúc quen thuộc. Một tài sản không được nhận bởi người đặt cược lại, ngay tức thì đã gợi ý về khả năng làm lỏng vị trí như vậy. Chúng tôi sẽ thảo luận về những cấu trúc tiên tiến này trong bài đăng tiếp theo, nhưng trước khi làm điều đó, hãy nhắc đến nghiên cứu đang diễn ra về “PBS cho AVS” như một phương pháp để giảm sự tập trung của nhà điều hành.
Dưới Bộ Khung Ủy Thác Lạc Quan (ODF)được đề xuất bởi Drew Van der Werff (xem thêm Bài thuyết trình gần đây về hội thảo Cryptoeconomics của 0xKydo tại Columbia) , một người re-staker có thể ký kết hợp đồng vận hành của các AVSs mà họ đăng ký trong một thị trường mở của 'co-processors'. Các co-processors có thể được xác định với vai trò 'builder' của PBS, một đơn vị chuyên biệt có khả năng chạy các hoạt động tiềm năng mà không thể truy cập được bởi các đơn vị không có kỹ năng hoặc bị hạn chế về tính toán như solo stakers. Các co-processors nộp các đề nghị cho người re-staker, trong một cơ chế đấu thầu mua sắm, cho phép người re-staker xác định nhà vận hành có lợi nhuận nhất. Để đảm bảo hiệu suất, các co-processors là những người tham gia có trái phiếu, mở cửa cho việc mất trái phiếu của họ nếu họ nộp một mảnh công việc không hợp lệ theo cách có thể chứng minh được trong quá trình hoạt động của họ.
Với một số tài sản X, chúng tôi biểu thị bằng [X] tài sản được đặt cọc lại, tức là một tài sản "đấm bốc" X sao cho một phần hoặc toàn bộ X có thể bị một số bên chiếm giữ với một số điều kiện tùy ý.
Ví dụ cơ bản được giới thiệu bởi EigenLayer là của một người đầu tư đơn lẻ tái đầu tư ETH hiện tại của họ. Để làm điều này, người đầu tư đơn lẻ cập nhật địa chỉ rút tiền của mình thành địa chỉ của một Pod EigenLayer. EigenPods là hợp đồng thông minh theo dõi các dịch vụ mà người staker solo đã đăng ký để bảo vệ với số tiền cọc của họ. EigenPod cuối cùng trở thành chủ sở hữu của tài sản soETH, trong khi nó ghi nhận người staker solo với một biểu tượng được cọc lại của ETH của họ.
Sở hữu tài sản soETH trong khuôn khổ của chúng tôi biểu thị "quyền ưu tiên" đối với ETH rút ra từ giao thức Ethereum, tức là sở hữu quyền yêu cầu cao hơn bất kỳ người tham gia nào khác trong chuỗi. Khi người đặt cược đơn quyết định rút ETH của họ từ giao thức Ethereum, ETH đã rút được lọc qua hợp đồng EigenPod, kiểm tra xem người đặt cược đơn có được phép đổi toàn bộ số soETH hay không (chúng ta sẽ thấy sau khi điều này có thể không phải trường hợp). Với bảng cân đối của chúng tôi:
Chúng tôi làm cho mỗi bước rõ ràng trong các bước sau:
Chúng ta đã có thể đưa ra một số quan sát đáng chú ý từ bảng cân đối trên. Điều đầu tiên là giao thức Ethereum hoàn toàn không có khái niệm nào về [soETH], vì điều này không xuất hiện trên bảng cân đối của chính nó. Vấn đề này đã được thảo luận trong “Unbundling PBS: Đến cam kết bắt buộc giao thức của người đề xuất (PEPC)Một nhà xác minh bị cắt giảm bởi EigenLayer vẫn có một số dư đầy đủ trong sổ cân đối của giao protocal Ethereum, điều này có thể gây ra nguy cơ đạo đức và mất cân bằng trong phần thưởng (một nhà xác minh thực tế chỉ đặt cược một nửa vẫn nhận được phần thưởng đầy đủ từ giao protocal Ethereum). Chúng tôi miêu tả tình huống bị cắt giảm trong các sổ cân đối sau đây, đưa ra các con số tùy ý để minh họa vấn đề:
Vấn đề này được khắc phục ngay sau khi EigenLayer trung thực báo cáo việc cắt giảm của EigenLayer của một người xác thực cho giao thức Ethereum, cân bằng lại các tờ. Điều này là có thể với EIP-7002: Execution layer triggerable exits, tuy nhiên ở mức độ cơ bản, vì còn cần sử dụng phần mềm EigenLayer hoặc EigenPod để kích hoạt tín hiệu đến giao thức Ethereum PoS. Hành động này là trong lợi ích của EigenLayer vì việc tính toán chính xác mang lại lợi ích cho các dịch vụ được bảo vệ thông qua EigenLayer và cũng tăng sự tin tưởng của các nhà điều hành và người đầu tư lại vào việc thực hiện đúng đắn của nền tảng.
Một trigger tốt hơn có thể buộc rút một phần cân bằng của người xác nhận từ sự đồng thuận Ethereum, mà không cần phải thoát hoàn toàn khỏi người xác nhận. Điều này được mong muốn đối với các dịch vụ EigenLayer muốn phạt người xác nhận một cách một phần, mà không gây ra việc thoát. Lưu ý rằng không EIP-7002 hoặc rút một phần được kích hoạt bởi lớp thực thi có sẵn trên mạng chính Ethereum ngày hôm nay. Lưu ý rằng@mikeneuder/eip-7251-faq">MaxEB (loại bỏ hạn mức 32 ETH trên một người xác minh duy nhất cổ phần đang đặt cược) sẽ kết hợp tốt với việc rút tiền một phần, loại bỏ một động cơ bổ sung khuyến khích người xác minh giữa các cổ phần không còn phân tách (chạy nhiều người xác minh 32 ETH thay vì một người xác minh 2048 ETH duy nhất chẳng hạn).
Thiếu tính năng rút tiền một phần này, có một động cơ bổ sung để giữ cho việc tính toán của EigenLayer được tách biệt khỏi việc tính toán giao thức Ethereum, điều này như chúng ta đã nêu ở trên có thể gây ra sự không phù hợp. Trong phần tiếp theo, chúng tôi mô tả một validator bị trừ 8 ETH bởi EigenLayer, nhưng điều này không làm thoát validator khỏi nhiệm vụ đồng thuận của nó (số dư bị đuổi là 16 ETH):
Ai đó có thể tự hỏi rằng 8 [soETH] đi đâu trong ví dụ trước đó. Quyết định này được để lại cho các Dịch vụ Được Xác minh Hoạt động (AVS) do EigenLayer điều khiển. Một AVS là một dịch vụ đòi hỏi một số cược như tài sản thế chấp. Sự hiện diện của cược cho phép dịch vụ cam kết đáng tin cậy đối với một số hiệu suất, vì cược có thể bị cắt giảm nếu dịch vụ không được thực hiện đúng cách.
Người xác minh tái đặt cược đăng ký vào AVS qua EigenPod của họ. Khi họ làm như vậy, EigenPod sẽ tạo ra các yêu cầu mới được cung cấp cho AVS, đại diện cho tài sản đảm bảo hiện tại được giữ dưới EigenPod. Bây giờ chúng ta phải phân biệt giữa hai loại yêu cầu:
Một khi người xác minh hành động ngược lại với mục tiêu của AVS (ví dụ, kích hoạt điều kiện cắt giảm của AVS), AVS có thể quyết định ví dụ, đốt cháy quyền yêu cầu của người xác minh về ETH đang đặt cược, hoặc giữ cược như doanh thu cho AVS. Chúng tôi minh họa tùy chọn thứ hai này trong phần sau, bằng cách giả sử rằng giao thức Ethereum chỉ đơn giản là tín dụng 8 ETH cho EigenPod như là một rút tiền một phần theo báo cáo cắt giảm EigenLayer, sau đó EigenLayer chuyển nó đến AVS:
Tính năng (và rủi ro) mà EigenLayer cung cấp là khả năng cho một người staker tái cược tiếp tục tham gia cam kết mới mà họ hứa hẹn sẽ tuân thủ. Nói cách khác, sau khi cược được tái cược, cược đã tái cược có thể được tái cược lại, và lại, và lại... Thực tế, người staker tái cược tham gia cam kết mới bằng cách đăng ký thêm dịch vụ thông qua EigenPod của họ.
Để đạt được tính tổng quát đầy đủ, và trong sự mong đợi của các phần tiếp theo khi tài sản khác ngoài soETH được đặt cược lại, chúng ta ký hiệu bằng $X$ cho tài sản mà người đặt cược lại đặt cược lại. Hãy xem xét cách đặt cược lại nhiều lần hoạt động:
Chúng tôi ký hiệu bằng [X]p tài sản X được đặt cược lại p lần. Hiện tại đây chỉ là một định nghĩa đơn giản, nhưng sau khi nêu rõ các bước của bảng cân đối này, chúng tôi sẽ gợi ý một số tính chất của các tài sản này. EigenPod có khả năng in ra các khoản nợ này theo ý muốn, tạo ra tài sản mới mỗi khi người đặt cược lại cam kết với AVS mới.
Dựa vào bảng cân đối trên, chúng tôi bây giờ sẽ đề cập đến một số câu hỏi. Chúng tôi quan sát rằng chuỗi Y nhận được [X]¹, trong khi chuỗi Z nhận [X]². Liệu những tài sản này có cùng loại, và chúng ta có thể chỉ nói rằng cả hai đều nhận tài sản loại [X] không?
Câu trả lời sẽ là không nếu có một cấp bậc của các yêu cầu AVS. Hãy tưởng tượng một tình huống trong đó người đặt cược lại thực hiện các hành vi có thể bị cắt giảm trên cả hai chuỗi cùng một lúc, và cả hai chuỗi đều muốn cắt giảm toàn bộ tài sản đảm bảo. Chúng ta sau đó có thể nghĩ đến hai trường hợp:
Trong phần trước, chúng tôi đã giới thiệu về AVSs, đó là các dịch vụ mà người xác minh tái đặt cược cam kết cung cấp. Sự cam kết được đảm bảo thông qua EigenLayer, nơi sở hữu số lượng cược của người xác minh tái đặt cược và giải quyết các yêu cầu được đưa ra bởi AVSs.
Nhưng AVS chính xác là gì? Giống như chúng ta đã tách ra ở trên các giao thức LST và các toán tử LST, ở đây có ý nghĩa khi thảo luận riêng về hai vai trò chức năng này và gán cho chúng các tài sản và yêu cầu khác nhau.
Để tóm lại, AVS yêu cầu tài sản thế chấp để cung cấp dịch vụ, ví dụ, AVS đưa ra yêu cầu đáng tin cậy rằng một cuộc tấn công vào AVS sẽ dẫn đến việc mất một phần nào đó của tài sản thế chấp hiện tại mà AVS đang giữ. Do đó, AVS được xem ở đây như một giao thức tương tác với các nhà vận hành để cung cấp dịch vụ. Chúng ta sau đó phân biệt hai cách mà người tái stakers có thể tương tác với AVS:
Trong các phần trên, chúng tôi đã xác định người xác minh lại là cung cấp vốn (vốn của họ được đặt lại) và nhà điều hành AVS (họ được mong đợi cung cấp một số dịch vụ). Tuy nhiên, chúng ta có thể xem xét một cấu trúc khác, nơi người xác minh lại không vận hành AVS mà giao chức năng này cho một số nhà điều hành. Điều này có thể cho phép người đặt lại đơn lẻ cạnh tranh về lợi suất với các Nhà cung cấp Dịch vụ Đặt cược tích hợp (SSP)/nhà điều hành. Ví dụ sau giới thiệu tình huống nơi một nhà điều hành AVS duy nhất xác minh trên một số chuỗi Y và Z, thay mặt cho một người đặt lại. Chúng tôi giả định rằng tất cả các yêu cầu AVS đều cùng loại [X] (không có hệ thống yêu cầu).
Trong mô hình này, chúng ta khôi phục các cấu trúc quen thuộc. Một tài sản không được nhận bởi người đặt cược lại, ngay tức thì đã gợi ý về khả năng làm lỏng vị trí như vậy. Chúng tôi sẽ thảo luận về những cấu trúc tiên tiến này trong bài đăng tiếp theo, nhưng trước khi làm điều đó, hãy nhắc đến nghiên cứu đang diễn ra về “PBS cho AVS” như một phương pháp để giảm sự tập trung của nhà điều hành.
Dưới Bộ Khung Ủy Thác Lạc Quan (ODF)được đề xuất bởi Drew Van der Werff (xem thêm Bài thuyết trình gần đây về hội thảo Cryptoeconomics của 0xKydo tại Columbia) , một người re-staker có thể ký kết hợp đồng vận hành của các AVSs mà họ đăng ký trong một thị trường mở của 'co-processors'. Các co-processors có thể được xác định với vai trò 'builder' của PBS, một đơn vị chuyên biệt có khả năng chạy các hoạt động tiềm năng mà không thể truy cập được bởi các đơn vị không có kỹ năng hoặc bị hạn chế về tính toán như solo stakers. Các co-processors nộp các đề nghị cho người re-staker, trong một cơ chế đấu thầu mua sắm, cho phép người re-staker xác định nhà vận hành có lợi nhuận nhất. Để đảm bảo hiệu suất, các co-processors là những người tham gia có trái phiếu, mở cửa cho việc mất trái phiếu của họ nếu họ nộp một mảnh công việc không hợp lệ theo cách có thể chứng minh được trong quá trình hoạt động của họ.