Nhiều người khi nói về zkEVM thường dễ dàng coi nó như một nhãn hiệu tiếp thị. Nhưng trong một số giải pháp Layer2, đây là một thách thức kỹ thuật thực sự - làm thế nào để biến mọi thao tác của Máy ảo Ethereum thành một ngôn ngữ chứng minh có thể xác minh bằng toán học.

Nhiều giải pháp ZK trên thị trường để nhanh hơn đã đơn giản hóa thiết kế máy ảo, thay thế EVM hoàn chỉnh bằng phiên bản rút gọn. Kết quả là gì? Các nhà phát triển khi di chuyển mã phải thay đổi logic, hệ sinh thái bị chia cắt thành từng hòn đảo. Tuy nhiên, lộ trình tương thích hoàn toàn của zkEVM là thực hiện "chứng minh từng lệnh" cho mỗi lệnh trong môi trường thực thi, cho phép tất cả các thay đổi trạng thái được xác thực trên chuỗi chính. Bất kỳ mã nào bạn viết bằng Solidity đều có thể được chuyển đổi thành ràng buộc chứng minh mà không mất mát. Đây không phải là sự thỏa hiệp, mà là một sự khẳng định mạnh mẽ.

Về mặt kỹ thuật, giải pháp này chạy theo ba lớp. Lớp dưới cùng là máy khách thực thi, chịu trách nhiệm chạy logic giao dịch của người dùng; lớp giữa là bộ chứng, nén quỹ đạo thực thi thành dữ liệu chứng compact thông qua zkEVM; lớp trên cùng là bộ sắp xếp, đóng gói nhiều chứng và gửi lại mạng chính Ethereum. Tâm điểm của toàn bộ quy trình không nằm ở "nhanh chóng", mà ở "toàn vẹn" - mạch điện zero-knowledge sẽ xác minh trạng thái chuyển đổi của mỗi mã thao tác EVM, khiến Layer 2 không còn phụ thuộc vào "tin tưởng vào một nút nào đó", mà phụ thuộc vào logic toán học thuần túy.

Một điểm đột phá khác là trong việc chứng minh quá trình tạo ra. Chi phí chứng minh của zkEVM truyền thống cao đến mức không thể chấp nhận được, các DApp lớn hoàn toàn không thể vận hành. Bằng cách thiết kế mạch theo từng giai đoạn, có thể tách biệt xử lý các loại phép toán khác nhau - tối ưu hóa kỹ thuật này quyết định trực tiếp việc giải pháp có thể được triển khai trong các tình huống thực tế hay không.