Ông cho biết các nghiên cứu gần đây về abstract hóa tài khoản, thiết kế trạng thái và tổng hợp bằng chứng mật mã đang góp phần làm rõ ràng hơn sự tách biệt giữa những gì một giao dịch thực hiện và những gì cần được chứng minh trước khi có thể thực hiện điều đó.
Buterin cho biết nghiên cứu gần đây liên quan đến EIP-8141, các mô hình trạng thái thay thế, keyed nonces và mempool dựa trên STARK đệ quy đã tạo ra một mô hình khái niệm về giao dịch rõ ràng hơn.
Điều then chốt là phân biệt giữa hai thành phần: "hành động" và "sự phụ thuộc".
"Hành động là một tác động mà giao dịch mang lại," Buterin giải thích.
Sự phân biệt này nghe có vẻ chủ yếu mang tính khái niệm. Tuy nhiên, Buterin lập luận rằng tách biệt rõ ràng hai thành phần này có thể cho phép các nhà phát triển Ethereum tối ưu hóa chúng theo những cách căn bản khác nhau.
Tại sao điều này quan trọng
Việc xác thực và thực thi thường được kết hợp với nhau. Các node nhận giao dịch, xác thực thông tin cần thiết, và cuối cùng thực thi giao dịch đó.
Buterin lập luận rằng các sự phụ thuộc có những đặc tính khiến chúng đặc biệt phù hợp để tối ưu hóa.
Nhiều sự phụ thuộc có thể được kiểm tra song song. Một số có thể được xét duyệt bởi mempool trước khi giao dịch được thêm vào block. Một số khác thậm chí không cần truy cập vào trạng thái Ethereum.
Những cái gọi là "sự phụ thuộc thuần túy" này về lý thuyết có thể được mempool kiểm tra một lần duy nhất và sau đó không cần trình xác thực nào thực hiện lại nữa.
Theo Buterin, các tập hợp lớn của những kiểm tra như vậy cuối cùng có thể được thay thế bằng một STARK duy nhất, chứng minh tất cả các kiểm tra đều đã được thực hiện đúng.
"Các sự phụ thuộc có thể được xử lý song song," ông viết.
