Ethereum(ETH) có thể tách quy trình xác minh và thực thi giao dịch, Vitalik Buterin nêu lại đề xuất

Vitalik Buterin, đồng sáng lập Ethereum(ETH), vừa nêu lại một đề xuất thiết kế nhằm tách định dạng giao dịch của Ethereum thành hai phần riêng biệt: “xác minh” và “thực thi”. Ý tưởng này muốn phân biệt rõ giao dịch thực sự làm gì với những điều kiện cần được xác minh trước khi thực thi, qua đó xử lý đồng thời cả vấn đề khả năng mở rộng và quyền riêng tư.

Trong một bài đăng gần đây trên X, Buterin giải thích rằng ở mô hình kiểu năm 2015, thực thi và trạng thái (state) có thể được xem là một khối gộp chung, nhưng với chiến lược mở rộng hiện tại, cần tách phần “linh hoạt động” khỏi phần “có thể phân tích tĩnh”. Ông cho rằng hơn 90% hoạt động trên Ethereum không cần đến tính linh hoạt động, và những phụ thuộc thuần túy không gắn với trạng thái có thể được xử lý một lần ở giai đoạn mempool, sau đó thay bằng chứng minh STARK.

Trọng tâm của thảo luận là bản dự thảo EIP-8141 mang tên “Giao dịch khung” (Frame Transaction). Tài liệu đề xuất cải tiến Ethereum (EIP) mô tả EIP-8141 chia một giao dịch thành nhiều “khung” (frame), trong đó mỗi khung tách riêng phần xác minh, thanh toán phí và thực thi tác vụ của người dùng.

EIP-8141 là bản dự thảo được soạn ngày 29 tháng 1, và Buterin là một trong các đồng tác giả. Tài liệu nêu rằng thiết kế giao dịch khung nhằm hiện thực hóa mục tiêu ban đầu của trừu tượng hóa tài khoản (account abstraction) ngay ở cấp độ giao thức.

Trừu tượng hóa tài khoản là khái niệm giúp tài khoản người dùng không còn bị ràng buộc vào một phương thức ký duy nhất, mà hoạt động giống như một địa chỉ có mã lệnh. Đây thường được xem là nền tảng để triển khai linh hoạt hơn các tính năng như khôi phục ví, đa ký, trả phí thay người dùng, hoặc áp dụng phương thức ký mới.

Trong cấu trúc giao dịch hiện tại, thực thi và xác minh thường được xử lý như một khối gộp. Thiết kế mới chia giao dịch theo đơn vị “khung”, gồm khung VERIFY dùng để xác minh, khung SENDER dùng để thực thi, và luồng thực thi cơ bản.

Mỗi khung có giới hạn gas thực thi và gas trạng thái riêng. Cách làm này nhằm phân định rõ hơn giao dịch tiêu tốn bao nhiêu tài nguyên tính toán và bao nhiêu cho thay đổi trạng thái. Nếu các yếu tố có thể xác minh được sàng lọc trước ngay từ giai đoạn mempool, gánh nặng thực thi cũng có thể giảm bớt.

Thảo luận này không chỉ giới hạn ở một đề xuất đơn lẻ. EIP-8250 mang tên “Nonce theo khóa” (Keyed Nonces) đề xuất đưa vào giao dịch khung các vùng nonce độc lập. Xuất phát điểm là nếu chỉ dùng một dãy nonce tuyến tính, các giao dịch của nhiều người dùng khác nhau cùng chung một địa chỉ gửi có thể chặn lẫn nhau.

Nonce theo khóa cho phép các ứng dụng chú trọng quyền riêng tư hoặc cấu trúc ví chia sẻ sử dụng những vùng nonce không trùng lặp nhau. Bình luận cho rằng khi việc quản lý thứ tự giao dịch không còn bị gói vào một dòng duy nhất, việc thiết kế xử lý song song và cấu trúc dùng chung sẽ dễ dàng hơn.

Một luồng thảo luận tổng hợp về nâng cấp mạng mang tên Hegota trên diễn đàn Ethereum Magicians cũng gộp chung giao dịch khung, nonce theo khóa, Recent Roots và FOCIL vào ba trục chính: an ninh, quyền riêng tư và trải nghiệm người dùng. Điều này cho thấy việc tái thiết kế định dạng giao dịch không phải là thử nghiệm riêng lẻ, mà là một phần của thảo luận cho bản nâng cấp kế tiếp.

Ở phía các client thực thi, thử nghiệm trên testnet cũng đang diễn ra. Theo thông báo công khai từ phía ngành, ethrex đang vận hành một testnet công khai kết hợp các EIP thuộc nhóm giao dịch khung, nonce theo khóa, Recent Roots và FOCIL. Điều này cho thấy các thảo luận ở cấp tài liệu đã bắt đầu bước sang giai đoạn devnet và testnet.

Phản ứng từ cộng đồng lập trình viên có sự phân hóa giữa ủng hộ định hướng và lo ngại về gánh nặng triển khai. Trong luồng thảo luận về EIP-8141, có ý kiến ủng hộ ngắn gọn “This looks great!”, nhưng ngay sau đó xuất hiện nhiều câu hỏi về cách xử lý khi có nhiều khung VERIFY cùng lúc, khả năng thực hiện “gọi đa lệnh nguyên tử” (atomic multicall), và mức độ phức tạp khi thêm lệnh mới cùng các bước kiểm tra kháng lượng tử ở cấp giao thức.

Phía ủng hộ cho rằng trừu tượng hóa tài khoản dạng gốc (native) có thể hỗ trợ quá trình chuyển sang chữ ký kháng lượng tử và giảm sự phụ thuộc vào relayer. Ngược lại, phía thận trọng chỉ ra rằng khi số lệnh mới và các bước kiểm tra nội bộ ở cấp giao thức tăng lên, độ phức tạp tổng thể cũng có thể tăng theo. Cùng một thiết kế nhưng đang được nhìn nhận theo hai hướng: mở rộng tính linh hoạt và làm phình to giao thức.

Thảo luận lần này cũng liên quan đến bài viết trước đó của TokenPost về việc Ethereum đưa khả năng kháng lượng tử và quyền riêng tư thành nhiệm vụ trọng tâm trong lộ trình dài hạn. Trước đó, Buterin đã đặt mức độ ưu tiên cao hơn cho an toàn kháng lượng tử, bảo mật riêng tư mạnh, STARK đệ quy và kiểm chứng hình thức trong lộ trình dài hạn của mình.

Tuy nhiên, cả EIP-8141 và EIP-8250 hiện vẫn đang ở trạng thái dự thảo. Chưa có mốc thời gian nào được đưa ra cho việc áp dụng trên mainnet. Những gì được xác nhận hiện tại chỉ là các thảo luận thiết kế ở cấp giao thức về cách chia nhỏ và xác minh định dạng giao dịch, chứ chưa phải là một bản nâng cấp đã được chốt.