Vitalik Buterin nhắm vào Mempool của Ethereum bằng STARK đệ quy
TREE NEWS đưa tin: Đồng sáng lập Ethereum Vitalik Buterin đã giới thiệu một đề xuất mới, EIP-8288, có tiêu đề “Recursive STARK Mempool”, nhằm cải tổ cách các giao dịch được truyền bá, xác thực và định giá trước khi được đưa vào một khối. Buterin bày tỏ hy vọng đề xuất này sẽ được đưa vào nhánh I-star, một bản nâng cấp dự kiến tiếp theo hard fork Hegota.
Ý tưởng cốt lõi
Đề xuất tận dụng các bằng chứng STARK đệ quy để cho phép các nút xác minh tính hợp lệ của các lô lớn giao dịch trong mempool mà không cần thực thi lại từng giao dịch một. Trên thực tế, điều này có nghĩa là một nút có thể nhận được một bằng chứng mật mã ngắn gọn rằng toàn bộ tập hợp giao dịch đang chờ xử lý là hợp lệ, thay vì xử lý từng giao dịch. Điều này có thể giảm đáng kể gánh nặng tính toán cho các nút, đặc biệt khi Ethereum mở rộng quy mô với các rollup Layer 2 và thông lượng blob tăng lên.
Tại sao điều này quan trọng
Mempool của Ethereum từ lâu đã là nguồn gốc của xung đột. Đây là một phòng chờ công khai, phi cấu trúc nơi các giao dịch nằm chờ trước khi các validator chọn chúng. Đây cũng là mảnh đất màu mỡ cho việc trích xuất MEV, front-running và các cuộc tấn công spam. Một mempool STARK đệ quy có thể giới thiệu các nguyên thủy thiết kế mới cho:
- Xác thực có khả năng mở rộng: Các nút xác minh bằng chứng thay vì thực thi mọi giao dịch, giảm yêu cầu phần cứng và cải thiện tính phi tập trung.
- Mempool bảo vệ quyền riêng tư: Các giao dịch được mã hóa có thể được chứng minh là hợp lệ mà không tiết lộ nội dung cho đến khi được đưa vào.
- Giảm thiểu MEV: Một mempool có cấu trúc hơn có thể giảm sự bất cân xứng thông tin mà các searcher khai thác.
- Chống DoS: Các giao dịch spam trở nên dễ lọc hơn thông qua việc gộp lô dựa trên bằng chứng và cơ chế phí.
Hàm ý kỹ thuật và hệ sinh thái
STARK, viết tắt của Scalable Transparent ARguments of Knowledge, đã là nền tảng trong lộ trình mở rộng quy mô của Ethereum, cung cấp sức mạnh cho StarkNet và các zk-rollup khác. STARK đệ quy — các bằng chứng xác minh các bằng chứng khác — là một phát triển gần đây hơn cho phép tổng hợp. Việc áp dụng chúng vào mempool là một bước ngoặt mới lạ. Nó thực sự coi mempool như một môi trường giống rollup, nơi tính hợp lệ được chứng minh trước khi thực thi.
Tuy nhiên, đề xuất này không phải không có thách thức. Nó sẽ đòi hỏi những thay đổi đáng kể đối với lớp mạng (devp2p), logic của client đồng thuận và có thể cả thị trường phí. Nó cũng đặt ra câu hỏi về ai tạo ra những bằng chứng này và cách họ được khuyến khích. Nếu một số ít tác nhân tạo ra bằng chứng mempool, điều đó có thể tạo ra các vector tập trung hóa mới.
Góc nhìn hướng tới tương lai
Đề xuất của Buterin là một tín hiệu rằng sự phát triển của Ethereum không chỉ là mở rộng quy mô thực thi mà còn là suy nghĩ lại chuỗi cung ứng giao dịch. Nếu được thông qua trong nhánh I-star, nó có thể tạo tiền đề cho một mempool hiệu quả hơn, riêng tư hơn và kiên cường hơn — một mempool giúp Ethereum duy trì tính cạnh tranh khi các blockchain mô-đun và các L1 thay thế thử nghiệm các tính năng sắp xếp giao dịch và quyền riêng tư của riêng họ. Những tháng tới sẽ tiết lộ liệu cộng đồng có đồng thuận quanh tầm nhìn này hay chọn các cải tiến dần dần hơn.
