Hook
"Thị trường AI chip sẽ tăng 60-100% vào năm sau, nhưng nguồn cung gần như tăng trưởng bằng 0." — Chủ tịch tập đoàn SK, Choi Tae-won, phát biểu tại Diễn đàn báo chí Jeju vào tháng 7/2024. Câu nói này vang lên như một lời cảnh báo về sự mất cân bằng căn bản giữa cung và cầu. Nhưng với tôi, người từng thiết kế mạch zk-SNARK cho một zk-rollup lai AI, đó là một tín hiệu báo động về một điểm mù an ninh mà hầu hết các nhà phát triển Layer 2 đang bỏ qua: sự phụ thuộc chết người của họ vào HBM (High Bandwidth Memory) — sản phẩm cốt lõi của SK Hynix trong cuộc chiến AI. Trong smart contract, không có gọi là "đủ bộ nhớ" — có gọi là "giới hạn gas" và "thời gian proof". Khi nguồn cung HBM nghẹt thở, hệ sinh thái zk-rollup sẽ đối mặt với một vectơ tấn công mới: tắc nghẽn phần cứng. Không phải lỗi reentrancy, không phải oracle lệch giá — mà là sự tập trung hóa nguồn lực tính toán do phụ thuộc vào một nhóm nhỏ nhà cung cấp.
Context
Để hiểu vấn đề, cần nhìn vào bức tranh tổng thể. Zk-rollup (Zero-Knowledge Rollup) là giải pháp mở rộng Layer 2 hàng đầu hiện nay, sử dụng bằng chứng không tiết lộ thông tin để tổng hợp hàng nghìn giao dịch thành một bằng chứng duy nhất gửi lên Ethereum. Quá trình tạo ra bằng chứng này — proof generation — cực kỳ tốn kém về mặt tính toán. Mỗi bằng chứng yêu cầu thực hiện hàng tỷ phép tính trên trường hữu hạn, thường chạy trên GPU hoặc FPGA để đạt hiệu suất chấp nhận được. Và chìa khóa cho hiệu suất GPU chính là HBM — loại bộ nhớ băng thông cao được xếp chồng lên nhau, cho phép GPU đọc/ghi dữ liệu với tốc độ vượt trội so với GDDR truyền thống.
Chính vì vậy, cuộc khủng hoảng HBM mà SK Hynix đang phải đối mặt — với năng lực sản xuất đóng gói tiên tiến không thể mở rộng kịp nhu cầu — sẽ ảnh hưởng trực tiếp đến khả năng cung cấp GPU mới cho thị trường zk-rollup. Không chỉ các dự án như zkSync, StarkNet, Scroll, mà cả những ứng dụng DeFi có sử dụng zk-SNARK như Tornado Cash (fork) cũng phụ thuộc vào nguồn cung HBM ổn định. Khi nguồn cung bị giới hạn, các công ty khai thác proof (prover) sẽ thi nhau mua GPU, đẩy giá lên và tạo ra lợi thế cho các prover lớn — những thực thể có vốn và quan hệ đối tác chiến lược với SK Hynix hay NVIDIA.
Theo phân tích của Deloitte, thị trường HBM dự kiến tăng trưởng 30% CAGR trong ba năm tới, nhưng Chủ tịch Choi lại dự báo nhu cầu AI chip tăng 60-100% — một sự chênh lệch lớn. Điều này có nghĩa là sẽ không có đủ HBM cho tất cả mọi người. Các prover nhỏ lẻ sẽ bị đẩy ra khỏi thị trường, và mạng lưới zk-rollup sẽ dần tập trung vào tay một số ít người chơi lớn. Đây không phải là một lỗi mã nguồn có thể vá bằng smart contract — đó là một lỗ hổng kinh tế học của tầng phần cứng.
Core Insight: Mã nguồn không thể sửa lỗi thiếu HBM
Hãy nhìn vào code. Trong một zk-rollup điển hình, việc tạo proof yêu cầu một số lượng lớn các phép nhân và cộng trên trường hữu hạn. Khi tôi thiết kế circuit cho dự án VeriAI vào năm 2025, tôi phải đối mặt với một quyết định đánh đổi: tối ưu hóa số lượng ràng buộc (constraints) để giảm gas cost on-chain, hay tối ưu hóa để giảm thời gian proof off-chain? Gas cost phụ thuộc vào số constraints, trong khi thời gian proof phụ thuộc vào khả năng tính toán song song của GPU — và do đó phụ thuộc vào HBM.