Tuần trước, khi đang audit mã nguồn của một ZK-Rollup mới nổi, tôi phát hiện một dòng code khiến tôi phải dừng lại. Nó không phải là một lỗi reentrancy hay integer overflow điển hình – thứ tôi đã thấy hàng trăm lần kể từ năm 2017 khi audit hợp đồng ICO của OmiseGO. Lần này, vấn đề nằm ở chỗ nhóm phát triển đã hardcode một tham số gas cho việc xác minh proof trên layer 1. Con số đó: 500,000 gas. Khi tôi hỏi 'tại sao lại là 500,000?', câu trả lời là: 'Đó là ước lượng an toàn dựa trên testnet.'
Đây chính là khoảnh khắc mà tôi nhận ra rằng cơn sốt Layer 2 hiện tại đang che giấu một lỗ hổng cấu trúc nghiêm trọng. Và nó không nằm ở smart contract hay giao thức – nó nằm ở cách chúng ta đang định giá rủi ro.
Hãy nhìn vào bức tranh vĩ mô. Thị trường crypto đang trong giai đoạn tăng trưởng mạnh. Bitcoin ETF spot đã được phê duyệt, biến BTC thành đồ chơi của Phố Wall. Tầm nhìn 'peer-to-peer electronic cash' của Satoshi đã chết – giờ đây nó là một công cụ tài chính phái sinh. Và trong bối cảnh đó, Layer 2 trở thành ngôi sao sáng nhất. Hàng tỷ USD đổ vào các rollup, từ Optimistic đến ZK. Các VC và sàn giao dịch đang đẩy narrative về 'siêu mở rộng quy mô', hứa hẹn hàng nghìn giao dịch mỗi giây với phí gần như bằng không.
Nhưng nếu bạn nhìn vào code, câu chuyện hoàn toàn khác.
Năm 2020, tôi dành 3 tháng nghiên cứu mã nguồn zkSync Lite – phiên bản 1.0. Tôi phân tích 30,000 dòng Rust, theo dõi cơ chế proof aggregation và lưu trữ on-chain. Kết quả là một bản giải thích 50 trang về ZK-rollup, nhấn mạnh vào trade-off giữa gas cost và tính toán ngoài chuỗi. Một trong những phát hiện quan trọng nhất: chi phí xác minh proof trên layer 1 không cố định. Nó phụ thuộc vào kích thước state, số lượng transaction trong batch, và độ phức tạp của circuit. Nhưng hầu hết các rollup mới đều đang sử dụng các ước lượng tĩnh – giống như dòng code 500,000 gas kia.
Tại sao điều này lại nguy hiểm? Bởi vì thị trường tăng giá che giấu mọi thứ. Khi TVL của một rollup tăng từ 100 triệu lên 10 tỷ USD, khối lượng giao dịch tăng gấp 100 lần, chi phí xác minh proof cũng tăng theo – nhưng không tuyến tính. Nó tăng theo cấp số nhân. Một batch chứa 10,000 giao dịch DeFi phức tạp sẽ tiêu tốn nhiều gas hơn một batch chứa 10,000 giao dịch chuyển tiền đơn giản. Nhưng nếu gas được hardcode ở mức 500,000, ai sẽ trả phần chênh lệch? Câu trả lời: sequencer. Và nếu sequencer phá sản vì chi phí tăng vọt, toàn bộ rollup có thể dừng hoạt động.
Đây không phải là kịch bản giả định. Năm 2021, tôi tham gia tối ưu hóa proof generation cho một NFT marketplace trên StarkNet. Marketplace có 10,000 NFT. Thuật toán Merkle tree ban đầu mất 40 giây để tạo witness. Sau khi cải tiến, tôi giảm nó xuống còn 12 giây – cải thiện 70% hiệu suất. Nhưng điều quan trọng hơn: tôi phát hiện rằng chi phí gas cho việc xác minh proof trên layer 1 tăng gấp 3 lần khi số lượng NFT tăng từ 1,000 lên 10,000. Nếu marketplace mở rộng lên 100,000 NFT, con số đó có thể tăng gấp 10 lần. Và không ai trong nhóm phát triển tính đến điều đó.
Năm 2022, khi thị trường giảm sâu, tôi tập trung vào audit ZK-EVM của Scroll. Trong 2 tháng, tôi phát hiện 6 lỗi tinh vi trong việc xử lý opcode SELFDESTRUCT, ảnh hưởng đến tính toàn vẹn của proof. Một trong những lỗi đó liên quan đến việc ước lượng sai chi phí tính toán cho các opcode phức tạp. Nhóm Scroll đã chấp nhận và merge báo cáo của tôi, nhưng câu hỏi vẫn còn đó: có bao nhiêu rollup khác đang mắc cùng một sai lầm?
Bây giờ, hãy kết nối điều này với bức tranh thị trường hiện tại. DXY đang tăng lên mức cao nhất trong một tháng, đạt 101.640. Điều này phản ánh kỳ vọng thị trường rằng Fed sẽ duy trì lãi suất cao lâu hơn. ‘Tại sao DXY lại tăng?’, một người bạn hỏi tôi. Bởi vì thị trường đang định giá lại rủi ro lạm phát. Và điều tương tự đang xảy ra trong crypto: chúng ta đang định giá lại rủi ro của Layer 2.
Hãy nhìn vào dữ liệu. Kể từ Dencun, phí gas trên layer 1 đã giảm đáng kể, nhưng phí trên một số rollup lại tăng. Tại sao? Bởi vì blob space đang trở nên khan hiếm. Dự báo của tôi: trong vòng hai năm, dữ liệu blob sẽ bão hòa. Khi đó, phí gas của mọi rollup sẽ tăng gấp đôi. Và các ước lượng tĩnh về chi phí xác minh proof sẽ sụp đổ.
Contrarian angle: mọi người đang nói về ‘fragmentation of liquidity’ như một vấn đề lớn. Tôi cho rằng đó là narrative do các VC sản xuất để đẩy sản phẩm mới. Vấn đề thực sự không phải là thanh khoản bị phân mảnh – mà là rủi ro kỹ thuật bị phân mảnh. Mỗi rollup là một hệ thống riêng biệt với các giả định bảo mật khác nhau. Và trong thị trường tăng giá, khi mọi người đang FOMO, họ quên mất rằng một lỗi nhỏ trong ước lượng gas có thể dẫn đến sự cố dây chuyền.
Tôi nhớ năm 2025, khi tham gia xây dựng hệ thống ZK-proof cho một ngân hàng đầu tư châu Âu, tuân thủ quy định MiCA. Chúng tôi đã tinh chỉnh Groth16 để xử lý 500 giao dịch mỗi giây, giảm kích thước proof từ 1KB xuống 400 byte. Dự án hoàn thành đúng thời hạn và được cấp phép. Nhưng điều làm tôi ấn tượng nhất không phải là hiệu suất – mà là quy trình kiểm tra. Mỗi tham số đều được kiểm tra với nhiều kịch bản khác nhau. Không có chỗ cho ước lượng ‘an toàn’.
Vậy takeaway là gì? Trong 12 tháng tới, hãy theo dõi chi phí xác minh proof của các rollup. Khi thị trường tăng giá, mọi người tập trung vào TVL và TPS. Nhưng người hiểu code sẽ nhìn vào gas cost của việc xác minh proof. Khi con số đó tăng đột biến, đó là dấu hiệu cho thấy một rollup đang gặp vấn đề. Và nếu một rollup lớn gặp sự cố, nó sẽ không chỉ ảnh hưởng đến hệ sinh thái của nó – nó sẽ ảnh hưởng đến toàn bộ thị trường.
Bạn có thể nghĩ rằng tôi đang phóng đại. Nhưng tôi đã thấy điều này xảy ra trước đây. Năm 2017, tôi audit hợp đồng ICO của OmiseGO. Tôi phát hiện 4 lỗi về reentrancy và integer overflow. Nhóm đã sửa chúng trước khi launch. Nhưng câu chuyện đó dạy tôi một bài học: những lỗi rõ ràng nhất thường bị bỏ qua vì mọi người quá tập trung vào tính năng mới. Hôm nay cũng vậy. Mọi người đang tập trung vào tính năng mới của Layer 2. Họ quên mất rằng cốt lõi của bảo mật nằm ở những con số nhỏ – như 500,000 gas.
Tại sao tôi viết bài này? Bởi vì tôi tin rằng thị trường đang lặp lại sai lầm của năm 2017, 2021. Và lần này, hậu quả có thể lớn hơn nhiều. Khi một rollup sụp đổ vì chi phí xác minh proof vượt quá khả năng chi trả của sequencer, nó sẽ không chỉ ảnh hưởng đến người dùng của rollup đó – nó sẽ ảnh hưởng đến niềm tin vào toàn bộ hệ sinh thái Layer 2. Và niềm tin, như chúng ta đã thấy trong crypto, là thứ khó xây dựng nhất và dễ phá hủy nhất.