TL,DR;
tiêu đề phụ
Các yếu tố để đánh giá một dự án zkEVM bao gồm: thời gian kiểm chứng, thời gian xác minh, kích thước kiểm chứng, CRS, SRS, cài đặt đáng tin cậy, hỗ trợ đệ quy, giả định mật mã, bảo mật lượng tử, mức độ tương thích.
Scroll có thời gian phát triển ngắn nhất, nhưng đáp ứng tiêu chuẩn tương đương của EVM; Polygon Hermez là nguồn mở nhanh nhất, nhưng sử dụng mã lắp ráp mới khác với EVM truyền thống và có sự không chắc chắn trung lập; zkSync có kế hoạch ra mắt mạng công cộng vào năm 100 ngày và tiến độ phát triển là nhanh nhất Nhanh; StarkNet nhấn mạnh vào khả năng tương thích zkVM với triển vọng hạn chế; Aztec vẫn chưa hoàn thành khả năng tương thích ngôn ngữ Solidity và khả năng tương thích EVM đang bị tụt lại phía sau; Tiến trình tương thích Loopring chưa thấy đâu và chưa được đưa vào chương trình nghị sự.Bài viết này thuộc bài viết thứ hai trong loạt bài Hiểu về zkEVM trong một bài viết.，Bài viết trước đã giới thiệu cơ bản về zkEVMBài viết này sẽ xem xét mạng chung zkEVM chính thống trong ngành
Tầm quan trọng của zkEVM không ngừng được lắng nghe.Các nhà lãnh đạo trong ngành do V God đại diện tin rằng về trung và dài hạn, với sự cải tiến của công nghệ ZK-SNARK (thuật toán ZK), ZKR sẽ giành chiến thắng trong mọi trường hợp sử dụng. zkEVM là một công nghệ tương thích với dự án ZKR của Ethereum, và dự án zkEVM là dự án ZKR. Bài viết này đề cập đến dự án ZKR với zkEVM, gần đây đã được thảo luận rộng rãi trên Twitter.
tiêu đề phụ
Các yếu tố đánh giá của dự án zkEVM
Trước khi bắt đầu kiểm kê các dự án cụ thể, chắc chắn chúng ta sẽ đặt ra một câu hỏi - các yếu tố để đánh giá dự án zkEVM là gì?《FL Research | Incomplete Guide to ZK: Why ZK Matters? 》Phòng thí nghiệm cơ bản của Tập đoàn CTH đang ởCommunity Proposal: A Benchmarking Framework for (Zero-Knowledge) Proof SystemsBáo cáo nghiên cứu ZK này đề xuất mười yếu tố để đánh giá dự án ZK, đó là: thời gian chứng minh, thời gian xác minh, kích thước bằng chứng, CRS, SRS, cài đặt đáng tin cậy, hỗ trợ đệ quy, giả định mật mã, bảo mật lượng tử và mức độ tương thích. Nghiên cứu này cũng đề cập đến các
Khung cơ bản của hệ thống bằng chứng không kiến thức được đề xuất trong bài báo này.Bài viết này chủ yếu đánh giá dự án zkEVM từ hai khía cạnh: giới thiệu dự án và tiến độ tương thích EVM, bao gồm Scroll, Polygon Hermez, zkSync, StarkNet, Aztec và Loopring.
tiêu đề phụ
Scroll: một con ngựa đen trong ngành
Mục tiêu của Scroll là tương thích hoàn toàn với EVM, để các hợp đồng thông minh trên Ethereum có thể được sao chép trực tiếp vào Scroll và tương thích với cơ sở hạ tầng Ethereum mà không cần sửa đổi mã.《Introducing Scroll, a new layer2 solution》Scroll Lianchuang Ye Zhang lần đầu tiên đề xuất trên diễn đàn nghiên cứu Ethereum ETH Research vào ngày 21 tháng 3
Ban đầu giới thiệu nguyên tắc kỹ thuật và lộ trình tương lai của Scroll như một giải pháp Layer2 mới.
Theo các nguồn tin chính thức, Scroll đã làm việc với nhóm Ethereum Foundation PSE (Privacy and Scaling Explorations) trong hơn một năm.
Về tài chính, vào ngày 22 tháng 4 năm nay, Scroll đã hoàn thành khoản tài trợ Series A trị giá 30 triệu đô la Mỹ, do Polychain Capital dẫn đầu và có sự tham gia của Bain Capital Crypto, Robot Ventures và Geometry DAO. Ying Tong và Carlos Aria của Ethereum Foundation, cũng như các thành viên của cộng đồng Ethereum cũng tham gia vào vòng này. Người sáng lập Peng cho biết dự án trước đó đã huy động được khoảng 3 triệu USD từ các nhà đầu tư thiên thần.
Vào ngày 20 tháng 7, do thông báo chính thức về mạng thử nghiệm zkEVM với Polygon Hermez và zkSync, đã có rất nhiều cuộc tranh luận trên Twitter về zkEVM đầu tiên là ai.Ye Zhang trên Twitter。
Think Scroll hơi khác so với Polygon Hermez
Cả Scroll và Polygon Hermez đều đã đạt được tiến bộ lớn trong việc chứng minh việc thực thi mã byte EVM gốc. Nhưng việc thực hiện là rất khác nhau. Nói tóm lại, Scroll gần với triển khai của Ethereum hơn, Polygon Hermez sử dụng một bộ mã lắp ráp mới để thể hiện từng mã lệnh, sau đó chứng minh việc thực thi lắp ráp mới trên máy trạng thái được xác định của riêng họ. Do đó, chúng cũng có thể đạt được khả năng tương thích mức mã byte, nhưng hành vi có thể khác với EVM, sơ đồ của Polygon Hermez đơn giản hơn và có thể hiệu quả hơn, đồng thời có thể xảy ra một số tình huống không xác định.
Nó được lên kế hoạch khởi chạy lại một mạng thử nghiệm vào nửa cuối năm nay, mạng này mở cửa cho tất cả mọi người. đã được xác minh trên chuỗi; Theo các tài liệu chính thức, Scroll đã triển khai EVM tương thích với mã byte và một tập hợp con các mã opcode EVM.
tiêu đề phụ
Polygon Hermez: mã nguồn mở nhanh nhấtNgày 20 tháng 7 Đa giác Hermezthông báo chính thức
Và mã nguồn mở ZK L2 (ZKR) tương đương EVM đầu tiên.
Nhưng không giống như các dự án khác, dự án Polygon Hermez không được Polygon phát triển độc lập mà được Polygon mua lại và sáp nhập thông qua việc mua lại và sáp nhập một dự án ZKR có tên là Hermez. Theo Coindesk, vào ngày 13 tháng 8 năm 2021, nhóm và dự án Hermez đã được Polygon mua lại với giá 250 triệu đô la.Hermez được hợp nhất vào hệ sinh thái Polygon dưới tên Polygon Hermez và hai mạng đã được hợp nhất. Đây cũng là lần đầu tiên một mạng blockchain được hợp nhất hoàn toàn vào một mạng blockchain khác.
Liên quan đến việc triển khai EVM của Polygon Hermez, Ye Zhang đã tweet, Polygon thể hiện từng opcode bằng cách sử dụng một bộ mã lắp ráp mới, bản dịch mã byte có thể đọc được của con người, cho phép mã hoạt động trên EVM khác nhau, có thể đạt được khả năng tương thích ở mức mã byte, nhưng hành vi có thể khác với EVM, giải pháp của Polygon Hermez đơn giản hơn và có thể hiệu quả hơn, đồng thời có thể xảy ra một số tình huống không xác định.Mã này hiện là mã nguồn mở (。liên kết mã nguồn mở)Nó đạt được mức tương đương EVM và sau khi mở mạng thử nghiệm, các nhà phát triển có thể triển khai liền mạch bất kỳ hợp đồng thông minh Ethereum nào cho Polygon Hermez. Kế hoạch là ra mắt một mạng thử nghiệm công khai vào nửa cuối năm nay.
tiêu đề phụ
zkSync: một người kỳ cựu trong ngành
zkSync đã huy động được tổng cộng 58 triệu đô la Mỹ. Placeholder, 1kx và Dragonfly Capital đã tham gia vào 3 vòng gọi vốn, còn Union Square Ventures và a16z tham gia vào 2 vòng gọi vốn.
zkSync là giao thức lớp 2 lấy người dùng làm trung tâm, không cần tin cậy do MatterLabs bắt đầu vào năm 2019. Giao thức này sử dụng ZKP làm công nghệ cốt lõi và tập trung vào bảo mật, trải nghiệm người dùng cũng như trải nghiệm của nhà phát triển. Dự án hướng tới phát triển giao thức gia tăng, nghĩa là giới thiệu từng tính năng một một cách tuần tự, mang lại giá trị hữu hình nhất cho người dùng ở mỗi bước. Họ bắt đầu với những điều cơ bản (bảo mật), ban đầu tập trung vào các nguyên tắc cơ bản về khả năng mở rộng (chuyển mã thông báo), sau đó là khả năng lập trình (hợp đồng thông minh) và cuối cùng là quyền riêng tư.
Các tính năng chính của zkSync bao gồm: phí giao dịch cực thấp, bảo mật bằng mật mã, kiểm soát người dùng và hợp đồng thông minh không cần cấp phép.
Hiện tại, một hệ sinh thái phong phú đã được thiết lập trên zkSync và zkSync cũng là một trong những phương thức quyên góp chính trên Gitcoin.Theo thông báo chính thức, zkSync đã hoàn thành quá trình phát triển biên dịch/phiên dịch ngôn ngữ Ethereum Solidity và ngôn ngữ phát triển zkSync Zinc; đồng thời đạt được khả năng tương thích ở cấp mã byte EVM.
zkSync đã mở mạng thử nghiệm và có kế hoạch phát hành mạng công khai zkSync vào tháng 11 (dự kiến ban đầu sẽ phát hành vào năm 2023), với tiến độ phát triển nhanh nhất trong số tất cả các dự án zkEVM.
tiêu đề phụ
StarkNet: Tập trung vào ZK
StarkNet là một cuộn xác thực phi tập trung không được phép (còn được gọi là ZK-Rollup). Nó hoạt động như một mạng L2 trên Ethereum, cho phép bất kỳ dApp nào đạt được quy mô tính toán vô hạn mà không ảnh hưởng đến khả năng kết hợp và bảo mật của Ethereum, vì StarkNet được xây dựng trên hệ thống bằng chứng mật mã có thể mở rộng và an toàn nhất trên STARK.
Cho đến nay, StarkWare (nhóm đứng sau StarkNet) đã hoàn thành 6 vòng cấp vốn, với tổng trị giá 273 triệu USD. Đặc biệt trong vòng cấp vốn gần đây nhất, số tiền tài trợ đã lên tới 100 triệu đô la Mỹ, trực tiếp tăng gấp bốn lần mức định giá của nó lên 8 tỷ, đây là mức định giá cao nhất trong số tất cả các dự án L2. Vitalik là nhà đầu tư vòng hạt giống của họ Ngoài ra, danh sách các nhà đầu tư còn có Paradigm, Sequoia Capital, Pantera Capital, Founders Fund và các vòng nhà đầu tư khác.
StarkWare chủ yếu bao gồm các nhà mật mã học hàng đầu thế giới, chẳng hạn như Eli Ben-Sasson, người đã cùng nhau phát minh ra hai hệ thống bằng chứng không kiến thức chính thống nhất ZK-SNARK và ZK-STARK; Alessandro Chiesa, cũng là người đồng phát minh ra ZK- SNARKs, Đồng sáng lập Zcash. ZK-SNARK và ZK-STARK được sử dụng trong các hệ thống bằng chứng không có kiến thức được xây dựng bởi một số dự án zkEVM hàng đầu trong ngành, bao gồm zkSync, Scroll và Hermez.
Trong năm ngoái và nửa đầu năm nay, StarkWare đã tạo ra mô hình kinh doanh mở rộng quy mô như một dịch vụ (scale as a service) bằng cách cung cấp giải pháp công nghệ mở rộng StarkEx, thiết lập một mạng dành riêng cho ứng dụng và phục vụ các khách hàng hàng đầu của ngành dYdX, Sorare, ImmutableX, DeversiFi, v.v. Hiện tại, với sự cải tiến liên tục của cơ sở hạ tầng mạng StarkNet, StarkNet đã dần chuyển trọng tâm kinh doanh của mình sang mạng chung.
Về mặt tiến độ, liên quan đến ngôn ngữ phát triển, ngôn ngữ Cairo độc quyền trên mạng StarkNet có một ưu điểm rất nổi bật: ngoài việc hỗ trợ hệ thống chứng minh không có kiến thức, nó còn giảm việc thực thi chương trình xuống một số bộ phương trình đa thức, cụ thể là viết các chương trình có thể chứng minh được. Các tính năng này cho phép các nhà phát triển Cairo trừu tượng hóa logic kinh doanh từ các hợp đồng thông minh thành môi trường thực thi ngoài chuỗi, hỗ trợ viết các ứng dụng tốn kém và có thể thực thi lại, đồng thời duy trì bảo mật và đảm bảo thanh toán của Ethereum mà không bị ảnh hưởng bởi Gas và Layer1 Hạn mức.Về mã thông báo và quản trị, StarkNet đề xuấtĐề xuất quản trị phi tập trungNó cũng được lên kế hoạch phát hành tiền xu trong nửa cuối năm để thúc đẩy hoạt động phi tập trung của các nút cấp 2. Để biết thông tin liên quan, vui lòng tham khảo.。
Cách StarkNet phát hành mã thông báo thay đổi mô hình công nghiệp L2
Vì StarkNet tập trung vào zkVM, nên từ góc độ máy ảo, StarkNet không thuộc về dự án zkEVM, nhưng từ góc độ tương thích với EVM, mức độ tương thích của StarkNet đối với EVM nằm ở trình biên dịch/phiên dịch của ngôn ngữ Solidity và Cairo. phức tạp và mâu thuẫn trong việc tương thích với EVM, dự kiến rằng StarkNet sẽ không đạt được bất kỳ tiến bộ nào về khả năng tương thích với EVM trong tương lai.
Trước khi xuất hiện Scroll và Polygon Hermez, zkSync và StarkNet là hai mạng zkEVM duy nhất có nhiều hy vọng. Điểm khác biệt chính là zkSync cam kết với EVM tương đương, cho phép các ứng dụng, tài sản và người dùng trên Ethereum di chuyển liền mạch sang zkSync. Mục tiêu của StarkNet không phải là đạt được sự tương đương với EVM mà là phát triển tiềm năng của công nghệ ZK và tạo nền tảng mạng phi tập trung cho các ứng dụng đổi mới trong tương lai thông qua việc mở rộng hiệu suất gần như không giới hạn.
zkSync so với StarkWare - Sự khác biệt giữa hai Bản tổng hợp ZK hàng đầu là gì? 》——Tokeninsight
《zkSync vs. Starkware》——Yilun Zhang
tiêu đề phụ
Aztec: Tập trung vào quyền riêng tư
Được thành lập vào năm 2017, Aztec khởi đầu là một nền tảng tài chính thể chế trên blockchain.
Vào ngày 15 tháng 9 năm 2019, A.Capital, Coinbase và Libertus Capital đã tham gia vào vòng đầu tư của mình.
Mô tả hình ảnh
Nguồn hình ảnh:https://medium.com/aztec-protocol/fully-confidential-ethereum-transactions-aztec-networks-privacy-architecture-274f968b13d4
Nguồn hình ảnh:
Về tiến độ, vào ngày 7 tháng 7, Aztec đã ra mắt DeFi Aztec Connect riêng tư trên mạng chính, một bộ công cụ phát triển quyền riêng tư bao gồm hợp đồng bắc cầu và SDK, để hỗ trợ người dùng sử dụng các ứng dụng DeFi riêng tư trên Ethereum.
Mô tả hình ảnhhttps://medium.com/aztec-protocolHình ảnh từ:
(Kiến trúc Aztec)
Theo quan chức này, Aztec dự kiến sẽ ra mắt Aztec 3 và ngôn ngữ lập trình bảo mật Noir vào nửa cuối năm nay, không có kế hoạch cho trình dịch Solidity và không có máy ảo tương thích với Ethereum. đang tụt hậu so với các dự án khác.
tiêu đề phụ
Loopring: hệ sinh thái tự xây dựng
Loopring là ZKR đầu tiên dựa trên Ethereum tập trung vào các ứng dụng DeFi.
Về mặt tài chính, Loopring đã huy động được 45 triệu đô la thông qua ICO vào năm 2017.
Không giống như các mạng công cộng khác, các nhà phát triển bên ngoài không thể xây dựng các giao thức hoặc sản phẩm chung của riêng họ trên Loopring, họ chỉ có thể gọi API của loopring. Và bởi vì Loorping tập trung vào việc tự xây dựng các sản phẩm, nên giao thức Loopring không chỉ là một mạng, nó là một tập thể, bao gồm bốn phần sau:
Giao thức Loopring, là một giao thức Ethereum zkRollup (ZKR) mã nguồn mở - Lớp 2 để trao đổi và thanh toán mở rộng quy mô an toàn.
Loopring repeater, là một zkRollup repeater mã nguồn đóng - thực hiện tất cả các nhiệm vụ ngoài chuỗi để cuộn zkRollup (các nút giống L1 và bộ sắp xếp L2).
Ví Loopring, ví hợp đồng thông minh Ethereum - một ứng dụng ví di động có khả năng phục hồi xã hội, các tính năng bảo mật khác và Loopring L2 tích hợp.
Mô tả hình ảnh
Nguồn dữ liệu: https://l2beat.com/
TVL của Loopring đứng thứ tư trong số tất cả các dự án L2 và đứng thứ hai trong số các ZKR.
Nhưng kể từ ngày viết, trongTrang web chính thứcTrang web chính thức
