Tác giả gốc:Luozhu

Biên soạn gốc: Leo, BlockBeats

Tác giả gốc:

Biên soạn gốc: Leo, BlockBeats

Tôi vẫn chưa đi sâu vào giải pháp zkevm của Hermez (và một số phần mã của Hermez vẫn chưa phải là nguồn mở hoàn toàn), thật thú vị, so sánh Scroll và Polygon Hermez's zkevm là một góc nhìn tốt để giúp bạn hiểu rõ hơn về zkVM và zkEVM .

Về cơ bản, giải pháp zkEVM của Scroll đạt được tính tương đương EVM bằng cách "reimplementing" toàn bộ EVM, mọi hoạt động của EVM được định nghĩa trong zkevm-circuits (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, thay vì triển khai lại một EVM, họ triển khai một zkVM cụ thể và ánh xạ các hoạt động của EVM thành zkVM của riêng họ. Do đó, việc chứng minh hoạt động của EVM tương đương với việc chứng minh hoạt động tương ứng trong zkVM của Hermez và zkVM có mức độ tự do rất lớn, họ có thể tránh được phần không thân thiện với zk trong EVM.

Có nhiều cách khác nhau để xác định Hermez là zkEVM hay zkVM:

- Phải triển khai lại EVM đầy đủ, không hài lòng - Hermez là zkVMNhấp để tìm hiểu

Do đó, zkEVM của Scroll và PSE rất phức tạp (và thực hiện một cách thần kỳ 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

Ban đầu, khó đạt được cân bằng Scroll/PSE zkEVM, nhưng các bản cập nhật EVM sau xử lý rất dễ dàng, zkEVM của Hermez ban đầu dễ thực hiện, nhưng các bản cập nhật tiếp theo rất khó (có thể yêu cầu thiết kế lại zkVM) và giải pháp PSE phù hợp hơn cho Lớp 1 , 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 kho lưu trữ), nên các nâng cấp tiếp theo lên 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 xuống còn 12 giây (ngay khi một vị trí được đề xuất), tại thời điểm này, 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ẽ được giảm bớt.

Nếu zkEVM có thể được sử dụng trực tiếp cho Lớp 1, thì mạng chính sẽ có chứng minh riêng. Nếu nó chứng minh rằng thời gian tạo có thể được tối ưu hóa thành 12 giây, tôi nghĩ rằng một mạng chứng minh có thể giúp tăng tốc (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

-Alpha mạng thử nghiệm

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

- Khởi chạy mạng chính

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

Tổng số là một khu vực thử nghiệm sáng tạo ở lớp 1, không chỉ liên quan đến các ứng dụng mới mà còn liên quan đến các 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 triển khai khác nhau dẫn đầu, điều này tốt cho cả quá trình triển khai và Lớp 1 về lâu dài, để triển khai, 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 hoặc tồn tại lỗi, v.v.

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

Dù sao thì trong tương lai chúng ta vẫn sẽ thấy những cuộc thảo luận rất sôi nổi về zkEVM, 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à sự nâng cấp của EVM trên lớp 1 -> zkEVM. Chúng ta cũng sẽ thấy các cải tiến tổng hợp đã học được ở lớp 1, giúp bản thân Ethereum trở nên tốt hơn (không chỉ giảm giao dịch Gas).

liên kết gốc