Hook
Ngày 19/08/2025, đội ngũ phát triển của zkSync Era chính thức công bố bản nâng cấp lớn thứ hai trong năm – zkSync Era 2.0. Thông cáo báo chí chỉ vỏn vẹn 7 điểm chính: cải thiện hiệu suất prover, giảm chi phí chứng minh ZK, hỗ trợ hợp đồng thông minh dài hạn, tích hợp công cụ phát triển ZK-IDE, công bố mã nguồn mở prover vào tuần sau, giữ nguyên phí gas, và ra mắt chương trình “ZK Builder Grant”. Nhưng điều thực sự gây chú ý không phải là danh sách tính năng, mà là sự im lặng về các con số benchmark. Giống như GLM-5.3, zkSync Era 2.0 không công bố bất kỳ điểm chuẩn nào về thời gian tạo block, chi phí chứng minh trên mỗi giao dịch, hay throughput so với phiên bản trước.
Context
Để hiểu tầm quan trọng của bản nâng cấp này, cần nhìn lại bối cảnh Layer 2 vào giữa năm 2025. Thị trường ZK-rollup đang chứng kiến sự cạnh tranh khốc liệt giữa bốn gã khổng lồ: zkSync Era, StarkNet, Scroll, và Linea. Mỗi nền tảng đều chạy đua để giảm chi phí chứng minh ZK – vốn là gót chân Achilles của ZK-rollup. Chi phí chứng minh chiếm tới 60-70% tổng chi phí vận hành của một sequencer, và trong thị trường gấu kéo dài, nhiều operator đang chảy máu tiền vì gas Ethereum vẫn ở mức cao. zkSync Era 2.0 hứa hẹn giảm 30% chi phí chứng minh thông qua việc tối ưu hóa prover và chuyển một phần công việc sang GPU. Tuy nhiên, không có số liệu thực nghiệm nào được đưa ra.
Core Insight
Insight ở cấp độ giao thức mà hầu hết mọi người bỏ lỡ là: zkSync Era 2.0 không phải là một bước đột phá về kiến trúc, mà là một bản cập nhật gia tăng được thiết kế để giữ chân nhà phát triển và củng cố hệ sinh thái. Nhìn vào ba điểm nhấn chính: (1) cải thiện hiệu suất prover, (2) hỗ trợ hợp đồng thông minh dài hạn (long-running contracts), và (3) tích hợp ZK-IDE. Điều này hé lộ chiến lược: zkSync đang cố gắng giải quyết vấn đề đau đớn nhất của nhà phát triển trên ZK-rollup – đó là khả năng debug và triển khai các hợp đồng phức tạp. Các hợp đồng dài hạn yêu cầu trạng thái phức tạp và nhiều bước, vốn là thách thức đối với các prover hiện tại do giới hạn bộ nhớ và thời gian chứng minh. Bằng cách tối ưu hóa prover cho các hợp đồng dài hạn, zkSync đang nhắm đến các ứng dụng DeFi cao cấp như một số loại AMM động, lending pool nhiều tài sản, và các giao thức bảo hiểm on-chain.
Từ góc độ mật mã học, việc hỗ trợ hợp đồng dài hạn có nghĩa là prover phải xử lý các mạch số học lớn hơn, đòi hỏi nhiều bộ nhớ hơn. Điều này giải thích tại sao họ chuyển một phần công việc sang GPU: GPU có băng thông bộ nhớ cao hơn, phù hợp cho các phép toán song song. Tuy nhiên, chi phí vận hành GPU lại cao hơn CPU, và nếu không có sự giảm đáng kể về thời gian chứng minh, lợi ích ròng có thể là âm. Đây là lý do tại sao tôi gọi đây là một bản cập nhật gia tăng: nó cải thiện một trường hợp sử dụng cụ thể nhưng không giải quyết vấn đề cốt lõi của chi phí chứng minh tổng thể.
Contrarian Angle
Báo cáo audit tiết lộ điều thú vị: giả định tin cậy mà họ đang đặt ra về prover mới là không an toàn. Trong whitepaper kỹ thuật của zkSync Era, prover được thiết kế để chạy trên một server tập trung do Matter Labs kiểm soát. Mặc dù họ tuyên bố sẽ phi tập trung hóa prover trong tương lai, nhưng bản nâng cấp 2.0 vẫn giữ nguyên kiến trúc này. Điều này có nghĩa là quyền kiểm soát việc tạo block vẫn nằm trong tay một thực thể duy nhất. Nếu prover bị tấn công hoặc bị kiểm duyệt, toàn bộ mạng lưới có thể bị ảnh hưởng. Hơn nữa, việc chuyển một phần công việc sang GPU làm tăng bề mặt tấn công: các driver GPU có lỗ hổng bảo mật nổi tiếng, và việc tích hợp chúng vào pipeline chứng minh có thể tạo ra các lỗ hổng mới.
Một điểm mù khác là việc công bố mã nguồn mở prover vào tuần sau. Giống như GLM-5.3, việc mở mã nguồn prover sẽ cho phép cộng đồng kiểm tra, nhưng cũng tạo điều kiện cho các đối thủ sao chép và cải tiến. Điều này đặt ra câu hỏi: liệu zkSync có đang đánh đổi lợi thế cạnh tranh để lấy sự minh bạch? Trong ngắn hạn, việc mở mã nguồn có thể thu hút nhà phát triển, nhưng về dài hạn, nó làm suy yếu khả năng kiếm tiền từ prover nếu họ có kế hoạch bán dịch vụ chứng minh cho các rollup khác.
Takeaway
zkSync Era 2.0 là một bước đi chiến lược để giữ chân nhà phát triển trong bối cảnh cạnh tranh ngày càng khốc liệt. Nó không giải quyết được vấn đề cốt lõi của chi phí chứng minh, mà chỉ dịch chuyển nó sang một kiến trúc mới với những rủi ro bảo mật chưa được giải quyết. Câu hỏi đặt ra: liệu các nhà phát triển có chấp nhận rủi ro tập trung hóa prover để đổi lấy khả năng hỗ trợ hợp đồng dài hạn? Hay họ sẽ chuyển sang các giải pháp ZK-rollup khác như Scroll với prover phi tập trung hơn? Thị trường sẽ trả lời trong vài tháng tới, nhưng tôi đặt cược vào sự thận trọng của cộng đồng.
