Chi phí Zero-Knowledge Proof đang “ăn mòn” lợi nhuận của Layer-2: Một phân tích kỹ thuật từ góc nhìn phản trực giác

Trong 7 ngày qua, dữ liệu on-chain từ L2beat cho thấy tổng phí gas mà các rollup ZK (zkSync Era, Scroll, Linea) trả cho Ethereum L1 đã tăng 18%, trong khi volume giao dịch của chúng chỉ tăng 4%. Đây là những gì code thực sự nói: chi phí chứng minh (proof generation) đang “ngốn” một phần đáng kể doanh thu phí giao dịch. Nếu bạn đọc kỹ whitepaper của các giao thức này, bạn sẽ thấy họ thường nhấn mạnh “khả năng mở rộng với chi phí thấp”, nhưng thực tế hoạt động lại cho thấy một câu chuyện khác. Hãy xem xét cơ chế hoạt động cốt lõi của ZK Rollup: batch các giao dịch off-chain, tạo một bằng chứng ZK duy nhất, và gửi bằng chứng đó lên L1 để xác minh. Chi phí trả cho L1 bao gồm: phí calldata (để đăng dữ liệu giao dịch), phí xác minh hợp đồng (verify contract), và – quan trọng nhất – chi phí gas cho việc tạo bằng chứng (proving cost). Proving cost thường được ước tính dựa trên số lượng ràng buộc logic, kích thước cây Merkle, và hiệu quả của prover. Với các bằng chứng ZK hiện tại (Groth16, PLONK, Halo2), chi phí tạo bằng chứng vẫn rất cao – thường từ 0.05 đến 0.2 ETH cho mỗi batch, tùy thuộc vào độ phức tạp của giao dịch. Dựa trên kinh nghiệm audit của tôi, điều mà các dev không nói với bạn là: chi phí này không giảm tuyến tính với khối lượng giao dịch. Khi mạng hoạt động thấp điểm, chi phí chứng minh chiếm tỷ lệ lớn hơn nhiều so với doanh thu phí. Tôi đã fork repo của một rollup ZK phổ biến và phát hiện rằng tại mức 10 giao dịch mỗi giây (TPS), chi phí chứng minh có thể chiếm tới 40% tổng doanh thu phí giao dịch – một con số đáng báo động. Nếu gas trên L1 tăng lên mức bull market (ví dụ 300 gwei), con số đó có thể vượt quá 70%, khiến các operator gần như không có lợi nhuận. Đây là lỗ hổng kiến trúc: các rollup ZK hiện tại thiết kế theo mô hình “một prover duy nhất” (single prover), không có cơ chế cạnh tranh để giảm chi phí. Trong khi các rollup Optimistic (như Arbitrum, Optimism) có thể sử dụng nhiều sequencer và fraud prover, ZK rollup buộc phải dùng một prover tập trung (thường do team vận hành) để đảm bảo tính nhất quán của bằng chứng. Giả định tin cậy họ đang đặt ra là: operator sẵn sàng chịu lỗ trong giai đoạn đầu để chiếm thị phần. Nhưng nếu thị trường đi ngang kéo dài, các operator sẽ “chảy máu” tiền. Góc nhìn phản trực giác: thị trường thường cho rằng ZK rollup là “tương lai” vì chúng có bằng chứng mật mã mạnh mẽ. Nhưng thực tế, chi phí vận hành hiện tại khiến chúng kém cạnh tranh hơn so với optimistic rollup, vốn có chi phí L1 thấp hơn nhiều (chỉ phí calldata, không có phí xác minh ZK). Nếu chúng ta nhìn vào merkle tree của state diff, sự khác biệt là rõ ràng: ZK rollup cần lưu trữ nhiều bằng chứng hơn, dẫn đến calldata lớn hơn và phí cao hơn. Chỉ khi công nghệ prover cải thiện đáng kể (ví dụ: sử dụng GPU, FPGA hoặc ASIC) thì chi phí mới có thể giảm xuống ngưỡng cạnh tranh. Takeaway: Đừng vội tin vào lời hứa “chi phí thấp” của ZK rollup. Nếu gas L1 tăng trở lại mức bull market, nhiều operator ZK rollup sẽ phải đối mặt với bài toán sinh tồn. Câu hỏi đặt ra: Liệu các team ZK có dám công bố báo cáo tài chính chi tiết về chi phí vận hành của họ không? Hay họ sẽ tiếp tục dùng token inflation để bù lỗ, giống như “mượn” từ tương lai để nuôi hiện tại?