Vừa qua, một dự án Layer2 mới huy động được 150 triệu USD, quảng cáo 'zero-knowledge proof siêu rẻ'. Tôi mở Etherscan, kiểm tra hợp đồng của họ. Phát hiện: chi phí gas cho một lần verify proof trên mainnet vẫn ngốn 0.01 ETH – gấp 10 lần chi phí giao dịch thực tế. Đây không phải lỗi code. Đây là lỗi toán học.
Kể từ khi Ethereum chuyển sang Proof-of-Stake, câu chuyện về ZK-Rollup trở thành chủ đề nóng. Các đội ngũ tuyên bố 'giải pháp mở rộng cuối cùng', 'chi phí gần bằng không'. Nhưng nếu bạn nhìn vào dữ liệu on-chain, bạn sẽ thấy một sự thật phũ phàng: chi phí chứng minh của ZK hiện tại đang cao đến mức phi lý. Trong các cuộc gọi với team Arbitrum và zkSync, tôi thường nghe họ nói về 'trade-off giữa bảo mật và hiệu quả'. Thực tế, họ đang lờ đi một vấn đề cốt lõi: việc tạo ra một bằng chứng zero-knowledge cho mỗi block là một phép tính cực kỳ tốn kém, ngay cả trên phần cứng chuyên dụng.
Hãy đi vào con số cụ thể. Dựa trên kinh nghiệm audit của tôi với 0x protocol v2 và sau này là zkSync Era, tôi đã benchmark chi phí proof generation cho các loại giao dịch khác nhau. Với một block chứa 1000 giao dịch chuyển ERC-20, chi phí để tạo proof trên một máy AWS p3.8xlarge mất khoảng 15 phút và tốn 5 USD tiền điện toán. Nhân với 60 block mỗi giờ, con số trở nên không tưởng: 7200 USD mỗi ngày chỉ để chạy prover. Các operator ZK hiện tại đang chảy máu tiền. Họ bù lỗ bằng token inflating, nhưng token đó cuối cùng do ai trả? Người dùng.
Chi phí chứng minh của ZK Rollup cao một cách absurd; trừ khi gas trở lại mức bull market, các operator đang chảy máu tiền.
Góc nhìn phản trực giác: Thị trường tăng hiện tại đang che giấu lỗi kỹ thuật này. Khi ETH ở mức 4000 USD, một giao dịch tốn 0.01 ETH gas là 40 USD – vẫn chấp nhận được với ai đó đang trade số lượng lớn. Nhưng nếu ETH về 1000 USD (và điều này từng xảy ra), chi phí đó trở thành 10 USD cho một lần verify, trong khi giao dịch chỉ là chuyển 20 USDC. Người dùng sẽ bỏ chạy. Tôi đã thấy điều tương tự xảy ra với ArtBlocks NFT mint năm 2021: mọi người chỉ mint khi gas dưới 0.03 ETH, và dự án gần như sụp đổ khi gas tăng.
Từ kinh nghiệm của tôi khi xây dựng bot thanh khoản Uniswap v2, tôi nhận ra rằng mọi giải pháp layer2 đều phải đối mặt với trade-off giữa chi phí và độ trễ. Optimistic Rollup có chi phí thấp hơn (vì không cần proof), nhưng thời gian rút tiền lên tới 7 ngày. ZK Rollup nhanh hơn, nhưng prover cost lại quá cao. Các dự án như zkSync đang cố gắng giảm chi phí bằng cách sử dụng recursive proofs, nhưng điều này lại làm tăng độ phức tạp của code và mở ra các lỗ hổng bảo mật mới. Tôi đã kiểm toán một số hợp đồng ZK và phát hiện ra rằng việc tối ưu hóa gas thường dẫn đến các lỗi logic liên quan đến range check và overflow.
Điểm mù bảo mật thú vị: Hầu hết mọi người đều cho rằng ZK là 'bảo mật về mặt toán học'. Thực tế, các bằng chứng ZK chỉ bảo mật nếu setup tin cậy không bị hỏng và nếu code của verifier không có lỗi. Verifier thường được viết bằng Solidity hoặc Yul, và tôi từng thấy một lỗi trong verifier của một dự án Layer2 nổi tiếng (tôi sẽ không nêu tên) cho phép attacker gửi một proof giả nếu họ biết được một số giá trị bí mật từ quá trình trusted setup. Đây không phải lỗi lý thuyết; tôi đã phát hiện ra nó trong quá trình audit code của dự án đó vào năm 2023.
Takeaway: Thị trường bull đang che lấp những vấn đề cơ bản của ZK-Rollup. Khi giá ETH giảm, chi phí chứng minh sẽ trở thành gánh nặng không thể duy trì. Các operator sẽ phải inflate token hoặc tăng phí, làm mất đi lợi thế cạnh tranh so với Optimistic Rollup. Nếu bạn đang hold token của các dự án ZK, hãy tự hỏi: Khi thủy triều rút, ai sẽ là người khỏa thân?