Chúng ta có thể hạn chế các nhà xây dựng bao nhiêu?

https://ethresear.ch/t/how-much-can-we-constrain-builders-without-bringing-back-heavy-burdens-to-proposers/13808

Chúng ta có thể hạn chế các nhà xây dựng đến mức nào mà không mang lại gánh nặng cho những người đề xuất?

Một phản ứng tự nhiên đối với những rủi ro của việc tập trung hóa các công ty xây dựng (chủ yếu là kiểm duyệt, nhưng cũng có nhiều hình thức bóc lột kinh tế khác) là cố gắng hạn chế quyền lực mà các công ty xây dựng có. Thay vì các nhà xây dựng có toàn quyền kiểm soát để xây dựngtoàn bộ chặn nếu họ thắng một cuộc đấu giá, những người xây dựng sẽ có một lượng quyền lực hạn chế hơn. Sức mạnh này vẫn phải đủ để nắm bắt hầu hết tất cả MEV có thể chiếm được và lý tưởng nhất là nó vẫn đủ để nắm bắt các lợi ích khác của PBS, nhưng nó nên được làm yếu đi để hạn chế cơ hội lạm dụng.

Ý tưởng này đôi khi được gọi là đấu giá khối một phần: thay vì đấu giá quyền quyết định mọi thứ trong một khối, hãy đấu giá quyền quyết địnhmột số điều , trong đó “một số thứ” đó có thể mang nhiều sắc thái hơn vd. “người xây dựng chọn nửa đầu tiên của khối chứ không phải nửa thứ hai”: bạn có thể cấp cho người xây dựng quyền sắp xếp lại, thêm vào trước, thêm vào và thậm chí bạn có thể hạn chế người đề xuất. Bài đăng này đề cập đến một số cách khả thi để thực hiện việc này và một số kết quả đánh đổi.

danh sách bao gồm

Trong mô hình danh sách bao gồm, một người đề xuất cung cấp mộtdanh sách bao gồm , một danh sách các giao dịch mà họ yêu cầu phải được đưa vào khối, trừ khi người xây dựng có thể lấp đầy một khốihoàn toàn với các giao dịch khác.

Đối với một công cụ xây dựng tối đa hóa lợi nhuận không bị ảnh hưởng bởi các ưu đãi bất thường bên ngoài, danh sách bao gồm không có gì hạn chế: việc thêm một giao dịch bổ sung vào cuối khối luôn mang lại cho công cụ xây dựng phí ưu tiên của giao dịch đó như một khoản lợi nhuận bổ sung.

Trong trường hợp khối được lấp đầy đến giới hạn gas đầy đủ (gấp đôi mục tiêu), do đó, người xây dựng sẽ phải chọn giữa giao dịch đó và các giao dịch khác, ràng buộc sẽ bị vô hiệu hóa. Điều này không ảnh hưởng đến việc đưa vào trong thời gian dài, bởi vì một loạt các khối đầy đủ chỉ có thể được duy trì trong thời gian ngắn vì nó làm cho phí cơ bản tăng theo cấp số nhân (~2,02 lần cứ sau 6 khối).

Tuy nhiên, nếu một công ty xây dựng có mong muốn từ chối đưa vào các giao dịch cụ thể mà họ không chấp nhận hoặc được khuyến khích loại trừ, thì công ty xây dựng đó sẽ buộc phải không tham gia đấu giá.

Thiết kế này khá đơn giản, nhưng điều quan trọng là phải mô tả một số điểm yếu của nó:

