🔒🖼️ Bài viết mới: Giao dịch Khung Mã hóa 🔒🖼️ tl;dr: Giao dịch khung mã hóa dựa trên LUCID và EIP-8141 để ẩn các tham số thực thi (đích, calldata, số lượng) cho đến khi thứ tự của khối được khóa. Thiết kế này mở khóa thực thi mã hóa cùng slot, giao dịch văn bản thuần/ mã hóa xen kẽ, và tương thích với các sơ đồ PQ trong tương lai. 👇🧵

Các thiết kế mempool mã hóa ngày nay (ví dụ: LUCID) trì hoãn việc thực thi đến slot tiếp theo và sử dụng một làn đường riêng trên đỉnh khối cho các giao dịch mã hóa. Bài viết này đề xuất thực thi mã hóa cùng slot bằng cách tách biệt việc sắp xếp và thực thi. Người xây dựng cam kết với toàn bộ tập hợp giao dịch đã được sắp xếp trước khi bất kỳ khóa nào được tiết lộ, sau đó thực thi việc sắp xếp đã cam kết đó trong cùng một slot.

Trong ePBS tiêu chuẩn, nhà xây dựng đấu thầu cam kết với một block_hash đã được tính toán trước. Điều đó không hoạt động ở đây vì kết quả cuối cùng phụ thuộc vào các giao dịch được mã hóa nào được tiết lộ và chúng được giải mã thành gì. Thay vào đó, đấu thầu cam kết với tx_ordering_root, khóa danh sách giao dịch đầy đủ trước khi tiết lộ. Các đầu ra phụ thuộc vào thực thi (state_root, BAL, biên lai) chỉ ràng buộc sau.

Đây là sự khác biệt chính so với LUCID. Trong LUCID, các khóa được phát hành trong slot N và việc thực thi diễn ra ở đầu khối trong slot N+1. Người xây dựng tiếp theo đã biết các giao dịch đã được giải mã khi đặt phần còn lại của khối. Ở đây, việc cam kết xảy ra trước khi tiết lộ, việc thực thi vẫn diễn ra trong cùng một slot, và các giao dịch được mã hóa được xen kẽ với văn bản rõ ràng trong một thứ tự.

Mỗi khung tx được mã hóa đều có một khung VERIFY công khai và một giai đoạn thực thi được mã hóa ẩn. Bìa cam kết exec_params_binding = H(exec_params). Đối tượng, calldata, số tiền, và tùy chọn phí ưu tiên sẽ được giữ kín cho đến khi tiết lộ. Nếu một khóa không đến trước thời hạn tiết lộ của người xây dựng, giai đoạn mã hóa sẽ bị bỏ qua. VERIFY vẫn chạy, nonce được tiêu thụ, và người gửi phải trả cho phần công khai. Phí gas thực thi ẩn sẽ được hoàn lại. Thứ tự vẫn giữ nguyên bất kể.

Nhà xây dựng vẫn có quyền quyết định về việc tiết lộ gần thời hạn cắt. Để hạn chế điều này, thiết kế sử dụng một cách nhìn-merge của người xác nhận tương tự như FOCIL: những người xác nhận sẽ không bỏ phiếu cho một payload đánh dấu một tiết lộ là thiếu nếu họ đã quan sát được khóa trước thời hạn đóng băng của chính họ.

Về vấn đề (các) tùy chọn miễn phí khác: Một người gửi tự giải mã có thể quan sát thứ tự đã cam kết và chọn tiết lộ chỉ khi vị trí thuận lợi, thực chất giữ một tùy chọn miễn phí về việc thực hiện. Các biện pháp giảm thiểu như phí bổ sung trên các giao dịch mã hóa hoặc hình phạt bỏ qua tồn tại nhưng tôi nghĩ cần nhiều khám phá hơn để đưa ra quyết định cuối cùng.