99% khối Ethereum được chứng minh trong 10 giây, nhưng chi phí ở trường hợp xấu nhất vẫn cần đánh giá riêng

ZKsync công bố ngày 13 tháng 10 kết quả thử nghiệm chứng minh 7.200 khối trên mạng chính Ethereum(ETH) bằng một GPU. 99% khối trong mẫu được chứng minh trong vòng 10 giây, nhưng kết quả này không giới hạn được chi phí chứng minh của khối nặng nhất có thể tạo ra trong giới hạn gas.

Thử nghiệm Airbender Prime sử dụng một GPU NVIDIA RTX PRO 6000 Blackwell. Có tính cả thời gian chuẩn bị dữ liệu witness, 99% khối trong mẫu được chứng minh trong vòng 10 giây mỗi khối, còn toàn bộ khối được chứng minh trong 12 giây. Dữ liệu witness là đầu vào và thông tin trung gian cần thiết để chứng minh quá trình thực thi. Đây là kết quả trên mẫu và cấu hình cụ thể, không có nghĩa thời gian tương tự được bảo đảm với trường hợp nặng nhất trong mọi cấu hình khối được phép.

Gas thực thi giới hạn chi phí của các hoạt động như tính toán và lưu trữ. Tuy nhiên, ngay cả các khối sử dụng cùng lượng gas cũng có thể đòi hỏi khối lượng công việc chứng minh khác nhau tùy vào phép toán và giá trị đầu vào. Vì vậy, khó có thể dùng dữ liệu xử lý khối trung bình để bảo đảm thời gian chứng minh trong trường hợp xấu nhất.

Đề xuất cải tiến Ethereum EIP-7904 cũng không trực tiếp thu hẹp khoảng cách này. Tài liệu đặt thông lượng xử lý CPU của một máy khách thực thi đã tối ưu ở mức 100 triệu gas mỗi giây và kết luận không cần thay đổi chi phí gas của các phép toán được phân tích. Tuy nhiên, tài liệu cho biết đây chỉ là phân tích thời gian thực thi CPU, không xem xét gánh nặng đặc thù khi tạo bằng chứng ZK-SNARK. EIP-7904 hiện là đề xuất thuộc diện “Informational”. Kết quả cho rằng phân tích gas theo tiêu chuẩn CPU là phù hợp không đủ để kết luận chi phí chứng minh cũng có thể dự đoán.

Một nghiên cứu đo lường từng phép toán cũng cho thấy cần xem xét riêng các trường hợp xấu nhất. Nghiên cứu của Lin Oshitani thuộc Nethermind Research, được đăng trên Ethereum Research Forum, thử nghiệm SP1 v5.2.3 và RISC0 v3.0.4 trên bốn GPU NVIDIA GeForce RTX 4090. Nhóm nghiên cứu ghi nhận một số phép toán tiền biên dịch mật mã, số học mô-đun và phép chia có thời gian chứng minh trên mỗi đơn vị gas tương đối dài. Số chu kỳ ZK và thời gian chứng minh thực tế cũng không tương ứng đồng đều giữa các phép toán. Tiền biên dịch là thành phần EVM cung cấp riêng các phép toán phức tạp được sử dụng thường xuyên. Kết quả này chỉ áp dụng cho prover, phần cứng và cấu hình cụ thể trong thử nghiệm.

Nghiên cứu nêu một phương án có thể áp dụng là tính “ZK Gas” với trọng số riêng cho từng phép toán rồi đặt giới hạn theo khối. Theo ý tưởng này, các phép toán tạo gánh nặng chứng minh lớn có thể chạm giới hạn riêng trước giới hạn gas thực thi thông thường. Để giới hạn có hiệu lực, cách tính cần phản ánh biến động chi phí theo giá trị đầu vào, chi phí cố định của toàn khối và cả quá trình tổng hợp bằng chứng. Nhóm nghiên cứu cũng cho biết cần có các nghiên cứu tiếp theo với phép đo trên nhiều giá trị đầu vào. Không có tài liệu nào cho thấy ZK Gas đã được đưa vào quy tắc giao thức Ethereum.

Thử nghiệm chứng minh nhanh ghi nhận hiệu suất trên một mẫu cụ thể, còn phân tích gas của EIP-7904 đưa ra kết luận về thông lượng xử lý CPU. Cả hai kết quả đều không trực tiếp xem xét chi phí chứng minh của khối trong trường hợp xấu nhất. Muốn khẳng định đã xác lập được mức trần chi phí chứng minh, cần kiểm chứng khối ở điều kiện xấu nhất cùng với tiêu chuẩn phần cứng và thời gian được nêu rõ. Hạn cuối để gửi ý kiến cuối cùng cho EIP-7904 là ngày 1 tháng 11 năm 2026.