• Vấn đề tương thích khuyến khích : người xây dựng nhìn thấy danh sách bao gồm trước thời hạn và người xây dựng có thể từ chối xây dựng các khối chứa danh sách bao gồm mà họ không muốn xây dựng trên đó. Điều này tạo ra động lực ngay lập tức cho những người đề xuất có danh sách bao gồm trống, để tối đa hóa cơ hội mà những người xây dựng sẽ xây dựng các khối cho họ.
• Thêm gánh nặng cho người đề xuất : người đề xuất cần có khả năng xác định các giao dịch trả phí. Điều này yêu cầu (i) quyền truy cập vào mempool và (ii) khả năng đọc trạng thái để xác định mức phí thanh toán hoặc nhân chứng kèm theo giao dịch. Các nhân chứng được ưu tiên hơn, vì họ sẽ bảo vệ tài sản PBS mà người xác thực có thể là khách hàng không trạng thái.
• Người xây dựng vẫn có thể tham gia vào một số hành vi lạm dụng : đáng chú ý là các cuộc tấn công bánh sandwich. Tuy nhiên, vẫn chưa rõ làm cách nào để có thể loại bỏ vấn đề này mà không cần đến các phương pháp cực đoan như sử dụng mật mã nâng cao để mã hóa các nhóm ghi nhớ, vì nếu không, việc tước quyền này khỏi người xây dựng đồng nghĩa với việc trao nó cho người đề xuất, điều này sẽ khuyến khích những người đề xuất tham gia nhóm cổ phần.
• Yêu cầu lưu trữ một phần để trừu tượng hóa tài khoản hoạt động: nhìn thấyCon đường trừu tượng hóa tài khoản - HackMD

Đề xuất hậu tố

Một cách xây dựng khác là cho phép người đề xuất tạo hậu tố cho khối. Người xây dựng sẽ không thấy thông tin nào về ý định của người đề xuất khi họ xây dựng một khối và người đề xuất sẽ có thể thêm vào cuối bất kỳ giao dịch nào mà người xây dựng đã bỏ lỡ.

• Giảm các vấn đề tương thích khuyến khích : người xây dựng vẫn có thể trừng phạt hồi tố những người đề xuất (ví dụ: bằng cách từ chối xây dựng cho họ trong tương lai) bao gồm các giao dịch mà người xây dựng không chấp thuận và gửi gốc cho người xây dựng. Điều này là không thể tránh khỏi, nhưng điều này thân thiện với người đề xuất hơn nhiều so với việc người xây dựng có thể từ chối xây dựng các khối trong thời gian thực (đặc biệt là vì mỗi người đề xuất riêng lẻ chỉ thỉnh thoảng đề xuất, hôm nay ~ 2 tháng một lần).
• Thêm gánh nặng cho những người đề xuất - người đề xuất bây giờ phải tính toán gốc sau trạng thái, có nghĩa là người đề xuất phải nắm giữ toàn bộ trạng thái. Do đó, không thể có tình trạng không quốc tịch, trừ khi người đề xuất thuê ngoài nhiệm vụ này cho mộtchia người Trung gian.
• Người đề xuất nhận được một số cơ hội MEV giữa việc nhận phản hồi từ trình tạo và phải xuất bản khối. Điều này có thể chỉ đáng giá bằng nửa giây, nhưng nó vẫn tăng thêm phần nào động cơ khuyến khích người xác thực tham gia nhóm cổ phần để có thể tối ưu hóa nội bộ.
• Người xây dựng vẫn có thể tham gia vào một số hành vi lạm dụng như trước đây
• Yêu cầu lưu giữ một phần để tính năng trừu tượng hóa tài khoản hoạt động, như trước

Sửa các hậu tố của người đề xuất: cam kết trước

Người đề xuất cam kết trước với cây Merkle hoặc cam kết KZG hoặc bộ tích lũy khác của tập hợp các tx mà họ muốn đưa vào. Người xây dựng tạo khối của họ. Sau đó, người đề xuất phải thêm hậu tố bao gồm chính xác tập hợp con của cây Merkle mà người xây dựng chưa bao gồm và giới hạn gas cho phép họ bao gồm, sắp xếp theo txhash hoặc một số thứ tự tiêu chuẩn hóa khác (nếu họ thêm bất kỳ thứ tự nào khác hậu tố, họ bị chém).

