EIP-7906 có bản triển khai ban đầu trong hồ sơ phát hành thử nghiệm

Bản triển khai ban đầu của EIP-7906, đề xuất đối chiếu trạng thái sau khi giao dịch trên Ethereum(ETH) thực thi với các điều kiện đã ký, đã xuất hiện trong hồ sơ phát hành thử nghiệm trên mạng phát triển. Nếu kết quả không đáp ứng điều kiện, phần thực thi có thể được hoàn tác. Việc áp dụng trên mainnet chưa được xác nhận.

Kho lưu trữ đặc tả thực thi Ethereum đã đăng bản triển khai ban đầu cùng các mục thử nghiệm trong hồ sơ phát hành thử nghiệm ngày 12 tháng 10. Trước đó, TokenPost đã đưa tin về việc Quỹ Ethereum (Ethereum Foundation) khảo sát phương án kiểm tra kết quả giao dịch trong bản nháp EIP-7906.

Nhóm Access thuộc Quỹ Ethereum đã giới thiệu cơ chế “transaction assertion” (điều kiện xác nhận giao dịch) trong bài nghiên cứu chính thức ngày 5 tháng 10. Đề xuất xuất phát từ vấn đề chữ ký cho yêu cầu giao dịch không cố định được mã hợp đồng và trạng thái mạng tại thời điểm thực thi.

Nếu mã hợp đồng hoặc trạng thái mạng thay đổi trước lúc thực thi, biến động tài sản và trạng thái hợp đồng thực tế có thể khác với kết quả người dùng dự kiến. Cơ chế này đối chiếu kết quả sau giao dịch với các điều kiện được đặt ra trước.

Các mục cần kiểm tra gồm số dư, dữ liệu lưu trữ, thay đổi mã, việc triển khai hợp đồng mới và sự kiện phát sinh. Cấu trúc này xem xét chênh lệch trạng thái trước và sau giao dịch cùng các sự kiện được ghi nhận.

Các quy tắc có thể đặt mức nhận tối thiểu hoặc giới hạn chi tiêu, đồng thời ngăn việc cấp quyền cho token mới. Điều kiện được ký cùng nội dung giao dịch rồi so sánh với kết quả thực tế sau khi thực thi.

Thời điểm kiểm tra khác với tính năng “clear sign”, vốn hiển thị nội dung giao dịch theo cách dễ đọc. TokenPost từng đưa tin về tính năng này, trong đó ví cho người dùng thấy ý định giao dịch như hoán đổi token và số tiền nhận tối thiểu.

Mô phỏng giao dịch tính toán kết quả dự kiến dựa trên trạng thái mạng được chọn. Tuy nhiên, trạng thái có thể thay đổi trước khi giao dịch được đưa vào khối; cơ chế bảo vệ của ví cũng có thể bỏ sót những thay đổi nằm ngoài các mục kiểm tra đã định trước.

Bản nháp EIP-7906 bổ sung bước kiểm tra chỉ đọc POST_TX sau khi giao dịch kết thúc vào EIP-8141, đề xuất định nghĩa giao dịch dạng khung. Bước này xem xét chênh lệch trạng thái và các sự kiện trước, sau giao dịch.

Nếu kiểm tra thất bại, phần thực thi giao dịch sẽ bị hoàn tác, nhưng giao dịch vẫn có thể được ghi vào khối với trạng thái thất bại. Người dùng cũng có thể bị tính phí gas đã sử dụng, nên việc kiểm tra kết quả không xóa bỏ chi phí giao dịch.

Trong EIP siêu dữ liệu về đợt nâng cấp Hegotá được kiểm tra ngày 29 tháng 10, EIP-7906 ở giai đoạn “đang xem xét đưa vào”. EIP-8141, đề xuất định nghĩa giao dịch dạng khung, được xếp vào giai đoạn “dự kiến đưa vào”, vì vậy trạng thái của hai đề xuất khác nhau.

Trong thảo luận trên diễn đàn nhà phát triển Ethereum hồi tháng 6, một người tham gia liên quan đến tài khoản thông minh Safe cho rằng các cơ chế bảo vệ hiện có chỉ kiểm tra những tài sản, quyền cấp phép và thiết lập được chỉ định trước, đồng thời bày tỏ ý định thử nghiệm ở phía ví. Một người tham gia khác nhận định việc theo dõi thay đổi dữ liệu lưu trữ có thể phức tạp và đề xuất tập trung xác minh sự kiện cùng nhật ký.

Thảo luận cũng đề cập cách theo dõi dữ liệu lưu trữ được truy cập động và khả năng dự đoán lượng gas cần cho bước kiểm tra.

Việc bổ sung tính năng kiểm tra không tự động gắn quy tắc vào mọi giao dịch. Ví hoặc giao thức cần đưa các quy tắc cần thiết vào giao dịch thì tính năng bảo vệ mới hoạt động.

Quỹ Ethereum cảnh báo giao diện bị xâm nhập có thể đưa ra các quy tắc cho phép xảy ra tấn công. Hiện chưa có lịch trình xác định về việc đưa EIP-7906 vào đợt nâng cấp hoặc hỗ trợ trên ví dành cho người dùng phổ thông.