Theo tin tức từ BitouchNews, Ethereum Vitalik Buterin đã xuất bản một bài viết thảo luận chuyên sâu về khái niệm và khả năng của "ZK-EVM" (Zero-Knowledge Ethereum Hình thức triển khai Máy ảo).

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 đồng thời có nghĩa là họ 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. Hơn nữa, ngay cả ZK-EVM mong muốn vẫn tương đương hoàn toàn với L1 EVM cũng sẽ yêu cầu một số dạng cơ chế quản trị để nhân rộng 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 khả năng xác minh của nó Hiệu suất thời gian 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, vào thời điểm đó, 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 triển khai ZK-EVM khác nhau, bao gồm những 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 nhận con nuôi. 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.