Hãy thử chạy git clone vào một giao thức ZK Rollup bất kỳ. Bạn sẽ thấy ngay dòng log cuối cùng: 'Proof generation cost exceeds tx fee revenue.' Đó không phải lỗi – đó là thực tại đang diễn ra với hầu hết các operator ZK hiện tại.
Trong bảy ngày qua, tôi theo dõi ba ZK Rollup hàng đầu: zkSync Era, Scroll, và Polygon zkEVM. Dữ liệu trên L2beat cho thấy tổng phí gas trung bình trên các mạng này dao động dưới 0.01 USD mỗi giao dịch, trong khi chi phí tạo bằng chứng (proof) cho một batch giao dịch ước tính từ 50 đến 200 USD – tùy thuộc vào độ phức tạp của EVM. Với mỗi chục nghìn giao dịch trong một batch, chi phí proof chiếm tới 0.5 cent mỗi giao dịch, gấp 50 lần phí gas người dùng trả. Sự chênh lệch này là hố đen tài chính.
Bối cảnh giao thức phi tập trung: Khi tôi bắt đầu nghiên cứu ZK vào năm 2020 – thời điểm Vitalik gọi ZK Rollup là 'endgame' cho scaling – cộng đồng tin rằng hardware acceleration (GPU/FPGA) sẽ kéo chi phí proof xuống dưới 0.01 cent. Nhưng ba năm trôi qua, các nhà phát triển vẫn mắc kẹt trong bài toán cổ điển: muốn nhanh thì chọn OP, muốn an toàn thì chọn ZK, nhưng muốn rẻ thì… không có lựa chọn nào hoàn hảo. Các operator hiện tại phải tự bỏ tiền túi trả cho máy chủ proof – giống như bạn trả tiền điện cho căn hộ của hàng xóm.
Phân tích kỹ thuật gốc rễ: Chi phí chứng minh của ZK không chỉ đến từ tính toán số học (arithmetic circuit). Phần lớn là do sự không tương thích giữa EVM và zk-circuit. Mỗi opcode của Ethereum yêu cầu hàng nghìn ràng buộc (constraints) trong bằng chứng. Cụ thể: một phép tính SLOAD (đọc lưu trữ) trong EVM mất 2100 gas nhưng yêu cầu ~200 constraints trong PLONK hoặc ~50 trong Halo2 (theo báo cáo từ Scroll). Điều này khiến quá trình tạo proof cho một batch 1000 giao dịch mất từ vài phút đến hàng giờ, chưa kể chi phí điện toán đám mây. Kết quả: ngay cả khi giá ETH tăng gấp ba, phần lớn operator vẫn không hòa vốn. Từ góc nhìn kinh tế học giao thức, đây là một 'subsidy model' ẩn – các đội ngũ dự án đốt tiền VC để giữ phí thấp nhằm thu hút TVL, nhưng không có lộ trình bền vững nào ngoài việc chờ gas tăng trở lại.
Góc nhìn phản trực giác và điểm mù: Nhưng bạn bảo: 'Chờ layer 2.0 ra mắt thì chi phí sẽ giảm.' Tôi từng nghĩ vậy, cho đến khi thực sự audit lại mã nguồn của một ZK prover mã nguồn mở. Sự thật nghịch lý là: càng tối ưu proof aggregation (gộp bằng chứng lớn từ các bằng chứng nhỏ) thì chi phí cho mỗi giao dịch dài hạn càng tăng do overhead của recursion. Các đội ngũ đang bán 'future efficiency' trong khi hiện tại vận hành dưới âm. Đừng để bị lừa bởi các dashboard đẹp – hãy nhìn vào dòng 'Sequencer Revenue vs Cost' trên Dune. Một vài dự án thậm chí còn lập trình sai để ẩn chi phí thực qua token inflation, giống như FTX từng làm với fake revenue.
Kết luận tiến bộ: Nếu gas vẫn loanh quanh ở mức bear market như hiện tại, các operator ZK sẽ buộc phải tăng phí giao dịch lên gấp 5-10 lần hoặc ngừng hỗ trợ batch nhỏ. Điều này giết chết use case micro-payment và chọc thủng câu chuyện 'scaling free'. Tôi không nói ZK chết – tôi nói rằng sự thực dụng đã đến lúc phải thay thế lý tưởng. Hãy hỏi operator yêu thích của bạn: 'Bạn đang trả bao nhiêu cho proof hôm nay?' Nếu câu trả lời là 'I don't know', bạn đã biết mình cần phải fork.
