Đồng tác giả bởi Michael và Kubi (Gattaca). Lời cảm ơn đặc biệt đến Thomas, Julian, Toni, Ladi, Justin, Auston và Max vì những nhận xét và đề xuất của họ. Phản hồi không nhất thiết là sự ủng hộ.
Tổng quan
Tài liệu này giới thiệu danh sách bao gồm tiếp sức (rILs), một cách để ngay lập tức cải thiện khả năng kháng kiểm duyệt của Ethereum mà không cần thay đổi giao thức, giả định tin cậy mới hoặc độ phức tạp kỹ thuật đáng kể. Thiết kế được dự định như một tính năng mặc định mới cho các nút tiếp sức không kiểm duyệt, với tùy chọn từ chối để phù hợp với sở thích của người xác thực.
Chúng tôi tiếp tục bằng cách chi tiết hóa cách danh sách bao gồm tiếp sức tăng cường khả năng kháng kiểm duyệt của Ethereum trong khi vẫn giữ nguyên cân bằng rủi ro-phần thưởng của người xác thực. Sau đó, chúng tôi đề xuất một quy tắc để xây dựng danh sách bao gồm tiếp sức hiệu quả và chống chịu được với các giá trị ngoại lai, cùng với các thủ tục thực thi tích hợp liền mạch với việc xác thực block hiện tại. Tài liệu kết thúc bằng một cái nhìn về các hướng phát triển hứa hẹn trong tương lai.
Tổng thể, tài liệu chi tiết các quy trình chính xác để tạo, xác thực và thực thi danh sách bao gồm trong nút tiếp sức. Nó phản ánh các thông số kỹ thuật EIP-7805 (FOCIL) để đảm bảo khả năng tương thích và tính toàn vẹn hoạt động, chuẩn bị hệ thống sản xuất block cho việc triển khai trong giao thức của danh sách bao gồm trong tương lai theo cách giảm thiểu rủi ro.
Danh sách bao gồm được tính toán trước khi bắt đầu mỗi slot, và relay hiển thị một điểm cuối API HTTP mà các nhà xây dựng sử dụng để tìm nạp danh sách bao gồm đã hoàn thành. Không có ràng buộc sắp xếp nào được áp đặt cho các nhà xây dựng; các giao dịch trong danh sách bao gồm có thể được sắp xếp vào block theo cách hiệu quả nhất.
Xác thực và Thực thi Block
Tính hợp lệ của block được thực thi dựa trên các tiêu chí FOCIL; cụ thể, một block được đề xuất với relay là hợp lệ nếu và chỉ khi các điều kiện sau được đáp ứng:
- Kiểm tra Bao gồm Giao dịch
- Mỗi giao dịch được liệt kê trong IL do relay cung cấp là:
- Được bao gồm rõ ràng trong block do nhà xây dựng giao hàng.
- Có thể xác minh là không hợp lệ sau khi thực thi so với trạng thái hậu quả của block.
- Xác thực Giao dịch Mô phỏng
- Relay mô phỏng việc thực thi từng giao dịch IL không được bao gồm trong block so với trạng thái hậu quả của block.
- Một block là không hợp lệ nếu nó bỏ qua bất kỳ giao dịch danh sách bao gồm nào mà khi được xác thực so với trạng thái hậu quả của nó, sẽ vượt qua tất cả các kiểm tra tính hợp lệ trước khi thực thi - chữ ký chính xác, ID chuỗi, nonce, số dư đủ và gas nội tại.
- Các giao dịch không thành công do mô phỏng do tính không hợp lệ vốn có (ví dụ: nonce không khớp, số dư không đủ) không làm cho block không hợp lệ.
- Mô phỏng và xác minh IL được thực hiện trong phần mô phỏng của việc xác thực block.
Cách tiếp cận này phù hợp với các tiêu chí FOCIL cho đường ống PBS ngoài chuỗi hiện tại mà không giới thiệu các giai đoạn bổ sung; việc mô phỏng block chỉ được mở rộng một cách nhẹ nhàng bởi một giao dịch cho mỗi giao dịch IL không được bao gồm trong block. Trong trường hợp릴레이 lạc quan bỏ qua giai đoạn mô phỏng cho các nhà xây dựng đáng tin, không phát sinh chi phí chung.
Thực thi và Hình phạt
Theo các tiêu chí FOCIL, việc tuân thủ danh sách bao gồm được coi là một điều kiện tính hợp lệ. Việc không tuân thủ sẽ dẫn đến việc không chấp nhận ít nhất, và trong trường hợp các nhà xây dựng lạc quan, có thể áp dụng hình phạt.
Chúng tôi đề xuất rằng hình phạt được áp dụng cho các nhà xây dựng lạc quan không tuân thủ nên phản ánh IL như một điều kiện tính hợp lệ tích hợp, và dẫn đến việc tịch thu giá trị block so với tài sản thế chấp của nhà xây dựng. Các relay có thể chọn hạ cấp các nhà xây dựng không tuân thủ tạm thời, cho đến khi lỗi được truy tìm, để tránh việc đốt tài sản thế chấp quá mức.
Hướng Phát triển Trong Tương lai
Danh sách Bao gồm cho Giao dịch Blob
Trong tương lai, thiết kế có thể được mở rộng để bao gồm các blob. Điều này sẽ mở rộng khả năng kháng kiểm duyệt của thiết kế hiện tại trong khi cải thiện tính khả dụng dữ liệu kịp thời cho các L2.
Danh sách Bao gồm Lớn hơn
Danh sách bao gồm relay có thể lớn hơn danh sách bao gồm tập trung vào người đề xuất, vì chúng không bị hạn chế trực tiếp bởi các ràng buộc về băng thông của trình xác thực. Thiết kế hiện tại phản ánh kích thước FOCIL để đảm bảo các block với các danh sách IL của relay được định giá cạnh tranh trong đấu giá PBS, và trong tương lai có thể được mở rộng để phù hợp với tổng kích thước lớn hơn.
Danh sách Bao gồm Nhiều Relay
Theo thiết kế hiện tại, mỗi relay duy trì danh sách bao gồm riêng của mình. Các nhà xây dựng muốn giữ tối đa sự lựa chọn cho các block của mình có thể chọn gửi một block khác nhau đến từng relay, phản ánh IL do relay cung cấp.
Trong tương lai, các đảm bảo chống kiểm duyệt mạnh hơn có thể đạt được bằng cách tạo danh sách bao gồm từ giao điểm của nhiều danh sách bao gồm. Điều này đảm bảo cạnh tranh công bằng giữa các relay bằng cách thực thi việc áp dụng đồng nhất quy tắc bao gồm, và có thể dễ dàng được tính toán dựa trên thứ hạng giao dịch được sử dụng để biên soạn danh sách bao gồm. Điều này cũng sẽ giảm sự dư thừa cho các nhà xây dựng, bằng cách loại bỏ nhu cầu tính toán các block được điều chỉnh cho từng relay, hoặc để bao gồm một tập hợp các danh sách bao gồm.
Trong trường hợp như vậy, mỗi relay có thể lan truyền một danh sách mở rộng, sau đó được giảm một cách xác định đến một danh sách có kích thước tiêu chuẩn bằng cách lấy giao điểm. Trong thực tế, điều này có thể được thực hiện bằng cách nâng cấp các relay với một giao thức lan truyền đơn giản.
Liên kết
