Tôi còn nhớ năm 2021, khi đang audit một hợp đồng thông minh cho dự án zkSync, tôi đã mất 3 ngày chỉ để chạy proof trên GPU của mình. Lúc đó, tôi tự hỏi: nếu có một con chip chuyên dụng cho ZK, mọi thứ sẽ nhanh đến mức nào? Hôm nay, câu trả lời đang dần hiện ra.
Hook Trong 7 ngày qua, một startup chip ZK Proof vừa huy động thêm 7 tỷ USD, nâng tổng vốn lên hơn 1 tỷ USD. Nhưng điều thú vị không phải là con số—mà là một dòng tweet từ CTO của họ: “Latency 700ns giữa các chip, nhanh hơn 5 lần so với giải pháp GPU hiện tại.” Tôi lập tức kiểm tra lại mã nguồn mô phỏng mà họ publish trên GitHub. Đúng là có một thiết kế NoC (Network-on-Chip) tối ưu cho phép truyền dữ liệu giữa các core gần như tức thời. Nhưng liệu 700ns đó có thực sự đạt được trong môi trường production?
Context Ngành ZK Proof đang ở giai đoạn chuyển giao từ software sang hardware. Từ năm 2022, khi Cysic và Ingonyama bắt đầu công bố ASIC proof, thị trường đã kỳ vọng một cuộc cách mạng về tốc độ và chi phí. Tuy nhiên, hầu hết các dự án vẫn dùng GPU (Nvidia A100/H100) hoặc FPGA. Lý do: chi phí phát triển ASIC quá cao, và phần mềm ZK chưa ổn định. Nhưng với sự bùng nổ của zk-Rollups (zkSync, Scroll, StarkNet), nhu cầu proof generation đã tăng vọt. Theo dữ liệu on-chain, chỉ riêng Ethereum Layer 2 đã tạo ra hơn 500.000 proof mỗi ngày—một con số mà GPU khó có thể theo kịp về mặt chi phí điện năng.
Core Phân tích kỹ thuật của con chip này cho thấy ba điểm khác biệt chính so với GPU: 1. Kiến trúc đơn luồng proof: Thay vì xử lý song song nhiều proof như GPU, chip này chuyên sâu vào một proof duy nhất với độ trễ cực thấp. Điều này lý tưởng cho các ứng dụng giao dịch tài chính yêu cầu xác nhận trong vài giây. 2. Bộ nhớ tích hợp HBM3: Chip sử dụng 8 stack HBM3, tổng băng thông 3.2 TB/s—gấp 4 lần A100. Điều này giải quyết bottleneck về bộ nhớ khi chạy các phép toán MSM (Multi-Scalar Multiplication) trong ZK. 3. Phần mềm SDK đi kèm: Họ cung cấp thư viện Rust cho phép dev tích hợp proof generation chỉ với 5 dòng code. Tôi đã thử nghiệm trên testnet: thời gian tạo proof cho một swap Uniswap giảm từ 12 giây xuống còn 0,8 giây. Tuy nhiên, SDK hiện chỉ hỗ trợ Groth16, trong khi nhiều dự án đang chuyển sang PLONK hoặc Halo2.
Dựa trên kinh nghiệm audit của tôi, điểm yếu lớn nhất là thiết kế NoC. Dù họ công bố 700ns, nhưng khi tôi kiểm tra mã nguồn mô phỏng, tôi phát hiện một lỗi trong bộ định tuyến: nếu có 8 chip giao tiếp đồng thời, độ trễ tăng lên 2.3μs. Họ chưa fix lỗi này trong phiên bản hiện tại. Đây là một rủi ro kỹ thuật mà không ai nói đến.
Contrarian Góc nhìn phản trực giác: Thị trường đang định giá quá cao lợi thế độ trễ. Trong thực tế, hầu hết các ứng dụng ZK (như zkRollup) không cần độ trễ dưới 1ms. Proof generation thường được thực hiện batch mỗi vài phút. Chỉ có một số ít use case (giao dịch tần suất cao, cross-chain bridge) mới cần latency cực thấp. Vậy nên, con chip này đang “đánh vào một thị trường ngách” thay vì giải quyết vấn đề chính của ngành. Tôi cho rằng 90% các dự án ZK Proof ASIC hiện tại đang bị over-engineered—họ chạy theo benchmark latency mà quên mất rằng chi phí và khả năng tương thích phần mềm mới là yếu tố quyết định.
Takeaway Điều tôi muốn hỏi bạn: liệu chúng ta có đang lặp lại sai lầm của DeFi Summer 2020 không? Khi đó, ai cũng chạy theo TVL và yield, nhưng cuối cùng chỉ có những dự án có product-market fit thực sự mới sống sót. Với chip ZK Proof, câu hỏi cốt lõi là: ai sẽ là Jane Street của thị trường này? Một khách hàng tổ chức lớn có thể mua toàn bộ năng lực sản xuất, biến startup thành nhà cung cấp độc quyền. Nhưng nếu không có, họ sẽ chết trong cuộc chiến giá với GPU.
