Ba năm trước, tôi ngồi trong phòng thí nghiệm Đại học Copenhagen, debug smart contract cho Uniswap v3. Lúc đó, ZK Rollup chỉ là lý thuyết trên slide. Hôm nay, StarkNet có hơn 200 triệu USD TVL, nhưng điều tôi thấy từ dữ liệu on-chain không phải là tăng trưởng — mà là một vết nứt âm thầm: chi phí chứng minh ZK đang vượt quá doanh thu phí giao dịch của các operator.
Hãy bắt đầu với một con số: phí gas trung bình trên Ethereum mainnet hiện tại dao động 8-15 gwei. Mỗi lần StarkNet gửi batch lên L1, họ phải trả khoảng 0.5 ETH cho calldata và verification contract. Đó là chưa kể chi phí tính toán proof bên ngoài — GPU cluster, điện, băng thông. Tôi đã tự tay tính thử: với 10 batch/ngày, mỗi batch 500 giao dịch, chi phí proof trung bình 0.2 ETH, tổng cộng 7 ETH/ngày. Trong khi đó, tổng phí giao dịch từ người dùng chỉ 3 ETH/ngày. Các operator đang lỗ 4 ETH mỗi ngày. Đây không phải là bear market tạm thời — nó là thiết kế.
Context: Cơ chế ZK Rollup và cái bẫy chi phí cố định
ZK Rollup về mặt lý thuyết là giải pháp mở rộng tối ưu: nén giao dịch vào batch, tạo proof ngắn gọn (STARK hoặc SNARK), gửi lên L1 để xác thực. Không cần sequencer trung gian, không cần ủy thác bảo mật. Nhưng thực tế, mỗi proof tốn hàng trăm nghìn phép tính elliptic curve. StarkNet dùng STARK — không cần trusted setup, nhưng kích thước proof lớn (hàng trăm KB) và thời gian tạo proof lên tới vài giờ ngay cả trên GPU 8×A100. Chi phí này là fixed cost: dù batch có 10 giao dịch hay 1000 giao dịch, bạn vẫn mất gần như nhau để tạo proof. Vậy operator phải chọn: hoặc batch lớn (giảm chi phí bình quân, nhưng tăng latency) hoặc batch nhỏ (giảm latency, nhưng giá thành mỗi giao dịch cao).
Trong thị trường giảm, số lượng giao dịch giảm mạnh. Người dùng chỉ swap vài token, không còn farm APY 1000%. Batch nhỏ đi, chi phí cố định vẫn nguyên. Lợi nhuận operator âm. Đây không phải lỗi của StarkNet — nó là hệ quả của cấu trúc chi phí ZK.
Core: Phân tích chi tiết chi phí từ mã nguồn
Tôi đã đọc contract Starknet.sol trên mainnet — phiên bản 0.12.3. Dòng 1142-1190 xử lý verification chứng minh. Gọi verifyProof() trên GpsStatementVerifier, một contract dài hơn 2000 dòng. Mỗi lần verify tốn khoảng 800k gas (theo Etherscan). Với gas 10 gwei, đó là 0.008 ETH. Nhưng calldata để gửi batch — tối thiểu 200KB — tốn thêm 0.02 ETH. Tổng cộng 0.028 ETH cho mỗi batch. Nhưng chi phí off-chain mới là kẻ ăn thịt lớn.
Tôi đã liên hệ với một operator StarkNet (giấu tên) vào tháng trước. Họ tiết lộ: chi phí vận hành một cụm GPU 4×A100 là 12.000 USD/tháng (gồm cloud + điện). Mỗi ngày họ tạo 8-12 proof, mỗi proof mất 45 phút. Tổng chi phí off-chain ~400 USD/ngày. So với 0.5 ETH (khoảng 1000 USD) chi phí on-chain, con số này không quá lớn. Nhưng vấn đề là doanh thu: với 3000 giao dịch/ngày, phí trung bình 0.0005 ETH (khoảng 1 USD), tổng doanh thu chỉ 3000 USD. Chi phí on-chain + off-chain đã là 1400 USD, còn 1600 USD. Nghe có vẻ lãi? Hãy xem phân bổ: operator chỉ giữ 50% phí giao dịch (phần còn lại trả cho sequencer và staker). Vậy lợi nhuận thực tế chỉ 800 USD/ngày. Nhưng chưa tính chi phí hardware depreciation, R&D, và đặc biệt là cơ hội chi phí — họ có thể đào Ethereum với cùng GPU và kiếm nhiều hơn.
Chỉ số quan trọng: Tỷ lệ phí giao dịch trên chi phí proof (Fees/ProofCost). Tôi tính toán cho StarkNet hiện tại: Fees/ProofCost = 3000 / (1000+400) = ~2.1. Con số này đang giảm dần theo thời gian vì phí người dùng giảm nhanh hơn chi phí proof. Nếu fees giảm thêm 30% (như đầu năm 2025), tỷ lệ sẽ xuống dưới 1.5. Lúc đó, operator bắt đầu lỗ. Và StarkNet Foundation không trợ cấp vô thời hạn — họ chỉ hỗ trợ 6 tháng đầu cho operator mới.
Contrarian: Điểm mù bảo mật từ chi phí thấp
Một góc nhìn ít người nói: khi operator lỗ, họ có động lực cắt giảm chi phí. Cắt giảm thế nào? Giảm số lượng GPU — dẫn đến thời gian tạo proof lâu hơn, tăng latency. Hoặc tái sử dụng proof cũ — gian lận bằng cách gửi batch sai để tiết kiệm gas. Đã có lỗ hổng trong hệ thống STARK verification: nếu proof không được kiểm tra đúng cách (do bug trong contract), operator có thể gửi batch chứa giao dịch giả mạo. Tôi đã từng tìm thấy lỗi tương tự trong OpenSea năm 2021. Với áp lực tài chính, operator có thể “vô tình” bỏ qua các kiểm tra. Đây là rủi ro hệ thống mà các nhà phân tích thường bỏ qua vì chỉ nhìn vào TVL và số giao dịch.
Thêm một điểm: chi phí proof cao cũng khiến StarkNet khó cạnh tranh với Optimistic Rollup về mặt kinh tế. Optimistic (như Arbitrum, Optimism) chỉ tốn phí L1 cho calldata, không tốn proof. Với cùng số giao dịch, Arbitrum operator có biên lợi nhuận gấp 3 lần. Điều này giải thích tại sao TVL của Arbitrum gấp 10 lần StarkNet — không chỉ vì hiệu ứng mạng, mà vì operator sẵn sàng chấp nhận rủi ro thấp hơn.
Takeaway: Tương lai của ZK Rollup phụ thuộc vào một kịch bản duy nhất
Chi phí chứng minh ZK chỉ giảm đáng kể khi có hai điều xảy ra: (1) Ethereum blob (EIP-4844) làm rẻ calldata, và (2) hardware chuyên dụng (FPGA, ASIC) cho ZK ra đời. Cả hai đều chưa rõ ràng. Blob đã lên mainnet, nhưng giá blob vẫn cao vì nhu cầu nén dữ liệu chưa đủ lớn. ASIC cho ZK thì còn 2-3 năm nữa. Trong lúc chờ đợi, các operator của StarkNet đang chảy máu tiền. Tôi không nói StarkNet sẽ chết — họ có quỹ lớn và đội ngũ giỏi. Nhưng nếu bạn đang chạy node hoặc stake trên StarkNet, hãy hỏi operator của bạn: lợi nhuận thực tế mỗi ngày là bao nhiêu? Nếu họ không biết, bạn nên lo.
Bài học từ 7 năm audit smart contract của tôi: Bất kỳ giao thức nào có chi phí vận hành cố định cao hơn doanh thu biến đổi trong bear market đều sẽ gặp vấn đề về bảo mật. Đó không phải là nếu, mà là khi nào.