EIP-8282: Xác minh phát hiện điểm không nhất quán trong hợp đồng builder

Crypto Briefing đưa tin Verity hoàn tất xác minh vào tháng 9 năm 2026 và chứng minh ba bảo đảm trong các luồng thực thi liên quan đến yêu cầu do người dùng gửi và lệnh gọi SYSTEM của giao thức. Trong tài liệu nghiên cứu công khai, Verity giới thiệu trường hợp kiểm tra bằng máy các thuộc tính của hợp đồng nạp tiền và rút lui dành cho builder trong EIP-8282.

Xác minh hình thức là cách dùng phương pháp toán học để kiểm tra xem mã có tuân thủ các điều kiện đã định hay không. Lần này, nhóm xác minh kiểm tra bytecode runtime của hợp đồng sẽ thực thi trên chuỗi và một số hành vi cụ thể, chứ không xác minh toàn bộ đề xuất.

Nhóm đã tạo sáu biến thể bytecode để kiểm tra xem các thuộc tính được thiết lập có phát hiện được thay đổi trong mã hay không. Crypto Briefing cho biết quá trình rà soát cũng làm lộ ra điểm không nhất quán mà nhóm nghiên cứu cần giải quyết, nhưng bài viết không nêu chi tiết từng điểm.

EIP-8282 được soạn thảo ngày 22 tháng 5 năm 2026. Đề xuất này chuyển các quy trình đăng ký và rút lui của validator mà EIP-7732 trước đó sử dụng sang các yêu cầu riêng cho builder, vốn được xem là những bên tham gia riêng biệt cần đặt cọc.

Đề xuất có một hợp đồng xử lý đăng ký builder và nạp thêm tiền đặt cọc, cùng một hợp đồng xử lý yêu cầu rút lui. Hợp đồng nạp tiền đảm nhiệm đăng ký lần đầu và các khoản nạp bổ sung; hợp đồng rút lui được thiết kế để xử lý yêu cầu phát sinh từ địa chỉ thực thi được chỉ định của builder.

Mã thực thi có luồng xử lý yêu cầu người dùng gửi và trả phí, cùng luồng lệnh gọi SYSTEM do giao thức gửi. Lệnh gọi SYSTEM tập hợp các yêu cầu vào cuối mỗi khối rồi chuyển chúng đến lớp đồng thuận.

Một yêu cầu nạp tiền có thể dùng để đăng ký builder mới hoặc nạp thêm cho builder đã đăng ký. Hợp đồng tiếp nhận và ghi lại yêu cầu, nhưng không tự xác minh chữ ký cần thiết cho lần đăng ký đầu tiên.

Lớp đồng thuận xác minh chữ ký của khoản nạp đầu tiên. Nếu chữ ký không hợp lệ, khoản nạp sẽ không được xử lý và tiền có thể bị khóa vĩnh viễn trong hợp đồng. Vì vậy, đề xuất khuyến nghị người gửi kiểm tra chữ ký trước khi gửi yêu cầu.

Với khoản nạp bổ sung cho builder đã đăng ký, số tiền được ghi nhận còn thông tin về quyền rút tiền và chữ ký trong yêu cầu sẽ bị bỏ qua. Do đó, dù dùng cùng một hợp đồng, lớp đồng thuận xử lý đăng ký lần đầu và khoản nạp bổ sung theo cách khác nhau.

Khi nhận yêu cầu rút lui, hợp đồng ghi lại địa chỉ gửi yêu cầu. Sau đó, lớp đồng thuận phải xác nhận địa chỉ này trùng với địa chỉ thực thi được chỉ định cho builder thì mới xử lý yêu cầu.

Crypto Briefing cho biết nhóm nghiên cứu cần đối chiếu điểm không nhất quán được phát hiện với nội dung đề xuất để xử lý. Cách giải quyết có thể là sửa mã thực thi, sửa đề xuất hoặc giải thích rõ hành vi dự kiến.

Hạn chót Last Call được ghi trong đề xuất là ngày 1 tháng 11 năm 2026. Verity hoàn tất xác minh vào tháng 9, trước thời hạn này.

Tính đến ngày 11 tháng 11 năm 2026, trang EIP ghi EIP-8282 đang ở giai đoạn “Last Call” và trong quá trình đánh giá đồng cấp. Nội dung cuối cùng của đề xuất sẽ được hoàn thiện trong quá trình này, tách biệt với kết quả xác minh hình thức.