Ngữ nghĩa của Staking 2: Staking lại

Nâng cao3/6/2024, 7:53:01 AM
Bài viết này chủ yếu giới thiệu về việc ký lại. Nó trình bày khái niệm về việc ký lại bằng cách sử dụng trường hợp sử dụng tái cấp vốn cho vị thế xác nhận của mình và sau đó mở rộng ra việc ký lại bất kỳ tài sản nào.

Cơ bản về việc đầu tư lại

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:

  1. Người staker đơn độc gửi ETH của họ vào giao thức Ethereum, nhận được vị trí soETH ảo từ giao thức Ethereum.
  2. Người đặt cược đơn vị gửi gần như soETH của họ đến EigenLayer bằng cách thiết lập địa chỉ rút tiền của họ thành địa chỉ pod EigenLayer. Đổi lại, người đặt cược đơn vị nhận một vị trí ảo [soETH] từ EigenLayer, cho phép họ cuối cùng chạy ngược lại thứ tự các hoạt động.

Số dư không cân đối

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):

AVS khẳng định

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:

  1. AVS tuyên bố: Chúng tôi sử dụng [soETH] để biểu thị những tuyên bố này, nhấn mạnh rằng chúng được suy ra từ giá trị của tài sản trong dấu ngoặc [ ].
  2. Yêu cầu tái đặt cược: Chúng tôi sẽ sử dụng [soETH]* để nhấn mạnh chất lượng đặc biệt của yêu cầu này, được hoàn trả bởi người tái đặt cược chỉ sau khi tất cả các yêu cầu AVS khác được giải quyết. Nói cách khác, yêu cầu của người tái đặt cược có độ ưu tiên thấp nhất, hoàn trả tài sản còn lại sau khi tất cả các yêu cầu AVS khác được giải quyết.

  1. Người staker độc lập đặt cược lại.
    1. Vì vậy, soETH được đặt dưới sự kiểm soát của EigenPod.
    2. [soETH]* được nhận bởi người staker độc thân, một yêu cầu cho tài sản đã được đặt cược lại của họ.
  2. Người staker độc thân đúc ra một khai báo mới, [soETH] từ EigenPod của họ.
  3. Yêu cầu được đưa ra như tài sản đảm bảo cho AVS.
    1. [soETH] được chuyển sang AVS.
    2. Người staker lại được cấp biên nhận avs.[soETH].

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:

  1. AVS cắt giảm tài sản thế chấp của người chơi đơn.
    1. Tài sản thế chấp của AVS bao gồm 32 [soETH]. Khi bị cắt giảm, AVS sẽ loại bỏ 8 [soETH] khỏi tài sản thế chấp và báo cáo việc cắt giảm cho EigenPod, đồng thời giảm nợ của nó đi 8 [soETH].
    2. AVS không còn ghi nhận 32 avs.[soETH] cho người chơi đơn lẻ staker, làm giảm quyền yêu cầu này đi 8 avs.[soETH].
    3. Sau khi bị cắt giảm bởi AVS, EigenPod giảm yêu cầu của người đặt cược đơn lẻ đi 8 [soETH]*.
  2. EigenPod báo cáo việc cắt giảm đối với giao thức Ethereum, kích hoạt việc rút lui 8 ETH.
    1. Yêu cầu tài sản đang đặt cược trong giao thức Ethereum giảm xuống còn 24 soETH.
    2. Một phần rút tiền cho 8 ETH được xử lý và EigenPod nhận 8 ETH trước đây đã bị khóa trong giao thức Ethereum.
  3. EigenPod chuyển khoản 8 ETH phạt cho AVS, AVS có thể sử dụng số tiền đó theo ý muốn của mình.

