Vitalik Buterin, người đồng sáng lập Ethereum, đã xuất bản một bài viết thảo luận chuyên sâu về khái niệm "ZK-EVM" (Máy ảo Ethereum không có kiến ​​thức) và các hình thức triển khai có thể có của nó. Bài viết chỉ ra rằng các giao thức EVM Lớp 2 hiện tại (chẳng hạn như Optimistic Rollups và ZK Rollups) cần phải dựa vào cơ chế xác minh EVM, nhưng điều này cũng có nghĩa là chúng phải tin tưởng vào một cơ sở mã khổng lồ. Khi có lỗ hổng trong cơ sở mã, các máy ảo này có thể có nguy cơ bị tấn công. Ngoài ra, ngay cả ZK-EVM muốn duy trì hoàn toàn tương đương với L1 EVM cũng sẽ yêu cầu một số dạng cơ chế quản trị để sao chép các thay đổi L1 EVM sang việc triển khai EVM của chính nó. Khái niệm ZK-EVM do Buterin đề xuất nhằm mục đích giảm việc triển khai lặp lại các chức năng giao thức Ethereum của các dự án Lớp 2 và cải thiện hiệu quả của nó trong việc xác minh các khối Ethereum Lớp 1. Anh ấy cũng hình dung ra một tương lai nơi các máy khách hạng nhẹ sẽ mạnh mẽ hơn và thậm chí có thể sử dụng ZK-SNARK (bằng chứng không có kiến ​​thức) để xác minh đầy đủ việc thực thi L1 EVM, khi đó mạng Ethereum về cơ bản sẽ có các khả năng ZK-EVM tích hợp sẵn. Bài viết cũng thảo luận về các phiên bản khác nhau của việc triển khai ZK-EVM, bao gồm các thách thức trong thiết kế, sự đánh đổi và lý do tại sao một số hướng nhất định có thể không được thông qua. Cần nhấn mạnh rằng khi triển khai chức năng giao thức, cần cân nhắc lợi ích của nó với lợi ích của việc giữ cho giao thức cơ bản đơn giản. Về các thuộc tính chính của ZK-EVM, Buterin nhấn mạnh chức năng cơ bản của nó, khả năng tương thích với triết lý đa khách hàng của Ethereum, yêu cầu về tính sẵn có của dữ liệu, khả năng kiểm toán và khả năng nâng cấp. Ngoài ra, ông cũng đề cập đến việc hỗ trợ "gần như EVM", cho phép máy ảo L2 vẫn sử dụng ZK-EVM trong giao thức với chỉ những khác biệt nhỏ so với EVM, đồng thời cũng cung cấp một số tùy chỉnh EVM linh hoạt.