ZKsync vừa ra mắt Airbender Prime, một trình chứng minh không tiết lộ thông tin (zero-knowledge prover) đã chứng minh được 7.200 khối Ethereum trong chưa đầy 10 giây chỉ bằng một GPU duy nhất. Đồng sáng lập Ethereum Vitalik Buterin gọi đây là một cột mốc mang tính quyết định và cho rằng việc phát triển zkEVM giờ phải tập trung vào bảo mật thay vì tốc độ.
Điều gì đã thực sự xảy ra
Theo Wu Blockchain, ZKsync công bố Airbender Prime - trình chứng minh không tiết lộ thông tin dành cho Ethereum - vào ngày 17/10/2026. Trong quá trình thử nghiệm, một GPU NVIDIA RTX PRO 6000 Blackwell duy nhất đã tạo ra bằng chứng cho một loạt 7.200 khối liên tiếp trên mainnet Ethereum. 99% số khối được chứng minh trong chưa đầy 10 giây, và mọi khối đều hoàn tất trong vòng 12 giây, kể cả thời gian chuẩn bị dữ liệu nhân chứng (witness). Trình chứng minh này chạy trên chuẩn mở RISC-V và sử dụng công nghệ bằng chứng STARK dựa trên hàm băm, được thiết kế để đảm bảo an toàn hậu lượng tử. Hệ thống đi kèm một bộ xác minh độc lập để kiểm tra riêng biệt. Vitalik Buterin đã chúc mừng đội ngũ Airbender và cho biết cuộc đua về tốc độ chứng minh của zkEVM đã đạt được kết quả mang tính quyết định. Ông nói rằng ưu tiên giờ đây phải chuyển hoàn toàn sang bảo mật.
Bối cảnh câu chuyện
Bằng chứng không tiết lộ thông tin cho phép một rollup chứng minh tính hợp lệ của giao dịch Ethereum mà không cần chạy lại toàn bộ phép tính, giúp giảm chi phí và rút ngắn thời gian hoàn tất. Trong nhiều năm, các đội ngũ zkEVM chủ yếu cạnh tranh về tốc độ chứng minh, vì quá trình chứng minh chậm sẽ làm trì hoãn việc rút tiền và tăng chi phí. Kết quả của Airbender Prime - 99% số khối được chứng minh trong dưới 10 giây chỉ bằng một GPU phổ thông - là một trong những benchmark công khai nhanh nhất từng ghi nhận đối với một trình chứng minh tương đương Ethereum. Buterin đã nêu ra ba nhiệm vụ chưa được giải quyết đối với việc xác minh hình thức (formal verification): xác nhận hệ thống bằng chứng khớp chính xác với các quy tắc giao thức số học của Ethereum, thiết lập giới hạn chi phí cố định gắn với mức sử dụng gas của khối, và kiểm chứng tính đúng đắn của chính hệ thống không tiết lộ thông tin. Điều này đã biến cuộc đua zkEVM từ một cuộc thi hiệu năng thành một bài toán kiểm toán bảo mật.
Tại sao điều này quan trọng với bạn
Đối với ZKsync, tốc độ chứng minh nhanh hơn có thể đồng nghĩa với phí giao dịch rẻ hơn và thời gian hoàn tất nhanh hơn cho người dùng khi cầu nối hoặc giao dịch trên rollup của họ. Đối với các đội ngũ zkEVM khác, phát biểu của Buterin đặt ra một tiêu chuẩn mới: tốc độ thuần túy không còn là yếu tố quyết định, mà là các cam kết bảo mật hình thức. Các nhà phát triển làm việc trong lĩnh vực mở rộng Ethereum có thể sẽ ưu tiên kiểm toán và chứng minh toán học về tính đúng đắn hơn là chạy đua benchmark. Những người nắm giữ tài sản trên các zk-rollup nên theo dõi xem các đối thủ có chuyển nguồn lực sang xác minh hình thức hay không, vì điều đó có thể làm chậm một số lộ trình phát triển nhưng sẽ giảm rủi ro mất tiền do lỗi trình chứng minh. Cuối cùng, người dùng sẽ hưởng lợi từ một chuỗi vừa nhanh vừa an toàn.
Câu hỏi lớn hơn
Nếu tốc độ chứng minh không còn là yếu tố quyết định, điều gì sẽ trở thành tiêu chuẩn mới để phân biệt các zkEVM đang cạnh tranh nhau? Xác minh hình thức có thể xác nhận một hệ thống khớp với đặc tả của chính nó, nhưng không thể đảm bảo rằng đặc tả đó bao quát được mọi kịch bản tấn công trong thực tế. Vậy ai sẽ là người quyết định khi nào một trình chứng minh được coi là đủ an toàn để bảo vệ hàng tỷ đô la tài sản?
Những gì cần theo dõi
ZKsync hiện chưa công bố thời điểm tích hợp Airbender Prime vào mainnet. Hãy theo dõi phản ứng của các nhà phát triển cốt lõi Ethereum trước lộ trình xác minh hình thức mà Buterin đề xuất trong những tuần tới. Các dự án zkEVM khác có thể sẽ công bố các so sánh benchmark riêng khi trọng tâm chuyển sang kiểm toán bảo mật. Bonuz sẽ tiếp tục theo dõi cuộc tranh luận này ảnh hưởng thế nào đến hạ tầng chứng minh - thứ có thể trong tương lai hỗ trợ các thiết bị nhẹ, luôn hoạt động như kính thông minh, vốn phụ thuộc vào khả năng xác minh nhanh và rẻ ngay tại biên mạng.
