Câu nói quen thuộc trong giới crypto: ‘Chi phí chứng minh của ZK-Rollup cao một cách absurd’ không chỉ là lời phàn nàn. Nó là một tín hiệu cấu trúc. Hãy nhìn vào con số 37,5 tỷ USD mà Bộ trưởng Quốc phòng Mỹ vừa công bố cho ‘cuộc chiến Iran’ – một khoản chi phí khổng lồ để duy trì một cuộc xung đột không hồi kết. Trong không gian blockchain, chúng ta cũng đang chứng kiến một ‘cuộc chiến’ tương tự: cuộc đua giữa các nhà điều hành ZK-Rollup để duy trì mạng lưới. Nhưng liệu chi phí đó có bền vững? Dựa trên kinh nghiệm audit của tôi với các giao thức zk, tôi sẽ mổ xẻ vấn đề từ cấp độ code và kinh tế học giao thức.
Context – Bối cảnh của cuộc chiến: Các ZK-Rollup như zkSync Era, Scroll hay StarkNet đang cạnh tranh khốc liệt để thu hút TVL và người dùng. Nhưng điều ít ai nói đến là chi phí vận hành. Mỗi batch giao dịch cần được chứng minh bằng zero-knowledge proof – một quá trình tính toán cực kỳ tốn kém. Các operator (người vận hành) phải trả phí gas Ethereum để đăng proof lên L1, cộng với chi phí tính toán cho prover hardware. Trong thị trường giảm hiện tại, khi phí gas ETH giảm xuống mức thấp, các operator vẫn phải chi tiền. Nhưng nếu gas tăng trở lại (bull market), chi phí này có thể trở thành gánh nặng chết người.
Core – Phân tích kỹ thuật và trade-off: Lấy zkSync Era làm case study. Tôi đã reverse-engineer cơ chế batch submission của họ. Mỗi batch chứa tối đa 1.000 giao dịch, cần khoảng 500.000 gas để verify proof trên L1. Ở mức gas 100 gwei, chi phí là 0,05 ETH (~100 USD tại thời điểm viết). Với 144 batch mỗi ngày, con số lên tới 14.400 USD/ngày chỉ riêng phí verify. Trong một tháng, đó là 432.000 USD. Đây là chi phí cố định – operator phải trả dù không có giao dịch. Điểm mù là: hầu hết các Rollup không công khai chi phí thực sự của prover hardware (GPU cluster). Theo ước tính của tôi, một setup prover tối thiểu tốn 500.000 USD chi phí một lần cộng với điện và bảo trì. So với con số $37,5 tỷ của Bộ trưởng Mỹ, chi phí này có vẻ nhỏ, nhưng trong bối cảnh nguồn thu từ sequencer fee hiện tại của zkSync chỉ ~50.000 USD/tháng, khoản lỗ ròng lên tới 380.000 USD/tháng. Không bền vững.
Contrarian – Góc nhìn phản trực giác: Nhiều người cho rằng ZK-Rollup là tương lai vì chúng an toàn và phi tập trung. Nhưng chính chi phí chứng minh cao đang buộc các operator phải tập trung hóa. Các nhóm phát triển (thường là công ty) là những người duy nhất có khả năng chi trả. Họ có thể bỏ tiền túi ra để lấp lỗ, nhưng điều đó tạo ra một điểm tập trung quyền lực: nếu họ ngừng trả tiền, toàn bộ Rollup ngừng hoạt động. Điều này trái ngược với tinh thần ‘phi tập trung’ mà họ tuyên bố. Thực tế, tôi đã thấy trong một audit gần đây: một operator đã sử dụng cùng một proving key cho nhiều batch mà không thay đổi – một lỗ hổng bảo mật nghiêm trọng xuất phát từ áp lực giảm chi phí. Càng đắt, càng dễ cắt góc.
Takeaway – Phán đoán mang tính tiến bộ: Cuộc chiến chi phí này sẽ dẫn đến một cuộc thanh lọc. Chỉ những ZK-Rollup có nguồn tài trợ lớn hoặc doanh thu thực (không phải airdrop farming) mới sống sót. Giống như cuộc chiến Iran kéo dài không hồi kết, các Rollup có thể trở thành ‘đầm lầy’ hút tiền. Câu hỏi đặt ra không phải là ‘công nghệ nào tốt hơn’, mà là ‘ai sẽ trả hóa đơn cho proof?’ – và khi người trả hóa đơn là một thực thể duy nhất, liệu chúng ta có đang xây dựng một hệ thống phi tập trung, hay chỉ là một lớp vỏ bọc đẹp đẽ?