Re-re-re-re-…-Staking

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.

  1. Người staker lại đặt tài sản X dưới sự kiểm soát của EigenPod. Hành động này là cam kết từ người staker lại rằng nếu họ không thể cung cấp dịch vụ mà họ đăng ký, một phần hoặc toàn bộ tài sản X có thể bị thu hồi từ họ. Yêu cầu [X]* được nhận để đại diện cho cam kết này.
  2. Chúng tôi mô tả ở đây người re-staker cam kết bảo vệ chuỗi Y an toàn.
    1. Người staker lại nhận được tài sản được staker lại lần đầu tiên [X]¹ bằng cách tham gia vào chuỗi bảo vệ AVS “Securing chain Y”.
    2. Các cổ phần đặt cọc lại [X]¹ theo chuỗi Y, nhận được soY. [X]¹ (yêu cầu bồi thường tiền cược + phần thưởng - hình phạt). Chuỗi Y phải "hiểu" rằng một tài sản được đặt cọc lại hiện đang bảo mật giao thức của nó, tức là, nó phải tự tin rằng có điều gì đó đang bị đe dọa cho ai đó.
  3. Chúng tôi chi tiết ở đây về người tham gia staking lại cam kết bảo vệ chuỗi Z an toàn.
    1. Người stake lại nhận được tài sản stake lại [X]² bằng cách tham gia vào chuỗi AVS “Bảo vệ chuỗi Z”.
    2. Người re-staker đặt cược [X]² dưới chuỗi Z, nhận được soZ.[X]² (một yêu cầu cho khoản cược của họ + phần thưởng - phạt). Chuỗi Z phải “hiểu” rằng tài sản đã đặt cược lại hiện tại đang bảo vệ giao thức của nó, tức là phải tin tưởng rằng có điều gì đó đang đặt cược cho ai đó.

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:

  1. Trường hợp 1: Các AVS, ở đây chuỗi các cơ chế đồng thuận của Y và Z, chỉ cần đốt các mã thông báo bị cắt, đó là điều mà hầu hết các giao thức PoS làm. Khi các mã thông báo bị đốt cháy, thì hệ thống phân cấp khiếu nại không thực sự quan trọng: Nếu cả hai chuỗi Y và Z đều muốn cắt giảm người đặt cọc lại cho 32 ETH, tất cả những gì họ đạt được là đốt cùng một tài sản thế chấp hai lần.
    1. Lưu ý: Anders gọi đây là "k-staking", k-staking nhiều lần mà không có hệ thống xếp hạng yêu cầu 😊
  2. Trường hợp 2: Các AVSs muốn nhận các token đang đặt cược, để ví dụ, bồi thường cho một bên đã bị tổn thất. Một ví dụ ở đây là MEV-Boost+, người vận hành AVS là người đề xuất khối, cam kết không làm loạn với nội dung khối nhận được một cách rõ ràng, và nếu họ làm, họ cam kết bồi thường cho người xây dựng và bộ kích cho sự hỗn loạn. Trong trường hợp này, giả sử nhiều AVS chuộc lại quyền yêu cầu của họ cùng một lúc theo các điều chỉnh song song của cùng một người re-staker, và không đủ vốn để bồi thường cho tất cả các yêu cầu. Sau đó, vấn đề về thứ bậc yêu cầu hoặc phân phối thanh toán trở nên quan trọng.

Mở gói AVSs

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:

  1. Những người chơi lại dưới dạng các nhà điều hành AVS: AVS bao gồm một giao thức mà cần những nhà điều hành để hoạt động, và các nhà điều hành nút mạng mà chơi lại soETH của họ sẽ trở thành nhà điều hành cho chính giao thức AVS.
  2. Re-stakers như nhà cung cấp vốn cho một nhà điều hành AVS: Trong trường hợp này, một nhà điều hành AVS chấp nhận tài sản đã (được) đầu tư để thực hiện chức năng của họ như một người đại diện cho những người gửi vốn cung cấp vốn. Người đầu tư lại sau đó ủy quyền tài sản đã đầu tư lại của họ cho nhà điều hành AVS, người thực hiện một số chức năng thay mặt cho người đầu tư lại.

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).

  1. Người tham gia staking đặt tài sản X dưới sự kiểm soát của EigenPod. Hành động này là sự cam kết từ người tham gia staking rằng nếu họ không thể cung cấp dịch vụ mà họ đăng ký, một phần hoặc toàn bộ tài sản X có thể bị thu hồi từ họ. Việc nhận [X]* được thực hiện để thể hiện sự cam kết này.
  2. Chúng tôi chi tiết ở đây người đầu tư lại cam kết bảo vệ chuỗi Y, ủy quyền nhiệm vụ xác nhận cho nhà điều hành AVS.
    1. Người tái cọc nhận được tài sản đã tái cọc [X] bằng cách tham gia vào chuỗi AVS “Bảo vệ chuỗi Y”.
    2. Người đầu tư lại cung cấp tài sản đã đầu tư lại [X] cho một nhà điều hành AVS, nhận được “biên nhận” noY.[X].
    3. Người vận hành AVS đặt cược [X] dưới chuỗi Y, nhận được soY.[X] (một yêu cầu cho cược của họ + phần thưởng - phạt). Chuỗi Y phải “hiểu” rằng một tài sản được đặt cược lại hiện đang bảo vệ giao thức của nó, tức là, nó phải tin tưởng rằng có điều gì đó đang bị đặt cược cho ai đó.
  3. Chúng tôi miêu tả ở đây người tái đặt cược cam kết bảo vệ chuỗi Z an toàn, giao nhiệm vụ xác nhận cho người điều hành AVS.
    1. Người đặt cược lại nhận được tài sản đặt cược lại [X] bằng cách tham gia vào AVS “Bảo vệ chuỗi Y”.
    2. Người đặt cược lại cung cấp tài sản đã được đặt cược [X] cho một nhà điều hành AVS, nhận được “biên lai” noZ. [X].
    3. Người vận hành AVS đầu tư [X] dưới chuỗi Z, nhận được soZ.[X] (một yêu cầu cho vốn đầu tư của họ + phần thưởng - phạt). Chuỗi Z phải “hiểu” rằng một tài sản được đầu tư lại hiện đang bảo vệ giao thức của nó, tức là, nó phải tin tưởng rằng có điều gì đó đang đặt cược cho ai đó.

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ọ.

