Vitalik Buterin chúc mừng đội ngũ zkSync airbender đạt cột mốc mới, đồng thời nhận định cuộc đua tốc độ zkEVM đã hoàn toàn ngã ngũ và ưu tiên hàng đầu giờ đây cần chuyển sang bảo mật.
Trong bài đăng trên X, Buterin cho rằng cần kiểm chứng hình thức ba yếu tố: tính tương đương với đặc tả Ethereum, giới hạn chi phí xác minh so với lượng gas trong khối và tính bảo mật của hệ thống chứng minh.
Cụ thể, việc kiểm chứng cần xác nhận cách biểu diễn tính toán bằng các ràng buộc số học tương đương với đặc tả Ethereum; xác lập mức trần nghiêm ngặt cho tỷ lệ giữa chi phí xác minh và lượng gas trong một khối; đồng thời kiểm chứng tính bảo mật của chính hệ thống chứng minh.