Gần đây, nhiều dự án ZKR (zk-rollup) đã công bố mạnh mẽ về tiến độ và kế hoạch tuyến đường mới nhất:
Vào ngày 19 tháng 7, dự án ZKR dựa trên zkEVM Scroll đã công bố phát hành testnet.
Vào ngày 20 tháng 7, Polygon đã công bố ra mắt Polygon (Hermez) - dự án zkEVM ZKR tương đương EVM đầu tiên.
Cùng ngày, zkSync đã thông báo rằng zkSync sẽ là ZKR dựa trên zkEVM đầu tiên hoạt động trên mạng chính sau 100 ngày.
Là một trong những từ khóa, zkEVM đã gây ra những cuộc thảo luận sôi nổi giữa những người dùng trên Twitter. Một số người cho rằng những diễn biến này đánh dấu sự xuất hiện của L2 Summer.
Tại sao zkEVM lại thu hút nhiều sự chú ý như vậy? zkEVM là chìa khóa của dự án ZKR. Nó có thể cải thiện hiệu suất trong khi tương thích với (hoặc thậm chí tương đương với) EVM ở mức cao, để các ứng dụng trên Ethereum L1 có thể được chuyển trực tiếp sang L2 mà không cần sửa đổi. Do đó, zkEVM còn được nhiều người coi là end game của L2 Rollup và là sát thủ của những kẻ giết Ethereum.
Để giải thích rõ ràng về zkEVM, Odaily chia loạt bài này thành ba bài viết từ nông đến sâu:
1. Giới thiệu cơ bản và cấp độ chia nhỏ của zkEVM
2. Kiểm kê các dự án zkEVM và zkVM
3. Phân tích so sánh dự án zkEVM và zkVM
Thông tin cơ bản
Thông tin cơ bản
Mô tả hình ảnh
Nguồn hình ảnh: https://www.cth.group/insights/page/zk/
zkEVM là sự kết hợp của hai từ. ZK là tên viết tắt của Zero Knowledge và EVM là tên viết tắt của Ethereum Virtual Machine.
Mô tả hình ảnh
Nguồn hình ảnh: Bản trình bày Miden ETH Amsterdam
Một mặt, ZKR triển khai zkEVM có thể tận dụng hiệu suất cao của công nghệ ZK, mặt khác, nó có thể kế thừa các tài nguyên dành cho nhà phát triển của Ethereum như cơ sở mã đã được thử nghiệm và kiểm toán trong thực tế, một loạt các các công cụ, tài liệu và một số lượng lớn các nhà phát triển. Các ứng dụng, tài sản và người dùng Ethereum có thể được chuyển sang ZKR L2 với TPS cao hơn và gas thấp hơn mà không bị mất mát, đơn giản và nhanh chóng. Do đó, ZKR được nhiều chuyên gia bao gồm cả V God coi là giải pháp L2 hứa hẹn nhất.
Những hiểu lầm phổ biến
zkEVM đôi khi bị nhầm lẫn với tương thích với EVM. Trong cuộc thảo luận của các chuyên gia, zkEVM thường đề cập đến dự án ZKR thực hiện khả năng tương thích EVM ở cấp độ bytecode hoặc opcode và khả năng tương thích EVM không chỉ bao gồm khả năng tương thích ở cấp độ ngôn ngữ Solidity mà còn khả năng tương thích ở cấp độ bytecode, opcode và sự đồng thuận .
Ví dụ: StarkNet đạt được khả năng tương thích EVM ở cấp độ ngôn ngữ, nhưng đó là zkVM chứ không phải zkEVM; và các dự án ZKR như Polygon Hermez, Scroll và zkSync không chỉ tương thích với ngôn ngữ Solidity mà còn tương thích với hầu hết các công cụ phát triển, tiêu chuẩn giao thức , mã byte, là các ZKR triển khai zkEVM.
Tóm lại, một dự án tương thích với EVM không nhất thiết phải là zkEVM, vì có nhiều cấp độ EVM tương thích; một dự án triển khai zkEVM phải tương thích với EVM, vì zkEVM thực là một EVM tương đương (tương thích cấp cao). Chúng tôi sẽ giải thích sự khác biệt chi tiết giữa khả năng tương thích zkEVM và EVM bên dưới.
khác biệt tương thích
Suning Yao đã đề cập đến định nghĩa về khả năng tương thích EVM trong Foresight Ventures: Diễn giải hiện trạng và tương lai của zk, zkVM và zkEVM.
Khả năng tương thích EVM: Thích ứng ở cấp độ ngôn ngữ như Solidity.
Tương đương EVM: Thích ứng ở cấp mã byte EVM.
Thích ứng với đặc điểm kỹ thuật EVM: Cái gọi là zkEVM thực sự, trong hầu hết các trường hợp, thậm chí là một tập hợp siêu tương thích ngược được tối ưu hóa, có thể cung cấp tính trừu tượng của tài khoản (nghĩa là mỗi tài khoản là một hợp đồng thông minh) và những thứ khác mà EVM không cung cấp đặc điểm.
Phòng thí nghiệm cơ bản cũng đã đề cập trong Nghiên cứu FL | Hướng dẫn chưa đầy đủ về ZK: Tại sao ZK lại quan trọng? rằng có ba cấp độ tương thích EVM (từ thấp đến cao):
Trình độ ngôn ngữ: Không có zkEVM thực sự ở trạng thái này. Bộ chuyển đổi chuyển đổi Solidity thành một máy ảo thân thiện với ZK, hoàn toàn khác với EVM. StarkNet (zkVM) áp dụng phương pháp này và trình dịch Warp đã được phát triển để dịch Solidity sang ngôn ngữ mẹ đẻ của StarkNet.
Mức mã byte: Hệ thống bằng chứng ZK đóng một vai trò quan trọng trong zkEVM này. Ở giai đoạn này, trạng thái gốc do zkEVM tạo ra không tương thích với Ethereum EVM, nhưng các ứng dụng trên Ethereum có thể được chuyển sang zkEVM nguyên vẹn. Bao gồm Polygon Hermez, Scroll đã áp dụng phương pháp này. Định hướng ban đầu của zkSync là zkVM, nhưng hiện tại nó đã được đổi thành zkEVM, theo thông báo mới nhất thì nó hỗ trợ hầu hết các opcode của Ethereum, nhưng hiện tại nó đang ở trạng thái đóng mã nguồn và không thể đánh giá chi tiết.
Mức độ đồng thuận: zkEVM tương đương với EVM trên Ethereum, tạo ra bằng chứng cho trạng thái gốc trên Ethereum. Vitalik tuyên bố rằng trong lộ trình Ethereum, Ethereum sẽ tích hợp zkEVM cấp độ đồng thuận trong tương lai.
Mô tả hình ảnh
người giới thiệu
người giới thiệu
1.《ETHEREUM VIRTUAL MACHINE (EVM)》
2.《Zero Knowledge EVMs: What is a zkEVM?》
3.《Foresight Ventures: Diễn giải tình trạng hiện tại và tương lai của zk, zkVM, zkEVM》
4.《Phân tích chuyên sâu về Cipholio｜Nói về giải pháp và tương lai của ZKVM》
