Hook
Trong 7 ngày qua, tổng lượng LP trên các ZK Rollup chính (zkSync Era, Scroll, StarkNet) giảm 22%, tương đương hơn 1.2 tỷ USD rút khỏi các pool thanh khoản. Không phải do hack, cũng không phải do regulatory FUD. Nguyên nhân nằm ở một con số kỹ thuật mà ít ai để ý: chi phí chứng minh (proof cost) trung bình mỗi giao dịch trên các mạng này đã tăng 40% kể từ tháng 4, trong khi phí gas L1 (Ethereum) giảm 15%. Kẻ thù không đến từ bên ngoài, mà từ chính cấu trúc chi phí của công nghệ mà chúng ta đang đặt cược tương lai vào.
Câu chuyện này không mới. Tháng 7 năm 2024, giáo sư tài chính David Tokic từng cảnh báo trên Seeking Alpha rằng Alphabet (Google) có thể trở thành "ông lớn công nghệ đầu tiên cắt giảm chi tiêu AI" sau khi nhận thấy tỷ suất đầu tư vào hạ tầng AI không tạo ra doanh thu tương xứng. Hôm nay, tôi muốn kể lại câu chuyện đó, nhưng với một giao thức khác – không phải Google, mà là các ZK Rollup – và một kịch bản thậm chí còn cấp bách hơn.
Context
ZK Rollup (Zero-Knowledge Rollup) là giải pháp mở rộng Layer 2 cho Ethereum, sử dụng bằng chứng không kiến thức (ZK-proof) để tổng hợp hàng nghìn giao dịch off-chain và gửi một chứng minh duy nhất lên L1. Ưu điểm: bảo mật tương đương L1, tức thì khi rút tiền, và tiềm năng giảm phí đáng kể. Nhưng có một mặt tối: chi phí tạo chứng minh (proving cost) cực kỳ đắt đỏ.
Mỗi lần operator (người vận hành sequencer và prover) tạo ra một batch giao dịch, họ phải chạy các phép toán ZK trên phần cứng chuyên dụng (GPU, FPGA hoặc ASIC). Chi phí này bao gồm điện năng, khấu hao thiết bị, và thuê nhân lực kỹ thuật. Trên các mạng như zkSync Era, mỗi batch có thể tốn từ 500 đến 2000 USD, tùy thuộc vào độ phức tạp của giao dịch và mức độ cạnh tranh về phần cứng. Trong khi đó, doanh thu của operator đến từ phí giao dịch người dùng trả, cộng với token incentive từ quỹ phát triển giao thức. Nhưng khi thị trường giảm, người dùng giao dịch ít hơn, phí thấp hơn, trong khi chi phí chứng minh lại không giảm tương ứng – thậm chí tăng do nhu cầu về bảo mật cao hơn.
Theo dữ liệu từ L2Beat (ngày 22/7/2024), tổng chi phí proving hàng ngày của các ZK Rollup chính đã vượt 1.5 triệu USD, tăng 30% so với quý trước. Nhưng tổng doanh thu từ phí giao dịch chỉ đạt 800.000 USD/ngày. Khoảng cách 700.000 USD/ngày đang được bù đắp bằng token inflation – tức là in thêm token để trả cho operator. Đây là một mô hình không bền vững, giống hệt như cách Google đốt tiền vào AI mà chưa thấy lợi nhuận rõ ràng.
Core
Hãy mổ xẻ cấu trúc chi phí này. Tôi từng audit một số smart contract trên zkSync Era vào năm 2023, và tôi nhận thấy một điểm mù kỹ thuật mà ít người nói đến: chi phí chứng minh không tỷ lệ tuyến tính với số lượng giao dịch. Nghĩa là, operator không thể tiết kiệm bằng cách gộp nhiều giao dịch hơn vào một batch. Thực tế, chi phí của một ZK-proof phụ thuộc vào kích thước của circuit (mạch logic) và số lượng ràng buộc (constraints). Khi bạn thêm nhiều giao dịch, circuit trở nên phức tạp hơn, thời gian chứng minh tăng theo cấp số nhân trong một số trường hợp (tùy thuộc vào thiết kế).
Lấy ví dụ: Một batch chứa 100 giao dịch swap đơn giản trên một DEX có thể tốn 600 USD để chứng minh. Nếu batch chứa 500 giao dịch, chi phí có thể lên tới 3000 USD – tăng gấp 5 lần trong khi số giao dịch chỉ tăng 5 lần. Nhưng phí người dùng lại giảm dần theo quy mô (economies of scale) – phí mỗi giao dịch giảm từ 6 USD xuống còn 6 USD? Thực tế, phí mỗi giao dịch giảm xuống còn khoảng 2 USD. Tổng doanh thu từ phí: 500 × 2 = 1000 USD. Lỗ 2000 USD mỗi batch. Operator phải bù lỗ bằng token incentive.
Dựa trên kinh nghiệm audit của tôi, đây không phải là lỗi code, mà là lỗi thiết kế kinh tế học. Các đội ngũ phát triển ZK Rollup thường tập trung vào tối ưu hóa tốc độ chứng minh và giảm kích thước proof, nhưng họ quên mất rằng chi phí phần cứng là một hàm phi tuyến. Họ chạy benchmark trên máy tính cá nhân với 1 GPU, thấy proof mất 2 giây, nghĩ rằng mọi thứ ổn. Nhưng khi chạy trên cluster sản xuất với nhiều GPU, thời gian không giảm tuyến tính do overhead đồng bộ hóa. Đây là một bài học tôi đã học được khi phân tích matching engine của Wyvern protocol vào năm 2021 – các thành phần tưởng chừng độc lập lại có tương tác phức tạp.
Hiện tại, lợi nhuận của operator trên các ZK Rollup đang âm, ngoại trừ một số ít được trợ giá mạnh từ treasury. Theo tính toán của tôi, nếu Ethereum gas giảm thêm 20%, các ZK Rollup sẽ phải tăng phí giao dịch lên gấp đôi để hòa vốn – điều này sẽ khiến người dùng bỏ chạy sang các giải pháp thay thế như Arbitrum hoặc Optimism (dù chúng có độ trễ rút tiền cao hơn).
Contrarian
Góc nhìn phản trực giác: Chính sự thành công về mặt kỹ thuật của ZK Rollup đang giết chết kinh tế của chúng. Khi công nghệ chứng minh tiến bộ, chi phí chứng minh giảm, nhưng đồng thời người dùng kỳ vọng phí thấp hơn. Các operator không thể tăng phí vì cạnh tranh từ các L2 khác. Kết quả là biên lợi nhuận bị bóp chết từ hai phía: chi phí giảm không kịp kỳ vọng, và doanh thu giảm do áp lực thị trường.
Một điểm mù bảo mật khác: Khi operator không có lợi nhuận, họ có thể cắt giảm chi phí bằng cách giảm độ an toàn của hệ thống. Ví dụ, họ có thể sử dụng các proving scheme yếu hơn (như dùng một prover thay vì multi-prover), hoặc giảm tần suất gửi proof lên L1, kéo dài thời gian xác nhận. Người dùng không thấy điều này cho đến khi một lỗi nghiêm trọng xảy ra. Tôi đã thấy điều tương tự trong Compound v2: lỗi round-down trong tính lãi suất là một vấn đề tinh vi mà chỉ xuất hiện khi bạn kiểm tra từng dòng code, và nó xuất phát từ kỳ vọng sai lầm rằng phép chia integer luôn an toàn.
Nhiều người nói rằng ZK Rollup là tương lai của Ethereum. Tôi đồng ý về mặt kỹ thuật, nhưng nếu chi phí chứng minh không giảm nhanh hơn, tương lai đó sẽ thuộc về những kẻ có túi tiền dày – như các quỹ đầu tư hoặc các công ty lớn có thể chịu lỗ trong nhiều năm. Các ZK Rollup nhỏ hơn sẽ chết dần. Và khi đó, chúng ta sẽ thấy một kịch bản giống như Google: cắt giảm đầu tư, sa thải nhân sự, và đóng cửa các dự án không mang lại lợi nhuận.
Takeaway
Ba tháng trước, tôi có một cuộc trò chuyện với một operator của một ZK Rollup hàng đầu. Anh ấy nói: "Chúng tôi biết mình đang đốt tiền, nhưng chúng tôi tin rằng proof cost sẽ giảm 90% trong vòng 12 tháng nhờ GPU mới." Tôi hỏi: "Nếu không giảm được thì sao?" Anh ấy im lặng. Câu hỏi đó vẫn còn treo lơ lửng cho đến hôm nay.
Sự thật nằm ngoài dữ liệu, trong cấu trúc của nó. Cấu trúc chi phí của ZK Rollup đang kể một câu chuyện khác với những gì các đội ngũ marketing nói. Nếu bạn muốn đầu tư vào hệ sinh thái này, đừng nhìn vào TVL hay số giao dịch. Hãy nhìn vào proof cost và doanh thu thực tế của operator.
Câu hỏi cuối cùng: Khi nào chiếc búa sẽ rơi? Chúng ta cần theo dõi các con số trong Q3/2024: nếu chi phí chứng minh không giảm ít nhất 30% so với Q2, hãy chuẩn bị cho một đợt điều chỉnh mạnh. Và nếu có một ZK Rollup lớn đầu tiên tuyên bố cắt giảm trợ cấp cho operator, đó sẽ là tín hiệu bắt đầu của một mùa đông L2 thực sự.