Ethereum: Bản nháp EIP đề xuất tạm tối đa 256 mệnh đề mỗi nút lá batch

Ngày 13, Marc Harvey-Hill gửi bản nháp EIP đề xuất xác minh các mệnh đề của nhiều giao dịch bằng một proof và chia sẻ chi phí. Người dùng vẫn giữ giao dịch và chữ ký riêng, còn bên tài trợ thanh toán theo batch.

Bản nháp có tiêu đề “Batched Generic Proof Dependencies”, được đăng trong PR #12664 trên kho lưu trữ EIP của Ethereum (ETH). Tính đến ngày 14, PR vẫn ở trạng thái “Draft” và còn chờ biên tập viên xem xét cùng sự đồng thuận. EIP chưa được cấp số và cũng chưa có chủ đề thảo luận riêng.

Bản nháp kích hoạt lộ trình xác minh leanSTARK được dành chỗ trong EIP-8288. EIP-8288 đề cập đến việc tổng hợp chữ ký và proof, như TokenPost đã đưa tin trước đó.

Mệnh đề là điều kiện cần xác minh trong mỗi giao dịch. Bản nháp đề xuất tối đa 256 mệnh đề trong một nút lá batch; đây là mức tạm thời, chưa được kiểm chứng bằng đo lường hiệu năng.

Các giao dịch của người dùng không bị gộp thành một giao dịch. Mỗi giao dịch vẫn có nonce, biên lai và bên trả phí riêng. Thiết kế này cũng nhằm tránh phải lấy lại chữ ký của các thành viên khi chỉ một phần giao dịch trong batch được đưa vào khối.

Bên tài trợ thanh toán chi phí nút lá batch bằng một giao dịch riêng. Giao dịch thanh toán chỉ hợp lệ nếu được đưa vào cùng khối với các giao dịch người dùng; khoản thanh toán trong khối trước đó không được chấp nhận.

Mức phí tạm tính trong bản nháp là 4.200 gas cho mỗi mệnh đề và 675.000 gas cho mỗi khoản thanh toán nút lá batch. Theo ví dụ trong bản nháp, 64 mệnh đề cùng một khoản thanh toán tiêu tốn 943.800 gas; con số này chưa tính chi phí của các giao dịch khác.

Bản nháp cũng đưa ra mức 572.000 gas cho xác minh leanSTARK thông thường và 5.100 gas cho mỗi proof share. Những con số này đều chưa phải mức cuối cùng.

Các giao dịch batch được hưởng mức phí ưu đãi sẽ không được phát tán qua mempool công khai. Chúng cũng không thuộc phạm vi bảo đảm của danh sách giao dịch cần đưa vào khối (inclusion list). Vì vậy, đơn vị tạo batch phải gửi trực tiếp giao dịch của người dùng, proof và giao dịch thanh toán của bên tài trợ cho block builder.

Nếu bên tài trợ hoãn thanh toán sau khi proof được tạo hoặc giao dịch thanh toán không hợp lệ, builder có thể không thu hồi được chi phí công việc đã thực hiện. Bản nháp cho biết chi phí này không được bù bằng gas dành cho việc đưa giao dịch vào khối.

Khoản thanh toán của bên tài trợ cũng không tự động trả thưởng cho đơn vị tạo batch. Bản nháp nêu khả năng ứng dụng tự bố trí vốn cho hoạt động tạo batch hoặc thu phí dịch vụ riêng.

Người gửi PR cho biết đã thực hiện 44 lần thử nghiệm mô hình cục bộ và kiểm tra tài liệu. Việc xác minh proof và thực thi giao dịch dùng các thành phần thay thế phục vụ thử nghiệm; đây không phải thử nghiệm tích hợp hay đo hiệu năng thực tế.

Các số liệu hiệu năng trong điều kiện có 16 worker cũng mới ở giai đoạn mô hình hóa, nên chưa thể xem là hiệu năng xử lý trong môi trường mạng thực tế.

PR #15842 trong kho mã của client Nethermind cũng là một nguyên mẫu ở trạng thái “Draft”, bị giới hạn bằng feature flag. Người viết PR là Marchhill. Riêng nguyên mẫu này không đồng nghĩa tính năng đã được chấp thuận triển khai trên Ethereum.

Bản nháp đề xuất đo hiệu năng trong điều kiện toàn khối, bao gồm trường hợp sử dụng tài nguyên tối đa, trước khi chốt phí gas và giới hạn tài nguyên. Quy trình cần công bố cấu hình phần cứng và số worker, đồng thời tính cả chi phí giao dịch cần thiết cho thanh toán batch và xác minh proof thông thường để kiểm tra các giới hạn.