So sánh Scroll và Hermez, hiểu zkVM và zkEVM

Tác giả gốc: Luozhu

Bản tổng hợp gốc: Leo, BlockBeats

Tôi chưa đi sâu vào giải pháp zkevm của Hermez, nhưng thật thú vị khi so sánh zkevm của Scroll và Polygon Hermez là Một góc nhìn hay điều đó có thể giúp mọi người hiểu rõ hơn về zkVM và zkEVM.

Về cơ bản, giải pháp zkEVM của Scroll triển khai EVM, v.v. bằng cách "triển khai lại" toàn bộ EVM. , tất cả các hoạt động của EVM được xác định trong các mạch zkevm (mạch zk), đòi hỏi nhiều bước (ràng buộc) để chứng minh.

Giải pháp zkEVM của Hermez thì khác. Họ không triển khai lại EVM; một zkVM cụ thể và ánh xạ EVM hoạt động cho zkVM của riêng họ. Vì vậy, việc chứng minh các phép toán của EVM tương đương với việc chứng minh các phép toán tương ứng trong zkVM của Hermez và zkVM có bậc tự do rất lớn và chúng có thể tránh được những phần không thân thiện với zk của EVM.

Sử dụng các phương pháp khác nhau để xác định xem Hermez là zkEVM hay zkVM:

-Chỉ cần bạn chứng minh được mọi thao tác từ EVM là đúng thì bạn hài lòng - Hermez là zkEVM;

- Phải triển khai lại toàn bộ EVM, không hài lòng - Hermez là zkVM

Do đó, Scroll và PSE zkEVM rất phức tạp (thực hiện một cách kỳ diệu phần không thân thiện với zk). ZkEVM của chúng tôi có 34469 dòng mã, nhưng zkEVM của Hermez có ít hơn 3000 dòng mã. Nhấp để tìm hiểu

Cân ban đầu Cuộn/PSE ZkEVM của Hermez khó triển khai, nhưng các bản cập nhật EVM xử lý hậu kỳ thì dễ. ZkEVM của Hermez ban đầu dễ triển khai, nhưng các bản cập nhật tiếp theo rất khó (zkVM có thể cần được thiết kế lại). Hơn nữa, giải pháp PSE phù hợp hơn với Lớp 1, và các nâng cấp tiếp theo cũng dễ dàng, và vì Scroll hoạt động trực tiếp với PSE (và thậm chí đóng góp vào cùng một repo), nên các nâng cấp tiếp theo cho zkEVM của Scroll cũng dễ dàng.

Một tương lai đáng mong đợi là: chúng tôi sẽ tối ưu hóa thời gian tạo bằng chứng lên 12 giây ( chính xác trong Khi đề xuất một khe cắm), zkEVM có thể được sử dụng trực tiếp trong môi trường sản xuất của Lớp 1 và giới hạn chạy một nút cũng sẽ giảm xuống.

Nếu zkEVM có thể được sử dụng trực tiếp cho Lớp 1 thì mạng chính sẽ có bộ chứng minh riêng . Nếu thời gian tạo Bằng chứng có thể được tối ưu hóa thành 12 giây và tôi nghĩ rằng mạng lưới người chứng minh sẽ giúp tăng tốc quá trình (tăng tốc phần cứng, sự tham gia của cộng đồng, v.v.) sẽ được xem xét.

Scroll sẽ có mạng Prover riêng trong tương lai và lộ trình của nó như sau:

-Nâng cấp mạng thử nghiệm tiền alpha

-Mạng thử nghiệm alpha

-Mạng con lăn phi tập trung

-Ra mắt mạng chính

Vì vậy, nếu mạng con lăn của Scroll chạy tốt (có thể có cơ chế đồng thuận mới), nó sẽ có tác động trực tiếp đến Lớp 1 và mạng chính Ethereum có thể sẽ học hỏi từ Scroll Dựa trên kinh nghiệm của mình, tôi đã thử sử dụng phương pháp mạng con lăn để tăng tốc zkEVM của mình (đạt 12 giây).

Rollup là một lĩnh vực thử nghiệm sáng tạo của lớp 1 không chỉ liên quan đến các ứng dụng mới; Liên quan đến những cơ sở hạ tầng cơ bản này. Hiện tại có nhiều triển khai zkEVM do các nhóm tổng hợp khác nhau dẫn đầu. Về lâu dài, điều này sẽ tốt cho cả triển khai tổng hợp và Lớp 1. Đối với triển khai tổng hợp, chúng tôi có thể sử dụng các triển khai zkEVM khác để kiểm tra xem zkEVM của chúng tôi có bỏ sót các ràng buộc hay tồn tại lỗi hay không, v.v.

Một zkEVM tạo ra bằng chứng và các zkEVM khác xác minh quy trình của nó.

Nếu Multi-zkEVM có thể hình thành một cơ chế hợp tác và không có lý do gì để Lớp 1 không trực tiếp học phương pháp này. Tất nhiên, không có nhiều nhóm lớp 2 sẽ triển khai zkEVM lớp đồng thuận (nhưng phương pháp thiết kế của họ vẫn có thể học được).

Trong mọi trường hợp, chúng ta vẫn sẽ thấy các cuộc thảo luận rất tích cực về zkEVM trong tương lai và ở đó sẽ có nhiều thiết kế hơn, nhiều đổi mới hơn, nhiều lỗi hơn và cuối cùng là EVM trên lớp 1 - > nâng cấp zkEVM. Chúng ta cũng sẽ thấy những đổi mới tổng hợp được học ở lớp 1 giúp làm cho Ethereum trở nên tốt hơn (không chỉ giúp giảm lượng gas giao dịch).

Cuối cùng, Hermez có một đội ngũ tuyệt vời đã có những đóng góp xuất sắc trong lĩnh vực zkEVM và zkp. Tôi nghĩ các đội L2 khác nhau nên nhiều hơn Giao tiếp/cộng tác nhiều hơn vì tất cả chúng ta đều ở trên cùng một trang, chúng ta đều là đồng minh của Ethereum và chúng ta ở đây để mở rộng quy mô Ethereum và chuẩn bị sẵn sàng cho chuỗi khối cho giai đoạn tiếp theo và cho một tỷ người dùng tiếp theo.

Liên kết gốc

Chào mừng bạn tham gia cộng đồng chính thức của BlockBeats:

Nhóm Telegram đăng ký: https://t.me/theblockbeats

Nhóm Telegram thảo luận: https://t.me/BlockBeats_App

Tài khoản Twitter chính thức: https://twitter.com/BlockBeatsAsia