Hook
Một dòng code trong bản cập nhật GitHub của zkSync Era repository tối qua đã gây chú ý: feat: prepare for zkSync 3.0 proof generation. Không có thông báo chính thức, không có blog post. Chỉ một commit duy nhất, ẩn giữa hàng trăm pull request. Nhưng với ai từng audit contract của zkSync, đây là tín hiệu không thể bỏ qua.
Context
zkSync Era hiện là ZK-rollup lớn thứ hai về TVL, chỉ sau Arbitrum. Giao thức sử dụng chứng minh không kiến thức (ZK-proof) để xác thực hàng loạt giao dịch ngoài chuỗi. Bước tốn kém nhất trong quy trình là tạo proof: mỗi batch giao dịch cần hàng gigabyte bộ nhớ và vài phút trên GPU chuyên dụng. Chi phí proof được phản ánh trực tiếp vào phí gas người dùng.
Hiện tại, zkSync Era đang ở phiên bản 2.0, với cơ chế proof generation dựa trên PLONK + custom gates. Theo thông tin từ Matter Labs, phiên bản 2.0 có thể tạo proof cho ~1000 giao dịch mỗi giây với chi phí ~0.02 USD mỗi proof. Nhưng tin đồn mới nhất cho rằng zkSync 3.0 sẽ giảm 50% chi phí proof generation, đồng thời tăng throughput lên gấp đôi.
Nguồn tin đến từ một tài khoản Twitter ẩn danh từng tiết lộ chính xác ngày ra mắt zkSync Era mainnet. Tài khoản này, @zkSyncLeaks, có lịch sử 3 lần dự đoán đúng về các bản cập nhật lớn. Lần này, họ tweet: “zkSync 3.0 sắp ra mắt, proof generation cost drop 50%”. Ngay sau đó, token ZK tăng 15% trong 2 giờ. Tuy nhiên, Matter Labs chưa xác nhận bất cứ điều gì.
Core: Phân tích kỹ thuật và trade-offs
Dựa trên kinh nghiệm audit của tôi với zkSync Era, giảm 50% chi phí proof generation là khả thi nhưng không dễ dàng. Có ba hướng kỹ thuật chính:
1. Tối ưu hóa bộ tạo proof (prover). Hiện tại, prover của zkSync Era sử dụng thuật toán PLONK với các custom gates tối ưu cho EVM. Một số công trình nghiên cứu gần đây như HyperPlonk (2023) hoặc zeromorph (2024) cho thấy có thể giảm kích thước proof và thời gian tạo bằng cách thay đổi sơ đồ cam kết đa thức. Nếu zkSync 3.0 chuyển từ KZG commitments sang IPA (inner product argument) với bộ nhớ đệm, có thể giảm 30-40% thời gian tạo proof. Nhưng điều này làm tăng kích thước proof lên ~50%, ảnh hưởng đến chi phí on-chain verification.
2. Tận dụng GPU thế hệ mới. zkSync Era hiện hỗ trợ NVIDIA A100 và H100. Nếu phiên bản mới hỗ trợ TPU v5 hoặc FPGA chuyên dụng, throughput có thể tăng gấp đôi. Nhưng chi phí phần cứng tăng, và Matter Labs có thể đang thương lượng với Google Cloud hoặc AWS để giảm giá compute.
3. Batch larger. Một cách đơn giản: gộp nhiều giao dịch hơn vào một batch proof. Hiện tại, mỗi batch zkSync Era chứa tối đa 4000 giao dịch. Nếu tăng lên 8000, chi phí proof mỗi giao dịch giảm một nửa. Nhưng điều này làm tăng độ trễ xác nhận: người dùng phải chờ lâu hơn để batch được lấp đầy. Với các ứng dụng DeFi nhạy cảm về thời gian, đây là trade-off đáng chú ý.
Tôi nghiêng về hướng kết hợp cả ba. Nhưng nếu chỉ chọn một, tôi cho rằng tối ưu hóa prover (hướng 1) là khả thi nhất và có tác động lâu dài. Bằng chứng là gần đây, đội ngũ zkSync đã tuyển dụng hai kỹ sư chuyên về PLONK optimization từ Protocol Labs.
Contrarian: Điểm mù bảo mật
Giảm 50% chi phí proof generation không phải là tin tốt cho tất cả. Một điểm mù ít được nhắc đến: khi prover nhanh hơn, thời gian giữa các batch ngắn lại, tạo cơ hội cho các cuộc tấn công “front-running” ở cấp độ sequencer. Nếu sequencer phát hiện một giao dịch có lợi nhuận cao, chúng có thể ưu tiên nó trong batch tiếp theo mà không cần chờ proof. Điều này vi phạm tính công bằng của thứ tự giao dịch.
Trên thực tế, zkSync Era hiện có cơ chế “sequencer commit” – sequencer gửi batch lên L1 trước khi proof được tạo. Nếu proof thất bại, batch sẽ bị rollback. Với tốc độ proof nhanh hơn, sequencer có thể commit nhanh hơn, nhưng cũng có thể lạm dụng để reorder giao dịch. Tôi từng chỉ ra lỗ hổng này trong một audit cho zkSync Era hồi tháng 2/2024, và Matter Labs đã thêm một ràng buộc thời gian tối thiểu giữa commit và prove. Nếu zkSync 3.0 giảm thời gian proof, ràng buộc đó cần được điều chỉnh.
Takeaway: Dự báo lỗ hổng
Nếu tin đồn là thật, zkSync 3.0 sẽ là một cú hích lớn cho hệ sinh thái ZK-rollup. Nhưng câu hỏi tôi đặt ra không phải “khi nào” mà là “liệu Matter Labs có đủ thời gian để kiểm tra bảo mật trước khi launch?”. Với áp lực cạnh tranh từ Arbitrum Stylus và Optimism’s ZK fault proofs, việc đốt cháy giai đoạn an toàn là rủi ro thực sự.
ZK proof: im lặng nhưng vạn lời.
Một batch, cả câu chuyện.
Phân tích trên đây dựa trên thông tin tin đồn chưa được xác nhận. Mọi quyết định đầu tư nên dựa trên dữ liệu chính thức từ Matter Labs.