Vitalik Buterin tuyên bố rằng "cuộc đua tốc độ" của zkEVM đã hoàn toàn ngã ngũ sau cột mốc mà nhóm zkSync đạt được, đồng thời khẳng định các ưu tiên phát triển giờ đây phải chuyển hẳn sang vấn đề bảo mật. Ông nhấn mạnh rằng những chuẩn mực về hiệu năng đã được đáp ứng đầy đủ và việc xác minh hình thức cần được đặt lên hàng đầu trong thời gian tới. Buterin đã vạch ra ba lĩnh vực cụ thể cần được xác minh hình thức: thiết lập sự tương đương giữa quá trình số học hóa (arithmetization) và đặc tả của Ethereum, áp dụng mức trần nghiêm ngặt đối với tỷ lệ giữa chi phí xác minh và gas của khối, cũng như xác minh tính an toàn của chính hệ thống chứng minh. Các biện pháp này nhằm đảm bảo tính toàn vẹn lâu dài của giao thức khi công nghệ zero-knowledge ngày càng hoàn thiện.