Disclaimer:

  1. Bài viết này được sao chép từ [ gương], Tất cả bản quyền thuộc về tác giả gốc [giá của cơ quan]. Nếu có bất kỳ ý kiến ​​nào về việc sao chép này, vui lòng liên hệ với Cổng Họcđội ngũ và họ sẽ xử lý nhanh chóng.
  2. Thông Báo Miễn Trừ Trách Nhiệm: Các quan điểm và ý kiến được thể hiện trong bài viết này chỉ là của tác giả và không cấu thành bất kỳ lời khuyên đầu tư nào.
  3. Các bản dịch của bài viết sang các ngôn ngữ khác được thực hiện bởi đội ngũ Gate Learn. Trừ khi được nêu rõ, việc sao chép, phân phối hoặc đạo văn các bài viết dịch là không được phép.

Ngữ nghĩa của Staking 2: Staking lại

Nâng cao3/6/2024, 7:53:01 AM
Bài viết này chủ yếu giới thiệu về việc ký lại. Nó trình bày khái niệm về việc ký lại bằng cách sử dụng trường hợp sử dụng tái cấp vốn cho vị thế xác nhận của mình và sau đó mở rộng ra việc ký lại bất kỳ tài sản nào.

Cơ bản về việc đầu tư lại

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:

  1. Người staker đơn độc gửi ETH của họ vào giao thức Ethereum, nhận được vị trí soETH ảo từ giao thức Ethereum.
  2. Người đặt cược đơn vị gửi gần như soETH của họ đến EigenLayer bằng cách thiết lập địa chỉ rút tiền của họ thành địa chỉ pod EigenLayer. Đổi lại, người đặt cược đơn vị nhận một vị trí ảo [soETH] từ EigenLayer, cho phép họ cuối cùng chạy ngược lại thứ tự các hoạt động.

Số dư không cân đối

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):

