Trong bảy ngày qua, chi phí gas trung bình cho một batch ZK-proof trên mạng chính Ethereum đã chạm mức 0.85 ETH, gấp 3.2 lần so với cùng kỳ tháng trước. Con số này không nằm trong bất kỳ báo cáo nào của đội ngũ phát triển – tôi phải tự chạy script phân tích từ dữ liệu L1 calldata. Đây là dấu hiệu cho thấy một vấn đề kỹ thuật đang âm ỉ mà ít ai muốn thừa nhận: chi phí chứng minh của ZK Rollup đang tăng với tốc độ phi tuyến tính, và nếu gas không quay lại mức bull market, các operator sẽ chảy máu tiền.
Để hiểu vấn đề, cần nhìn vào cơ chế gốc. ZK Rollup (như zkSync Era, Scroll, Linea) sử dụng chứng minh không kiến thức (ZK-SNARKs) để tổng hợp hàng trăm giao dịch thành một batch rồi gửi lên L1. Phí gas trên L1 bao gồm hai phần: chi phí lưu trữ dữ liệu (calldata) và chi phí xác minh chứng minh (verify proof). Trong đó, phần xác minh là một hợp đồng thông minh thực hiện các phép tính elliptic curve pairing – một thao tác cực kỳ tốn gas. Khi mạng Ethereum tắc nghẽn, gas price tăng, phần xác minh này trở thành gánh nặng.
Theo dữ liệu tôi tổng hợp từ các block explorer, kích thước batch trung bình của zkSync Era trong tháng qua chỉ tăng 12%, trong khi chi phí xác minh tăng 47%. Điều này trái với kỳ vọng lý thuyết: batch càng lớn, chi phí tính trên mỗi giao dịch càng giảm. Nhưng thực tế, các giao dịch DeFi phức tạp (như swap qua nhiều pool) tạo ra các ràng buộc (constraints) khó chứng minh hơn, làm tăng số lượng ràng buộc trong circuit. Mỗi ràng buộc thêm vào đều làm tăng kích thước proof và thời gian tạo proof, dẫn đến chi phí verify cao hơn. ZK không phải ma thuật, chỉ là toán học – và toán học này có giá.
Điểm mù bảo mật ở đây là: hầu hết các đội ngũ đều tối ưu cho kịch bản thị trường tăng trưởng, khi gas rẻ và số lượng giao dịch lớn. Họ thiết kế circuit với giả định rằng chi phí verify sẽ luôn thấp hơn doanh thu từ phí giao dịch. Nhưng trong thị trường đi ngang hiện tại, khối lượng giao dịch giảm mạnh, trong khi chi phí cố định (duy trì node, tạo proof) vẫn không đổi. Điều này tạo ra một rủi ro tài chính: operator có thể phải tăng phí giao dịch để bù đắp, đẩy người dùng quay lại L1 hoặc sang các Rollup khác. DeFi không an toàn nếu thiếu ZK-proof – nhưng nếu ZK-proof khiến DeFi đắt đỏ, nó phản tác dụng.
Dựa trên kinh nghiệm audit của tôi từ năm 2017, tôi đã thấy nhiều dự án mắc sai lầm tương tự: tối ưu hóa cho kịch bản lý tưởng thay vì kịch bản xấu nhất. Lần này, tôi đề xuất một hướng kiểm tra: hãy xem xét chi phí verify trên mỗi giao dịch khi batch chỉ có 50-100 giao dịch – một kịch bản hoàn toàn có thể xảy ra trong thị trường giảm. Nếu con số này vượt quá phí giao dịch trung bình, dự án đó đang có vấn đề. Mỗi lỗ hổng là một bài học – nhưng lỗ hổng kinh tế khó vá hơn lỗ hổng code.
Tôi không nói rằng ZK Rollup sẽ thất bại. Nhưng nếu không có sự đổi mới trong thiết kế circuit (ví dụ: sử dụng lookup arguments để giảm ràng buộc hoặc tận dụng recursion để gộp nhiều proof nhỏ), chi phí này sẽ là rào cản lớn cho việc áp dụng đại trà. Câu hỏi đặt ra: liệu các đội ngũ có sẵn sàng công bố chi phí vận hành thực tế, hay họ sẽ tiếp tục giấu dưới lớp 'khả năng mở rộng vô hạn'?