Tuần trước, khi đọc mã nguồn của một dự án ZK-Rollup đang gọi vốn, tôi nhận ra một dòng comment đáng ngờ: "//TODO: optimize proving time for production". Dự án đó đã huy động được 50 triệu USD với lời hứa "TPS không giới hạn". Nhưng trong thực tế, proof generation trên máy tính cá nhân của tôi mất 45 phút cho một block 100 giao dịch. Đó là khoảnh khắc mà câu chuyện marketing và thực tế kỹ thuật tách rời nhau.
Kể từ khi Ethereum chuyển sang Proof-of-Stake năm 2022, cuộc đua Layer 2 đã trở thành tâm điểm. Có hai trường phái: OP Stack (dựa trên optimistic rollup) và ZK Stack (dựa trên zero-knowledge proof). Cả hai đều hứa hẹn mở rộng Ethereum mà không hy sinh bảo mật. Nhưng nếu bạn từng deploy contract trên cả hai, bạn sẽ thấy sự khác biệt không nằm ở tốc độ — mà ở độ phức tạp trong triển khai. Năm 2023, khi tôi thử nghiệm zkSync Era, tôi mất 3 ngày để debug một lỗi liên quan đến circuit constraint. Với Optimism, tôi chỉ mất 2 giờ.
Câu chuyện kỹ thuật thực sự nằm ở chi phí chứng minh. Mỗi giao dịch ZK-Rollup cần tạo ra một proof — một bằng chứng toán học rằng mọi thao tác đều đúng. Quá trình này đòi hỏi phần cứng mạnh (GPU hoặc ASIC) và thời gian. Theo dữ liệu của L2Beat, thời gian finalize trung bình của ZK-Rollup là 15-30 phút, trong khi Optimistic chỉ mất 1-7 ngày (do thời gian thử thách). Nhưng ZK lại có finality tức thời sau proof. Nghe có vẻ tốt hơn, nhưng hãy nhìn vào throughput thực tế: zkSync Era chỉ đạt 4.7 TPS trong đợt peak, trong khi OP Mainnet từng đạt 12 TPS. Tại sao? Bởi vì chi phí tạo proof giới hạn công suất.
Tuy nhiên, có một góc nhìn phản trực giác: sự khác biệt thực sự giữa OP Stack và ZK Stack không nằm ở công nghệ — mà là ai thuyết phục được nhiều dự án deploy chain trước. Hãy nhìn vào hệ sinh thái: OP Stack (Optimism, Base, Zora, etc.) đã thu hút hàng trăm dự án nhờ vào OP Chains và Superchain vision. ZK Stack (zkSync Era, StarkNet, Scroll) vẫn chật vật vì công cụ phát triển phức tạp hơn. Điều này nhắc tôi về cuộc chiến iOS vs Android: kẻ chiến thắng không phải là hệ điều hành tốt hơn, mà là kẻ có nhiều app hơn.
Cá nhân tôi, sau khi audit 12 dự án Layer 2 từ năm 2020, tôi nhận ra rằng ZK Rollups sẽ thống trị trong dài hạn nhưng Optimistic vẫn chiếm ưu thế trong 2-3 năm tới. Lý do: ZK proof generation cần phần cứng chuyên dụng và đội ngũ toán học giỏi — một rào cản lớn cho các team nhỏ. Trong khi đó, Optimistic có thể triển khai ngay với EVM tương thích hoàn toàn. Nhưng tôi không lạc quan về kịch bản "ZK will eat everything" như nhiều người vẽ ra. Thực tế, ngay cả Vitalik cũng thừa nhận ZK-EVM vẫn còn nhiều lỗ hổng trong các bài phát biểu gần đây.
Một dấu hiệu đỏ tôi thường dùng để kiểm tra dự án ZK: đội ngũ có từng publish paper về zk-SNARKs không? Nếu không, khả năng cao họ đang dùng thư viện có sẵn và không hiểu sâu. Giống như tôi đã viết trong loạt bài "Nhật ký audit" năm ngoái: "Hãy hỏi họ về constraint system của circuit — câu trả lời sẽ cho bạn biết tất cả."
Bài học: Đừng mua câu chuyện, hãy mua dữ liệu. Khi một dự án ZK hứa TPS cao, hãy hỏi: "Proof generation mất bao lâu? Phần cứng nào? Chi phí bao nhiêu?" Nếu họ không trả lời được, hãy đi tiếp. Thị trường đi ngang hiện tại là thời điểm để xếp hàng — phát hiện những dự án bị định giá thấp vì công nghệ thực sự tốt nhưng chưa có câu chuyện. Tôi đang để mắt đến những team ZK tập trung vào hardware acceleration (ASIC cho proof) — đó có thể là next big thing.