AVS khẳng định

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:

  1. AVS tuyên bố: Chúng tôi sử dụng [soETH] để biểu thị những tuyên bố này, nhấn mạnh rằng chúng được suy ra từ giá trị của tài sản trong dấu ngoặc [ ].
  2. Yêu cầu tái đặt cược: Chúng tôi sẽ sử dụng [soETH]* để nhấn mạnh chất lượng đặc biệt của yêu cầu này, được hoàn trả bởi người tái đặt cược chỉ sau khi tất cả các yêu cầu AVS khác được giải quyết. Nói cách khác, yêu cầu của người tái đặt cược có độ ưu tiên thấp nhất, hoàn trả tài sản còn lại sau khi tất cả các yêu cầu AVS khác được giải quyết.

  1. Người staker độc lập đặt cược lại.
    1. Vì vậy, soETH được đặt dưới sự kiểm soát của EigenPod.
    2. [soETH]* được nhận bởi người staker độc thân, một yêu cầu cho tài sản đã được đặt cược lại của họ.
  2. Người staker độc thân đúc ra một khai báo mới, [soETH] từ EigenPod của họ.
  3. Yêu cầu được đưa ra như tài sản đảm bảo cho AVS.
    1. [soETH] được chuyển sang AVS.
    2. Người staker lại được cấp biên nhận avs.[soETH].

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:

  1. AVS cắt giảm tài sản thế chấp của người chơi đơn.
    1. Tài sản thế chấp của AVS bao gồm 32 [soETH]. Khi bị cắt giảm, AVS sẽ loại bỏ 8 [soETH] khỏi tài sản thế chấp và báo cáo việc cắt giảm cho EigenPod, đồng thời giảm nợ của nó đi 8 [soETH].
    2. AVS không còn ghi nhận 32 avs.[soETH] cho người chơi đơn lẻ staker, làm giảm quyền yêu cầu này đi 8 avs.[soETH].
    3. Sau khi bị cắt giảm bởi AVS, EigenPod giảm yêu cầu của người đặt cược đơn lẻ đi 8 [soETH]*.
  2. EigenPod báo cáo việc cắt giảm đối với giao thức Ethereum, kích hoạt việc rút lui 8 ETH.
    1. Yêu cầu tài sản đang đặt cược trong giao thức Ethereum giảm xuống còn 24 soETH.
    2. Một phần rút tiền cho 8 ETH được xử lý và EigenPod nhận 8 ETH trước đây đã bị khóa trong giao thức Ethereum.
  3. EigenPod chuyển khoản 8 ETH phạt cho AVS, AVS có thể sử dụng số tiền đó theo ý muốn của mình.

Re-re-re-re-…-Staking

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.

  1. Người staker lại đặt tài sản X dưới sự kiểm soát của EigenPod. Hành động này là cam kết từ người staker lại rằng nếu họ không thể cung cấp dịch vụ mà họ đăng ký, một phần hoặc toàn bộ tài sản X có thể bị thu hồi từ họ. Yêu cầu [X]* được nhận để đại diện cho cam kết này.
  2. Chúng tôi mô tả ở đây người re-staker cam kết bảo vệ chuỗi Y an toàn.
    1. Người staker lại nhận được tài sản được staker lại lần đầu tiên [X]¹ bằng cách tham gia vào chuỗi bảo vệ AVS “Securing chain Y”.
    2. Các cổ phần đặt cọc lại [X]¹ theo chuỗi Y, nhận được soY. [X]¹ (yêu cầu bồi thường tiền cược + phần thưởng - hình phạt). Chuỗi Y phải "hiểu" rằng một tài sản được đặt cọc lại hiện đang bảo mật giao thức của nó, tức là, nó phải tự tin rằng có điều gì đó đang bị đe dọa cho ai đó.
  3. Chúng tôi chi tiết ở đây về người tham gia staking lại cam kết bảo vệ chuỗi Z an toàn.
    1. Người stake lại nhận được tài sản stake lại [X]² bằng cách tham gia vào chuỗi AVS “Bảo vệ chuỗi Z”.
    2. Người re-staker đặt cược [X]² dưới chuỗi Z, nhận được soZ.[X]² (một yêu cầu cho khoản cược của họ + phần thưởng - phạt). Chuỗi Z phải “hiểu” rằng tài sản đã đặt cược lại hiện tại đang bảo vệ giao thức của nó, tức là phải tin tưởng rằng có điều gì đó đang đặt cược cho ai đó.

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:

  1. Trường hợp 1: Các AVS, ở đây chuỗi các cơ chế đồng thuận của Y và Z, chỉ cần đốt các mã thông báo bị cắt, đó là điều mà hầu hết các giao thức PoS làm. Khi các mã thông báo bị đốt cháy, thì hệ thống phân cấp khiếu nại không thực sự quan trọng: Nếu cả hai chuỗi Y và Z đều muốn cắt giảm người đặt cọc lại cho 32 ETH, tất cả những gì họ đạt được là đốt cùng một tài sản thế chấp hai lần.
    1. Lưu ý: Anders gọi đây là "k-staking", k-staking nhiều lần mà không có hệ thống xếp hạng yêu cầu 😊
  2. Trường hợp 2: Các AVSs muốn nhận các token đang đặt cược, để ví dụ, bồi thường cho một bên đã bị tổn thất. Một ví dụ ở đây là MEV-Boost+, người vận hành AVS là người đề xuất khối, cam kết không làm loạn với nội dung khối nhận được một cách rõ ràng, và nếu họ làm, họ cam kết bồi thường cho người xây dựng và bộ kích cho sự hỗn loạn. Trong trường hợp này, giả sử nhiều AVS chuộc lại quyền yêu cầu của họ cùng một lúc theo các điều chỉnh song song của cùng một người re-staker, và không đủ vốn để bồi thường cho tất cả các yêu cầu. Sau đó, vấn đề về thứ bậc yêu cầu hoặc phân phối thanh toán trở nên quan trọng.

