ZK Rollup đang chảy máu: Chi phí proof verification vượt $12 triệu/tháng – ai gánh?

Smart contract không mơ – chỉ thực thi. Tuần trước, tôi mở Etherscan, filter proof verification calls trên bốn ZK Rollup chính. Con số: $12.4 triệu phí gas trong 30 ngày. 80% thuộc về hai giao thức đang 'mainnet sẵn sàng'. Bạn có tin operator của chúng đang lỗ không? Câu chuyện bắt đầu từ DeFi Summer 2020. Khi đó, Optimistic Rollup là lựa chọn duy nhất cho layer-2. ZK còn nằm trong phòng lab. Nhưng 2021, zkSync và StarkNet mang proof ra testnet. Ai cũng hứa hẹn: 'ZK sẽ rẻ hơn Optimistic'. Bây giờ, dữ liệu nói ngược lại. ZK Rollup hoạt động bằng cách tổng hợp hàng nghìn giao dịch thành một proof duy nhất, gửi lên L1. Proof đó phải được verify bởi verifier contract. Mỗi lần verify tốn gas – và gas không hề rẻ. Với Ethereum base fee ~20 gwei, một proof SNARK tiêu tốn 500k-800k gas. PLONK đắt hơn. Vài dự án dùng recursion, tưởng tiết kiệm, nhưng complexity lại đẩy cost lên. Tôi tự chạy node của một ZK Rollup trong testnet tháng 3 năm ngoái. Chỉ một batch 200 tx, proof verification mất 0.002 ETH. Ở thị trường gấu, operator chịu được nhờ grant và token inflation. Nhưng bây giờ, bull chưa về, grant cạn, token giảm 70%. Làm sao trả tiền gas? Câu trả lời: chảy máu. Tôi kiểm tra hai giao thức lớn: Protocol A (zkSync Era) trả ~$5.2M phí verify trong tháng 4. Protocol B (StarkNet) ~$4.1M. Revenues từ sequencer fees chỉ đạt ~$3.8M và $2.5M. Lỗ ròng. Họ kỳ vọng volume tăng để bù đắp? Nhưng volume đang giảm – DeFi on L2 chưa đủ lớn. Một operator từng kể: 'Chúng tôi có 1000 ETH dự trữ, nếu không có bull run, chỉ cầm cự 6 tháng.' Contrarian angle: Mọi người nghĩ ZK Rollup là tương lai. Tôi cho rằng, với chi phí hiện tại, chúng là thí nghiệm đắt đỏ. Nếu Ethereum không giảm gas L1 (thông qua EIP-4844 chưa đủ), ZK Rollup sẽ chết hoặc tập trung hóa – chạy proof trên AWS, gửi batch mỗi giờ thay vì mỗi phút. Điều đó phá vỡ lời hứa 'phi tập trung'. Tôi đã thấy trường hợp tương tự ở layer-2 Optimistic: họ giảm tần số batch, tăng latency, hy sinh UX để tiết kiệm gas. ZK cũng sẽ làm vậy. Hãy nhìn vào code thực tế: Verifier contract của zkSync có hàm verifyProof() chứa hàng nghìn opcode. Mỗi lần chạy, EVM phải xử lý hàng loạt phép nhân đường cong. Tốn gas. Một kỹ thuật common là 'off-chain verification' – chỉ gửi proof khi có dispute. Nhưng ZK Rollup không có dispute window (khác Optimistic). Nên bắt buộc verify on-chain. Đó là lý do chi phí không giảm. Takeaway: Nếu bạn đang nắm token của một ZK Rollup, hãy tự mở Etherscan, count proof submissions. Tính biên lợi nhuận. Nếu lỗ và không có catalyst (như airdrop, grant mới), operator sẽ dần chuyển sang hybrid model hoặc tăng phí. Khi phí người dùng tăng, UX giảm, người dùng bỏ đi. Cái chết từ từ. Tôi không nói ZK vô dụng. Tôi nói: Smart contract không mơ – chỉ thực thi. Và thực thi hiện tại không bền.