TL；DR
tiêu đề phụ
Sự khác biệt giữa zkEVM và zkVM chủ yếu nằm ở khả năng tương thích của EVM và hỗ trợ bằng chứng không kiến thức.
Về nhà phát triển và tài nguyên phát triển, Ethereum có nhiều nhà phát triển nhất, cơ sở hạ tầng và tài nguyên phát triển đầy đủ và phong phú nhất, đồng thời các nhà phát triển và tài nguyên phát triển của Ethereum thuận tiện hơn khi chuyển sang zkEVM. Các nhà phát triển và tài nguyên phát triển của zkVM như StarkNet và zkSync thua xa Ethereum.
Xét về hệ sinh thái ứng dụng, Ethereum có số lượng DApps lớn nhất và 58% thị phần của DeFi. Các ứng dụng hiện có trên Ethereum sẽ là cổ tức phát triển của zkEVM. Do khả năng tương thích kém của EVM, zkVM sẽ khó cấy ghép các ứng dụng hiện có này; nhưng zkVM Tương thích hơn với các bằng chứng không kiến thức khiến zkVM có nhiều khả năng xuất hiện các đổi mới ứng dụng hơn.
Bài viết này thuộc bài viết thứ ba trong loạt bài "hiểu zkEVM trong một bài viết".lần đầu tiênGiới thiệu các nguyên tắc cơ bản và cấp độ phân khu của zkEVM,phần haiSau khi xem xét các dự án zkEVM chính trong ngành, bài viết này sẽ giải thích sự khác biệt cơ bản giữa hai dự án ZKR khác nhau, zkEVM và zkVM.
tiêu đề phụ
Tại sao bạn nên biết sự khác biệt giữa zkEVM và zkVM
tiêu đề phụ
giới thiệu cơ bản
giới thiệu cơ bản
zkEVM tương đối tuân theo các thông số kỹ thuật opcode và bytecode của EVM, đồng thời zkVM thiết kế một máy ảo mới, vì vậy zkEVM còn được gọi là EVM gốc và zkVM còn được gọi là EVM tùy chỉnh (được biên dịch).
tiêu đề phụ
So
Hai sơ đồ zkEVM và zkVM đại diện cho hai hướng phát triển của ZKR.Chúng tôi sẽ so sánh sự khác biệt giữa các giải pháp zkEVM và zkVM ZKR về nhà phát triển và tài nguyên phát triển, hệ sinh thái ứng dụng và triển vọng kỹ thuật.
tiêu đề phụ
Nhà phát triển và Tài nguyên phát triển
Về nhà phát triển, dữ liệu trong "Báo cáo nhà phát triển 2021" do Electric Capital biên soạn cho thấy số nhà phát triển Ethereum hoạt động hàng tháng sẽ đạt 4011 vào năm 2021, xếp hạng đầu tiên trong số tất cả các chuỗi khối và vượt xa các chuỗi khối khác.
Báo cáo "Báo cáo nhà phát triển 2021"
Theo dữ liệu về kho mã phổ biến của Ethereum, StarkNet, zkSync và các dự án zkVM khác trên Github, có thể thấy Ethereum có nhóm nhà phát triển và tài nguyên mã rất lớn, còn StarkNet và zkSync thua xa Ethereum.
Mặc dù tài nguyên phát triển của StarkNet tương đối đầy đủ, nhưng số lượng tương đối ít và nó không trưởng thành như Ethereum.
Tóm lại, Ethereum có nhiều nhà phát triển nhất và nguồn tài nguyên phát triển dồi dào nhất, đây sẽ là lợi tức phát triển của zkEVM trong tương lai.Các zkVM ZKR như StarkNet và zkSync gặp bất lợi rất lớn của những người đến sau.
tiêu đề phụ
sinh thái ứng dụngVề mặt sinh thái ứng dụng, chúng ta sẽ bắt đầu từDi chuyển ứng dụng và đổi mới ứng dụng
Mô tả hình ảnh
Nguồn dữ liệu:https://www.stateofthedapps.com/zh/stats
Mô tả hình ảnh
Nguồn dữ liệu:https://defillama.com/chains
DApp và DeFi của Ethereum có thị trường rất lớn và zkEVM có triển vọng phát triển rất tốt trong việc chuyển ứng dụng.
tiêu đề phụ
đổi mới ứng dụng
Về mặt đổi mới ứng dụng, zkVM thiếu nhiều khả năng tương thích EVM so với zkEVM, khiến zkVM khó thực hiện cổ tức ứng dụng của Ethereum. Tuy nhiên, do dự án zkVM điều chỉnh một máy ảo cho bằng chứng không kiến thức, nên zkVM đã xuất hiện nhiều cải tiến mà zkEVM ZKR không thể đạt được.
Ví dụ: Topology của nhóm StarkNet tuyên bố đã nhận ra trò chơi toàn chuỗi Issac.
Các giao dịch tài sản, lưu trữ trạng thái và thực thi logic của Issac đều nằm trên chuỗi.
Chuỗi đầy đủ cũng có nghĩa là trò chơi tuân thủ các thuộc tính cơ bản của chuỗi khối, đó là phi tập trung, không có giấy phép và có thể kết hợp. Không thực thể nào có thể thay đổi các quy tắc cơ bản của trò chơi. Người chơi và người chơi có thể tham gia trò chơi và tạo trong đó mà không cần sự cho phép. Nhà phát triển có thể tự mình tạo giao diện người dùng của trò chơi cũng như các cơ sở vật chất và tài sản trong trò chơi theo hợp đồng.Nhóm TopologyTập trung vào triết lý thiết kế của Isaac.
tiêu đề phụ
triển vọng công nghệVề triển vọng công nghệ, chúng tôi sẽCác khía cạnh thuật toán, ngôn ngữ, kiến trúc
Để so sánh ưu nhược điểm của zkEVM và zkVM.
Về mặt thuật toán, hầu hết các zkEVM ZKR sử dụng thuật toán SNARKs, trong khi StarkNet, với tư cách là zkVMist cực đoan nhất, sử dụng thuật toán STARKS. Cần lưu ý rằng SNARKs là một thuật ngữ chung cho một loạt thuật toán bao gồm Groth16, Halo, Fractal và Sonic.STARKs là một thuật toán SNARKs cụ thể mới nổi, chúng tôi sẽ so sánh những ưu điểm và nhược điểm giữa hai thuật toán này.
So với SNARK, STARK có tính bảo mật và khả năng mở rộng cao hơn, đồng thời có tiềm năng hoạt động tốt hơn. Tuy nhiên, hiện tại, STARK có quy mô bằng chứng lớn hơn, thời gian xác minh lâu hơn và đang ở giai đoạn ban đầu. Cơ sở hạ tầng và cơ sở mã chưa hoàn chỉnh như SNARK.。
chữ
Một mặt, do khả năng tương thích không hoàn hảo giữa opcode và bytecode, các lỗ hổng không xác định sẽ xuất hiện trong quá trình ghép và chuyển đổi mã Solidity, chẳng hạn như Polygon Hermez trực tiếp chuyển đổi bytecode EVM thành bytecode của máy ảo.
Mô tả hình ảnh
Hình ảnh từ: https://blog.hermez.io/introducing-hermez-zkevm/
Mặt khác, với sự trưởng thành của công nghệ bằng chứng không kiến thức, zkEVM chắc chắn sẽ xuất hiện như một nhu cầu đối với các mạch tùy chỉnh và các ngôn ngữ như Solidity không thân thiện với bằng chứng không kiến thức, điều này sẽ gây ra những trở ngại kỹ thuật lớn.
Và zkVM như StarkNet và zkSync được thiết kế để tương thích với các ngôn ngữ bằng chứng không có kiến thức như Cairo và Zinc. Các nhà phát triển có thể trực tiếp tạo ra các bằng chứng không kiến thức cho các chương trình của riêng họ thông qua các ngôn ngữ này mà không cần phải học kiến thức chứng minh không kiến thức chuyên nghiệp để viết một tập hợp các phương trình đa thức và chuyển đổi chúng thành các mạch.
Tóm lại, zkEVM có thể có các lỗ hổng chưa biết trong quá trình viết ngôn ngữ Solidity do công nghệ tương thích chưa hoàn thiện trong thời gian ngắn và ngôn ngữ lập trình của zkVM phù hợp với bằng chứng không kiến thức hơn zkEVM.Về mặt kiến trúc, theoGiấy vàng Ethereum
Theo thông số kỹ thuật, EVM là một máy trạng thái nối tiếp, dựa trên ngăn xếp. Nói một cách đơn giản, EVM vốn không tương thích với bằng chứng không kiến thức. zkVM là một máy ảo được điều chỉnh cho các bằng chứng không có kiến thức và phù hợp hơn với các bằng chứng không có kiến thức trong kiến trúc cơ bản.Hardware Acceleration for Zero Knowledge Proofs》
Ngôn ngữ Cairo do StarkNet cực đoan zkVM phát minh là ngôn ngữ cấp cao thân thiện với CPU được điều chỉnh cho bằng chứng không kiến thức, giúp StarkNet dễ thích ứng hơn với bằng chứng không kiến thức ở cấp độ CPU và thậm chí có thể tùy chỉnh phần cứng bằng chứng không kiến thức cho mục đích này . Paradium, một tổ chức đầu tư, cũng nhận thấy các cơ hội phần cứng trong bằng chứng không kiến thức và đã viết một bài báo cho mục đích này, "Cairo – a Turing-complete STARK-friendly CPU architecture》。
Nhìn chung, zkVM phù hợp hơn với các bằng chứng không có kiến thức so với zkEVM về thuật toán, ngôn ngữ và kiến trúc, đồng thời có khả năng mở rộng và bảo mật cao hơn.
tiêu đề phụ
triển vọng tới tương lai
Người sáng lập Scroll Ye Zhang đã đề xuất trên Twitter rằng StarkWare xác minh chương trình kiểm chứng được viết bằng ngôn ngữ Cairo trên StarkNet thông qua zkEVM, nói một cách đơn giản, đó là xây dựng một L2 khác trên một L2. Một đề xuất như vậy là khả thi về mặt kỹ thuật và chắc chắn mô tả một thế giới L2 toàn diện, giàu trí tưởng tượng hơn.
IOS
Android