Mở gói AVSs

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:

  1. Những người chơi lại dưới dạng các nhà điều hành AVS: AVS bao gồm một giao thức mà cần những nhà điều hành để hoạt động, và các nhà điều hành nút mạng mà chơi lại soETH của họ sẽ trở thành nhà điều hành cho chính giao thức AVS.
  2. Re-stakers như nhà cung cấp vốn cho một nhà điều hành AVS: Trong trường hợp này, một nhà điều hành AVS chấp nhận tài sản đã (được) đầu tư để thực hiện chức năng của họ như một người đại diện cho những người gửi vốn cung cấp vốn. Người đầu tư lại sau đó ủy quyền tài sản đã đầu tư lại của họ cho nhà điều hành AVS, người thực hiện một số chức năng thay mặt cho người đầu tư lại.

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).

  1. Người tham gia staking đặt tài sản X dưới sự kiểm soát của EigenPod. Hành động này là sự cam kết từ người tham gia staking rằng nếu họ không thể cung cấp dịch vụ mà họ đăng ký, một phần hoặc toàn bộ tài sản X có thể bị thu hồi từ họ. Việc nhận [X]* được thực hiện để thể hiện sự cam kết này.
  2. Chúng tôi chi tiết ở đây người đầu tư lại cam kết bảo vệ chuỗi Y, ủy quyền nhiệm vụ xác nhận cho nhà điều hành AVS.
    1. Người tái cọc nhận được tài sản đã tái cọc [X] bằng cách tham gia vào chuỗi AVS “Bảo vệ chuỗi Y”.
    2. Người đầu tư lại cung cấp tài sản đã đầu tư lại [X] cho một nhà điều hành AVS, nhận được “biên nhận” noY.[X].
    3. Người vận hành AVS đặt cược [X] dưới chuỗi Y, nhận được soY.[X] (một yêu cầu cho cược của họ + phần thưởng - phạt). Chuỗi Y phải “hiểu” rằng một tài sản được đặt cược lại hiện đang bảo vệ giao thức của nó, tức là, nó phải tin tưởng rằng có điều gì đó đang bị đặt cược cho ai đó.
  3. Chúng tôi miêu tả ở đây người tái đặt cược cam kết bảo vệ chuỗi Z an toàn, giao nhiệm vụ xác nhận cho người điều hành AVS.
    1. Người đặt cược lại nhận được tài sản đặt cược lại [X] bằng cách tham gia vào AVS “Bảo vệ chuỗi Y”.
    2. Người đặt cược lại cung cấp tài sản đã được đặt cược [X] cho một nhà điều hành AVS, nhận được “biên lai” noZ. [X].
    3. Người vận hành AVS đầu tư [X] dưới chuỗi Z, nhận được soZ.[X] (một yêu cầu cho vốn đầu tư của họ + phần thưởng - phạt). Chuỗi Z phải “hiểu” rằng một tài sản được đầu tư lại hiện đang bảo vệ giao thức của nó, tức là, nó phải tin tưởng rằng có điều gì đó đang đặt cược cho ai đó.

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ọ.

Disclaimer:

  1. Bài viết này được sao chép từ [ gương], Tất cả bản quyền thuộc về tác giả gốc [giá của cơ quan]. Nếu có bất kỳ ý kiến ​​nào về việc sao chép này, vui lòng liên hệ với Cổng Họcđội ngũ và họ sẽ xử lý nhanh chóng.
  2. Thông Báo Miễn Trừ Trách Nhiệm: Các quan điểm và ý kiến được thể hiện trong bài viết này chỉ là của tác giả và không cấu thành bất kỳ lời khuyên đầu tư nào.
  3. Các bản dịch của bài viết sang các ngôn ngữ khác được thực hiện bởi đội ngũ Gate Learn. Trừ khi được nêu rõ, việc sao chép, phân phối hoặc đạo văn các bài viết dịch là không được phép.
Lancez-vous
Inscrivez-vous et obtenez un bon de
100$
!