Các chi tiết của việc thực thi cắt giảm phần nào có liên quan, đặc biệt nếu bạn muốn tránh làm rõ ràng cây bao gồm của người đề xuất. Nó có thể được thực hiện dễ dàng một cách hợp lý với các cam kết KZG và ZK-SNARK có mục đích đặc biệt, sử dụng các phương trình đa thức chuyên biệt để xác minh khái niệm “nếu bạn bắt đầu từ tập hợp với cam kết X và loại bỏ mọi thứ trong Y, thì tập hợp còn lại là Z ”.

Điều này loại bỏ các cơ hội MEV của người đề xuất, bởi vì người đề xuất không có bậc tự do nào trong việc xuất bản khối nào sau khi người xây dựng trả lời lại bằng nội dung khối của riêng họ, nhưng điều đó khiến các vấn đề khác chưa được giải quyết.

Trò chơi kết thúc dài hạn hơn: làm thế nào để chúng tôi hạn chế người xây dựngVà giảm thiểu trách nhiệm của người đề xuất?

Vai trò của người đề xuất lý tưởng nhất nên được giữ ở mức tối thiểu: chỉ cần xác định các giao dịch xứng đáng được đưa vào. Giảm thiểu vai trò của người đề xuất đảm bảo rằng vai trò này luôn dễ truy cập. Vai trò của người xây dựng nên được giữ ở mức tối thiểu lý tưởng: người xây dựng nên có quyền sắp xếp lại các giao dịch từ mempool và chèn các giao dịch của riêng họ để thu thập MEV mà không thể phân biệt đối xử với các khối dựa trên giao dịch nào họ sẽ bao gồm.

Nhưng điều này khiến nhiều nhiệm vụ quan trọng khác không được phân bổ, đặc biệt là các nhiệm vụ sẽ trở nên cần thiết trong tương lai:

• Nhiệm vụ tính toán gốc sau trạng thái
• Nhiệm vụ tính toán và xuất bản nhân chứng
• Nhiệm vụ tạo ZK-SNARK chứng thực tính đúng đắn của khối

Nếu những nhiệm vụ này không đến tay người xây dựng hoặc người đề xuất, thì chúng sẽ phải đến một sốngày thứ ba diễn viên. Có một vài cách có thể để thực hiện điều này:

• Chúng tôi tạo ra một lớp trung gian giống như trình xây dựng riêng biệt, những người đề xuất ký hợp đồng với và tự coi mình chỉ là một nhà cung cấp điện toán đám mây chuyên dụng có nhiệm vụ tính toán đầu ra của các chức năng (tạo ZK SNARK, tính toán gốc trạng thái, v.v.) và không tham gia vào việc lựa chọn nội dung khối
• chúng tôi yêu cầuKế tiếp khối để chứa các giá trị này cho khối trước đó. Người đề xuất khối tiếp theo phải tìm một bên trung gian để xây dựng các giá trị này và xác minh chúng nếu cần.
• Chúng tôi tôn trọng một lớp trung gian riêng biệt trong giao thức và thêm các ưu đãi trong giao thức cho họ
• Chúng tôi để các tác nhân có lòng vị tha trong mạng xuất bản các giá trị này (để chúng không bị băm vào khối). Người chứng thực chỉ chứng thực khi họ thấy các giá trị chính xác được cung cấp.

Trong bất kỳ trường hợp nào, nhu cầu đồng thời giảm thiểu quyền hạn và thông tin có sẵn cho người xây dựng cũng như gánh nặng áp đặt lên người đề xuất dường như chỉ ra rõ ràng nhu cầu về một số tác nhân thứ ba trong quy trình sản xuất khối (trừ khi chúng ta cắn viên đạn và chấp nhận rằng các nhà xây dựng có quyền xem danh sách bao gồm và do đó phân biệt đối xử với các giao dịch cụ thể được bao gồm trong cùng một vị trí). Chúng ta nên bắt đầu suy nghĩ sâu hơn về cách chính xác việc này sẽ được xử lý.