Phân tích các nguyên tắc của bằng chứng không có kiến thức và zkEVM dựa trên các tình huống thực tế

Tiêu đề gốc: " Bằng chứng không có kiến thức và zkEVM: chúng đến từ đâu và sẽ đi đâu? 》

Nguồn gốc: ChainCatcher

  1. Bằng chứng không có kiến thức 

Trước hết, chúng ta cần nói rõ rằng bằng chứng không có kiến thức (ZKP) thực sự rất khó.

Nếu chỉ tóm tắt ZKP trong vài câu thì chắc chắn sẽ có sai lệch giữa hiểu biết và thực tế. Nhưng chúng tôi tin rằng trước sức hấp dẫn to lớn của TL;DR, sẽ không có ai quan tâm quá nhiều. Chúng ta hãy sử dụng cuộc sống thực làm nền tảng để mô tả sự tiến triển của ba kịch bản để hiểu một cách sinh động các nguyên tắc của ZKP.

Kịch bản A:

Hãy tưởng tượng một mùa hè Kỳ nghỉ kết thúc và khai giảng, cô giáo kiểm tra các cảnh trong phim “Cuộc sống mùa hè” và cả lớp giao một chồng vở dày. Giáo viên không thể sửa từng câu hỏi một nên bắt đầu lật nhanh cuốn bài tập trước mặt để kiểm tra xem học sinh đã viết từng câu hỏi hay chưa bằng cách kiểm tra xem có chỗ trống nào trong vở bài tập hay không.

Trong tình huống này, giáo viên không biết liệu học sinh có trả lời đúng từng câu hỏi hay không, nhưng ông có thể xác định xem học sinh đã hoàn thành bài tập về nhà hay chưa.

Cảnh B:

Anh ấy phát hiện ra rằng có một số học sinh điền vào chỗ trống những nội dung vô nghĩa như Helu Snow Popsicles, KFC Crazy Friday, v.v. Sau đó, anh ấy mới nhận ra rằng mình quá ngây thơ - các học sinh đã gian lận và trượt dốc. Vì vậy, anh ấy đánh lại tất cả bài tập về nhà và thông báo rằng anh ấy sẽ kiểm tra ngẫu nhiên một số câu hỏi, hy vọng rằng học sinh sẽ nghiêm túc thực hiện.

Trong trường hợp này, giáo viên xác minh một phần rất nhỏ câu hỏi thông qua kiểm tra ngẫu nhiên để xác định xem học sinh có hoàn thành bài tập đúng hay không.

Tình huống C:

Lại là giáo viên Sau khi thu và kiểm tra bài tập, hầu hết học sinh đều hoàn thành tốt bài tập vì ngại kiểm tra điểm, giáo viên cũng khá hài lòng. Tuy nhiên, luôn có một số người tiếp tục gian lận và viết bừa bãi về một số ít chủ đề. Giáo viên chỉ có thể kiểm tra ngẫu nhiên một số câu hỏi, nếu có người không xui xẻo khi kiểm tra câu hỏi thì suýt nữa bị bỏ qua.

Vì vậy, cuối cùng giáo viên cần có một kế hoạch không chỉ đảm bảo học sinh hoàn thành đúng từng câu hỏi mà còn giảm khối lượng công việc của chính các em nhiều nhất có thể.

Đây là khó khăn thực sự mà các bằng chứng không có kiến thức trong blockchain hiện tại phải vượt qua: làm thế nào để xác minh càng ít câu hỏi càng tốt trong khi vẫn đảm bảo rằng Câu trả lời tổng thể là đúng. Trong tình huống trên, không có mối liên hệ logic nào giữa các câu trả lời cho mỗi câu hỏi, nghĩa là tính đúng đắn của câu hỏi này không liên quan gì đến tính đúng đắn của câu hỏi khác. Vậy có cách nào thông minh để giáo viên kiểm tra từng câu hỏi và xác định xem nó có đúng hay không, đồng thời biết được học sinh đã trả lời đúng tất cả các câu trả lời trong toàn bộ bài tập hay chưa?   

Chà, đây mới là phần siêu thực: giáo viên muốn "xâu chuỗi" tất cả các câu trả lời đúng lại với nhau và giới thiệu một công cụ toán học mới để làm điều đó: đa thức. Bằng cách xây dựng các phương trình chứa đa thức để xác minh, tính đúng đắn của từng phần riêng lẻ và toàn bộ câu trả lời của học sinh có thể được xác nhận gần như đồng thời. Bằng cách này, giáo viên cuối cùng có thể tự tin thông báo rằng học sinh đã hoàn thành bài tập hè một cách chính xác và đầy đủ.

Vậy sự kỳ diệu của đa thức là gì?

Dưới đây là một ví dụ đơn giản: bài tập về nhà chỉ có 3 câu hỏi, dãy số và đáp án là (1,4), (2,6) , (3 ,3), "xâu chuỗi" một đa thức để được y=-52x2+192x-3

Lúc này giáo viên chỉ cần hoàn thành hai các bước sửa bài tập về nhà, 1 ) Kiểm tra đa thức để xác minh xem toàn bộ câu hỏi có đúng hay không; 2) Chọn ngẫu nhiên một điểm để xác minh xem học sinh có thực sự viết câu hỏi này hay không. Tất nhiên, đây là một ví dụ rất đơn giản. Trong kỹ thuật thực tế, chúng ta xây dựng các phương trình chứa đa thức. Một phần là phát biểu được biểu thị bằng ngôn ngữ toán học cần được xác minh, phần còn lại là phương trình có thể kiểm chứng và kiểm chứng được xâu chuỗi cùng với các đa thức. Thông tin đầy đủ (những độc giả thông minh có thể đã nghĩ tới khái niệm DA sẵn có của dữ liệu).

Đa thức có nhiều tính chất tuyệt vời và chúng tôi chủ yếu sử dụng hai trong số chúng trong chứng minh không có kiến thức:

Thông tin ban đầu được xâu chuỗi lại với nhau và bằng cách xác minh các điểm trong một tập hợp các phương trình đa thức, chúng ta có thể xác minh toàn bộ phương trình cùng một lúc.

Nếu một phương trình đa thức đúng tại một số điểm được chọn ngẫu nhiên thì có khả năng cao là phương trình này cũng đúng trên toàn bộ tập hợp.

Tóm tắt một câu: Bản chất của bằng chứng không có kiến thức là bằng chứng xác suất, tức là kiểm tra tại chỗ (tương đương với bằng chứng hợp lệ) , đồng thời, nó vượt qua cấu trúc Đa thức và một số công cụ mật mã được giới thiệu để bù đắp cho những khiếm khuyết về tính toàn vẹn của các kiểm tra ngẫu nhiên đơn giản.

Điều thú vị là, trong bối cảnh tổng hợp, "không có kiến thức" của bằng chứng không có kiến thức được phản ánh nhiều hơn trong bằng chứng hợp lệ Đối với nén thông tin, thay vì bảo vệ quyền riêng tư của từng thông tin riêng lẻ một cách trực quan.

 2. Vậy công dụng của zkp là gì?

Tôi tin rằng bạn chắc hẳn đã nghe nói về ZK-Rollup. Chúng tôi đã dành rất nhiều chỗ trong bài viết trước để giải thích cách giáo viên tìm cách lười biếng khi hoàn thành bài kiểm tra bài tập về nhà và điều mà ZK-Rollup làm là lười biếng.

Tóm lại, nếu hiện tại có hàng nghìn tuyên bố (thường là giao dịch), thì chỉ cần mười lần xác minh để chứng minh tính đúng đắn của chúng với sự trợ giúp của ZK. Khi khối lượng công việc chứng minh tăng lên, mức tăng tương ứng về số lượng xác minh cần thiết ít hơn nhiều so với mối quan hệ tuyến tính, tức là khi tăng lên 10.000 câu lệnh, số lượng xác minh không tăng lên 100. Có lẽ chúng ta chỉ cần 11. Điều này có thể được chứng minh một lần.

Vì vậy đây là một giải pháp mở rộng tốt. Tương tự như các giải pháp mở rộng khác (chẳng hạn như Optimistic Rollup), quy trình ứng dụng ZK-Rollup hiện tại như sau:

Người dùng khóa tài sản trên một L1 nhất định Trong hệ thống thông minh hợp đồng ZK-Rollup

Người dùng bắt đầu thực hiện giao dịch. Các nội dung giao dịch này được sắp xếp và đóng gói bởi trình sắp xếp thứ tự của L2 để tạo ra bằng chứng hợp lệ (bằng chứng ZK được sử dụng tại đây) Và trạng thái được cập nhật theo từng gói (đợt)

Bản cập nhật trạng thái và bằng chứng sẽ được bàn giao cho hợp đồng thông minh ZK-Rollup trên L1 để xác minh . Sử dụng trạng thái được sử dụng để cập nhật L1

Người dùng sử dụng trạng thái được cập nhật của L1 để tiến hành bước tiếp theo.

3. ZK-Rollups vs Optimistic Rollups

Là một trong hai tuyến kỹ thuật của Rollups , Bản tổng hợp được xây dựng trên ZK mang lại mức độ bảo mật cao hơn. Bởi vì ZK-Rollups chỉ dựa vào toán học và chính Ethereum để cung cấp sự đảm bảo an ninh, nên Optimistic Rollups dựa vào các ưu đãi và hình phạt kinh tế trong khuôn khổ lý thuyết trò chơi về vấn đề này.

Đối với người dùng, điều này có nghĩa là ZK-Rollups có xác nhận cuối cùng L1 nhanh hơn, trong khi Optimistic Rollups cần chờ thời gian thử thách một tuần. Tất nhiên, hiện nay có nhiều giao thức chuỗi chéo khác nhau có thể sử dụng Defi để giúp trải nghiệm người dùng Optimistic Rollups thuận tiện hơn và nhanh hơn, chẳng hạn như Celer, Stargate, Across, Synapose, v.v. Nhưng điều này thường được thực hiện bằng cách hy sinh một lượng bảo mật tổng thể nhất định để đổi lấy việc cải thiện trải nghiệm của người dùng một điểm cục bộ. Đồng thời, phí rút tiền mà người dùng phải trả trong các giao thức này thường cao hơn nhiều lần so với các kênh rút tiền chính thức.

Mặc dù ZK Rollups có những lợi thế về mặt lý thuyết này so với OP Rollups, nhưng tình hình hiện tại là hệ sinh thái được phát triển dựa trên ZK-Rollups vẫn còn thua xa OP Rollups. không đủ thịnh vượng nên người dùng khó có được trải nghiệm tương tác tương tự như OP trong hệ sinh thái ZK, đồng thời ZK Rollups cũng khó thể hiện được một số lợi thế mà chỉ có thể thể hiện sau khi mở rộng quy mô trong thời gian ngắn (đồng thời cao, độ trễ thấp, bảo mật tương tác L1, v.v.).

4. Vậy zkp có vấn đề gì?

Vì ZKP về mặt lý thuyết không có sẵn sớm hơn năm 2015 nên Ethereum không liên quan gì đến ZKP khi bắt đầu thiết kế. Khi đọc Phần 1, bạn có thể có cảm giác mơ hồ: đây là một điều rất toán học. Cảm giác của bạn là đúng. Vấn đề trực tiếp nhất mà nó mang lại là cơ sở hạ tầng cốt lõi của EVM không tương thích với ZK-Rollup. Các lý do bao gồm nhưng không giới hạn ở cách bố trí lưu trữ Ethereum và cơ chế mã hóa chữ ký của Ethereum. Các tính toán của Ethereum EVM dựa trên thế giới toán học của người bình thường, trong khi các tính toán và bằng chứng của ZKP dựa trên Prime Fields. (Lưu ý: Cái này song song về mặt logic với hai cái trước)

Và những sự không tương thích khác nhau như vậy một mặt mang lại cho blockchain dựa trên ZKP Dự án mang lại một bổ sung gánh nặng (chi phí chung) của các phép tính khổng lồ trên chuỗi;thứ hai, do ZKP cần được triển khai trong kỹ thuật, nên độ phức tạp triển khai của các khái niệm toán học như mạch số học và cổng logic đã trở thành một vấn đề phải được xem xét khi lập trình. để thực hiện sự cân bằng nhất định giữa chi phí phát triển và học tập cũng như độ chính xác của việc triển khai.

Ở cấp độ ứng dụng, nhóm công nghệ dựa trên ZKP hiện tại (Tech Stack) hoặc hợp đồng thông minh được triển khai trên L1 trỏ tới một L2 ZK- Rollups nhất định (tại đây Tôi gọi chúng là ZK-Rollups chung) hoặc ZK-Rollup đặc biệt được thiết kế dựa trên Dapp. Ví dụ: dYdX V3 sử dụng ZK-Rollup (về cơ bản là ZK-Rollup đặc biệt dựa trên Starkware).

Dù ở dạng nào, sự khác biệt lớn về toán học cơ bản dẫn đến khả năng kết hợp kém giữa các Dự án ZK này và các dự án khác. Ví dụ: một giao thức Defi được triển khai trong hệ sinh thái ZK-rollup hy vọng tìm được một nhà tiên tri đáng tin cậy. Nhu cầu về kịch bản này là có thật, tuy nhiên, vì giao thức này được phát triển dựa trên ZK-Rollup nên rất khó tương tác với những giao thức khác. Ví dụ: Etherscan không thể đơn giản phân nhánh trên blockchain dựa trên ZKP và phục vụ trực tiếp chuỗi này.

5. Tại sao nó phải tương thích với Ethereum (hoặc EVM)?

Vì hệ sinh thái Ethereum rất lớn nên nếu chuỗi của bạn trông giống nó hơn thì tốt nhất chỉ cần có ID chuỗi khác. Khi đó hệ sinh thái của bạn sẽ bị ảnh hưởng bởi một số ứng dụng dựa trên Ứng dụng được phát triển trên Ethereum có nhiều khả năng được hỗ trợ hơn. Ví dụ: Polygon đã cam kết hỗ trợ Ethereum, cung cấp nhiều giải pháp mở rộng hiệu quả và rẻ tiền, đồng thời đóng góp to lớn cho sự phát triển của người dùng và hệ sinh thái Ethereum.

Xét về mặt người dùng (nhà phát triển), sự quen thuộc, rẻ tiền và chuyển đổi dễ dàng là tiêu chuẩn vàng. Đối với đại đa số các nhà phát triển, chi phí học một ngôn ngữ cấp cao mới (chẳng hạn như Rust/Move) thấp hơn nhiều so với chi phí học một khóa toán học nghiêm túc (chưa kể đến sự phức tạp của việc giới thiệu các ứng dụng kỹ thuật thực tế ZKP). Do đó, khó khăn trong việc phát triển lại dự án giao thức trên chuỗi công khai mới, chẳng hạn như Solana/Aptos, thấp hơn nhiều so với dự án trên một blockchain tương đối xa lạ (dựa trên ZK) dựa trên ngôn ngữ logic toán học nghiêm túc, phức tạp và phức tạp.  

Tất nhiên, điều này không có nghĩa là việc tự mình phát triển một bộ tiêu chuẩn mới là không khả thi. Với đội ngũ phát triển mạnh và kinh tế vừa phải ưu đãi, Solana cũng đã đạt được thành công lớn. Với sự hỗ trợ của EVM, hệ sinh thái Cosmos cũng đã thu hút thành công một số lượng lớn các nhà phát triển vững chắc triển khai các giao thức của riêng họ.

Do đó, nếu ZKP có thể tương thích dễ dàng với EVM, các nhà phát triển sẽ dễ dàng chuyển các Dapp hiện có và hợp đồng thông minh sang L2 dựa trên ZK hoặc phát triển một loại ứng dụng mới Dapp theo khuôn khổ mới này. Hơn nữa, nếu các vấn đề về khả năng kết hợp được đề cập trong Phần 4 cũng có thể được cải thiện để các dự án dựa trên ZK có thể tương tác tốt hơn với các ứng dụng khác, thì chúng ta sẽ có được một hệ sinh thái L2 dựa trên ZK thịnh vượng hơn. Tại thời điểm này, những người chơi ZK L2 có động lực cơ bản giống như những người chơi L1 như Solana và Aptos.

6. Vậy có cách nào để ZKP tương thích với EVM không?

Có. Nhiều đội đang làm điều này bây giờ.

6.1 Đợi đã, EVM là gì?

EVM là một máy ảo chạy các hợp đồng thông minh trên Ethereum.

6.2 Đợi chút, máy ảo là gì?

Là máy tính ảo được mô phỏng bằng phần mềm gần giống như máy tính thật.

6.3 Vậy tại sao Ethereum lại cần máy ảo?

Bởi vì Ethereum giới thiệu các hợp đồng thông minh và việc thực hiện hợp đồng cần có máy tính. Trong một mạng lưới phi tập trung, tiền đề cho sự đồng thuận là việc tính toán và xử lý cùng một hợp đồng bởi các nút khác nhau cần tạo ra cùng một kết quả, nghĩa là khi các máy tính khác nhau tính toán 1+1 (trường số thực), tất cả chúng sẽ nhận được kết quả giống nhau. kết quả 2. Tuy nhiên, các máy tính vật lý của mỗi nút có thể có môi trường cơ bản khác nhau. Để tránh nhiễu do sự khác biệt trong các môi trường cơ bản này, hợp đồng thông minh cần phải được chạy trên máy ảo để đảm bảo rằng cùng một vấn đề sẽ tạo ra kết quả giống nhau , đó là Sự chắc chắn.

Có rất nhiều bài viết hoặc tweet đã tóm tắt sự khác biệt về mặt kỹ thuật giữa các tuyến đường khác nhau này. Tôi sẽ không đi sâu vào chi tiết ở đây. Tôi nghĩ có thể bạn cũng không quan tâm. Vì vậy ở đây tôi sẽ nói về lẽ thường, kinh doanh và những thứ hướng đến người dùng hơn.

Câu hỏi đầu tiên là chúng ta kỳ vọng gì đối với hệ sinh thái.

Tình hình hiện tại là các nhóm như ZkSync StarkWARE đã thực hiện rất nhiều bản tổng hợp zk dành riêng cho Ứng dụng và hoạt động kinh doanh của toB đã phát triển rất trưởng thành Ví dụ: Immutable trong Starkware đã lưu trữ các trò chơi Web3 lớn, rất được mong đợi như Illuvium. Tuy nhiên, vì những lý do đã đề cập ở các đoạn trước (chủ yếu là thiếu khả năng tổng hợp), các dự án này vẫn đang chờ hình thành một hệ sinh thái chung và chung để cùng nhau phát triển.

Scroll/ Polygon Hermez/ zkSync Era nỗ lực xây dựng hệ sinh thái L2 dựa trên ZK nhằm giảm bớt khó khăn trong việc phát triển và chuyển đổi các giao thức hiện có xuống mức gần như dễ dàng. Trong quá trình đạt được mức tương đương EVM đầy đủ (loại 2 của Vitalik), chúng tôi hiện đang ở giai đoạn "gần như" tương đương EVM (loại 3 của Vitalik) trong thực tế. Ví dụ: Kỷ nguyên zkSync cho phép 99% dự án Ethereum được triển khai mà không cần tái cấu trúc hoặc kiểm tra lại một dòng mã nào.

Đối với người dùng, nếu trải nghiệm tương tác không nhiều thì có một sự khác biệt lớn và việc chọn sử dụng chuỗi nào phụ thuộc phần lớn vào việc chuỗi nào đã được sử dụng. Polygon có những lợi thế nhất định về mặt này, đặc biệt là khi hệ sinh thái hiện tại của nó chứa một số lượng lớn trò chơi gốc, giao thức xã hội và người dùng, cũng như khả năng hiển thị thương hiệu Web2 độc đáo của nó.

Tuy nhiên, chúng tôi tin rằng Scroll và zkSync Era sẽ không có những hạn chế rõ ràng trong việc thu hút triển khai giao thức hiện có trong ngắn hạn và trung hạn, chủ yếu dựa trên các điểm sau. Quan sát dài hạn hệ sinh thái nhà phát triển:

Khó khăn trong việc triển khai và phát triển Dapps trong hệ sinh thái Ethereum trên L2 dựa trên Zk đang dần giảm xuống điểm uốn kích hoạt quá trình di chuyển quy mô lớn

Các giao thức chuỗi chéo L2toL2, L1toL2 đang dần trở nên đơn giản, thuận tiện và rẻ tiền, và các cầu nối chuỗi chéo định hướng riêng L2 đang dần trở nên đơn giản, thuận tiện và rẻ tiền. cũng được kỳ vọng sẽ tăng lên, mặc dù thách thức của việc tập trung hóa có thể vẫn còn tồn tại trong thời gian dài,

Từ một lĩnh vực mà chúng ta quen thuộc, do kỳ vọng vào các động lực kinh tế và các hoạt động đang hoạt động (tham khảo trải nghiệm thành công của Optimism về nhiều vòng khuyến khích airdrop), logic hoạt động của cộng đồng nhà phát triển Arbitrum, v.v.), người dùng có thể thử lần lượt nhiều giao thức trên nhiều chuỗi

Câu hỏi thứ hai là làm thế nào để chuyển từ tập trung sang phân quyền.

Điều đầu tiên cần lưu ý là hầu hết ZK-Rollups hiện tại đều có cấu trúc rất tập trung. Một trong những lý do lớn là sự phụ thuộc vào đường dẫn: vì hiện tại không có khả năng kết hợp nên không cần kết hợp với những người khác nên việc tập trung hóa không thành vấn đề trong thời điểm hiện tại. Nhưng nếu muốn phát triển thành một hệ sinh thái thì vấn đề tập trung hóa này phải được giải quyết.

Các nhà cung cấp giải pháp ZKEVM chính thống hiện nay đã cùng nhau nhận ra sự cần thiết của việc giải quyết vấn đề này. Về vấn đề này, Scroll/ Polygon Hermez/ Zksync Era tin rằng quá trình thúc đẩy phân cấp mạng trình chứng minh và mạng trình sắp xếp chuỗi phải diễn ra dần dần và tiến bộ, và cuối cùng hiện thực hóa việc thuê ngoài sức mạnh tính toán thông qua kinh tế mã thông báo. mặc dù giữa các công ty vẫn có sự khác biệt về các bước thực hiện cụ thể.

Vậy là chúng ta quay trở lại lãnh thổ quen thuộc: ai có tiền thì đóng góp, ai có khả năng đóng góp thì mọi người đều chờ đợi. nền tảng để trả cổ tức. Ở đây chúng tôi có một mối lo nhỏ là tạo ra bằng chứng Chi phí sức mạnh tính toán thực sự rất cao nên ngưỡng của Prover trong L2 dựa trên zk sẽ cao hơn nhiều so với bộ phận tương ứng trong chuỗi PoS ; Vấn đề về các khối không chính xác trong trình sắp xếp chuỗi thực sự là một vấn đề phổ biến trong tất cả các mạng blockchain và không chỉ xảy ra với L2 dựa trên zk. Vì vậy, tôi nghĩ rằng trong hệ sinh thái ZK, việc phân cấp mạng lưới người chứng minh có thể gặp phải những thách thức lớn hơn.

7. Tham vọng phát triển sinh thái L2 dựa trên ZK

StarkNet:

Là giải pháp mở rộng Ethereum ZK với mức định giá vốn cổ phần tư nhân cao nhất và là người sáng lập lý thuyết mật mã zk-STARK, trường công nghệ do Starknet đại diện luôn là một tiêu chuẩn thông thường trong ngành . Người sáng lập Eli Ben-Sassen thậm chí còn là người phát minh ra zk-SNARK và ZK-STARK, được sử dụng rộng rãi trong blockchain.

Tuy nhiên, chúng tôi cũng nhận thấy rằng trong nhiều cấu hình sản phẩm đóng vai trò quan trọng để tích hợp với hệ sinh thái Ethereum EVM, hệ sinh thái Starknet vẫn còn thiếu do đường dẫn kỹ thuật. các giải pháp hướng tới công chúng, thân thiện với nhà phát triển hơn. Chúng tôi tin rằng trong tương lai, đội ngũ Starknet có thể tiếp tục thực hiện chiến lược đi bằng hai chân trong kinh doanh:

Một mặt, thông qua Starknet trưởng thành, chúng tôi sẽ tiếp tục sử dụng các dịch vụ phát triển tùy chỉnh cho các dự án có nhu cầu ZKP quy mô lớn, chẳng hạn như các sản phẩm quy mô lớn AAA của các nhà sản xuất trò chơi Web2 hoặc chủ sở hữu IP tiến hành các thử nghiệm quy mô lớn trên metaverse trên chuỗi

Mặt khác, bằng cách hỗ trợ ví hợp đồng thông minh (Argent X, Braavos), khả năng cộng tác tổng thể của Cario.

Không giống như OP-Rollups yêu cầu thiết lập ví hợp đồng thông minh thông qua EIP-4337 cùng với mạng chính Ethereum, Starknet đã hỗ trợ các giao dịch dựa trên tài khoản trên L2 từ đầu. Ví hợp đồng thông minh trừu tượng. Ví hợp đồng thông minh được triển khai trên Starknet có thể sử dụng khả năng bảo mật mã hóa của chip tích hợp trong điện thoại di động để triển khai các ký hiệu phần cứng và xác thực đa yếu tố, đồng thời hoàn tất quá trình khôi phục xã hội, thanh toán bằng ví di động và các tình huống khác thông qua đổi mới ở cấp hợp đồng blockchain.

Khi đó, chúng ta dường như có thể tưởng tượng ra một công ty phần cứng di động quy mô lớn, có một lượng lớn người dùng Web2, sử dụng Metaverse hoặc quy mô lớn trò chơi trực tuyến là lối vào Starknet và Web3 trong dịp trọng đại.

zkSync Kỷ nguyên:

Phiên bản zkEVM 2.0 mới ra mắt gần đây của zkSync cũng là phiên bản được mong đợi nhất Một trong những giải pháp zk L2, nó tập trung vào trần hiệu suất cực cao, có tính đến bảo mật và trải nghiệm người dùng, với tiềm năng TPS tối đa lên tới hơn 20.000. Kỷ nguyên zkSync mới nhất tận dụng trình biên dịch Solidity dựa trên LLVM, bộ chứng minh GPU từng đoạt giải thưởng của zkSync và hệ thống chứng minh Redshift sắp ra mắt của Matter Labs để giảm phí mỗi giao dịch xuống dưới 1 xu.

zkSync Era cũng cam kết giảm thiểu vấn đề lưu trữ dữ liệu blockchain. Nó cũng cung cấp các chức năng zkPorter cải tiến trên EIP-4844, cho phép người dùng và nhà phát triển lựa chọn các định dạng sẵn có của dữ liệu dựa trên các yêu cầu cấp độ bảo mật khác nhau và trọng tâm phát triển cân bằng giữa tính hợp lệ hiệu suất cao (zkPorter) với khả năng tương tác liền mạch và tính hợp lệ bảo mật cao (zk-Rollup).

Ngoài ra, zkSync Era đã giới thiệu giải pháp mở rộng fractal của Hyperchains làm hướng phát triển chính cho "L3". Siêu chuỗi là các phiên bản fractal giống zkEVM tận dụng LLVM, kiến trúc ngăn xếp trình biên dịch hoàn thiện nhất thế giới, để cho phép chạy song song và đồng xử lý trên L1. Siêu chuỗi mà bất kỳ ai cũng có thể triển khai mà không cần được phép, có ngăn xếp chuỗi zkEVM mô-đun có khả năng tùy chỉnh cao được hỗ trợ bởi cùng một công cụ zkEVM như zkSync L2 chính. Có nhiều lộ trình giải pháp khác nhau mà nhà phát triển có thể chọn, chọn máy ảo thích hợp (chẳng hạn như MoveVM), thiết kế trình sắp xếp chuỗi và tính khả dụng của dữ liệu (chẳng hạn như zkRollup, zkPorter và zkValidium đã đề cập ở trên).

zkSync Era đã ra mắt một ngăn xếp mô-đun và có khả năng tùy chỉnh cao như vậy, điều này khiến chúng ta nhớ đến OP gần đây đã lọt vào mắt công chúng thông qua chuỗi Base của Coinbase.stack.

Chúng tôi tin rằng con đường phát triển bên B của zkSync có thể đề cập đến trải nghiệm của Lạc quan, nghĩa là sử dụng người dùng quy mô lớn hiện có, nền tảng hỗ trợ tổ chức mạnh mẽ, và phát triển Cộng đồng nhà đầu tư thiết lập một chu kỳ đạo đức cho các kỳ vọng airdrop và cơ chế quản trị nhằm thúc đẩy phát triển sinh thái (Token House, RetroPGF, v.v.). Điều này sẽ không chỉ thúc đẩy các ứng dụng đổi mới ngoài cơ sở hạ tầng mà còn khuyến khích các phiên bản mới nhất của các giao thức hiện có (chẳng hạn như blue chip DeFi truyền thống trên L1) đến Era để triển khai.

Từ phía C, Kỷ nguyên zkSync có thể bắt đầu từ mạng xã hội Web3 nơi Ethereum L2 hiện tại chưa mạnh lắm và cố gắng xây dựng hệ thống mạnh nhất trong Hệ thống Ethereum. Mạng xã hội, biểu đồ xã hội và các ứng dụng khác để thu hút người dùng Web3 nhẹ hơn. Chúng tôi nhận thấy một cải tiến khác trong Hyperchains rất phù hợp với các giao thức xã hội. Nó cũng có thể được sử dụng để triển khai các môi trường thực thi có tính đồng thời cao, thời gian tồn tại ngắn. Ví dụ: các nhà phát triển có thể khởi chạy một bản tổng hợp để tạo ra hàng triệu tài sản NFT đồng nhất trong mạng xã hội với giá rẻ, sau đó kết nối các NFT này với một lớp thực thi khác và cuối cùng đóng bản tổng hợp tạm thời để cung cấp nền tảng cần thiết cho tính linh hoạt của năng lực Cơ sở giao thức xã hội.

Polygon zkEVM:

Chiến lược lớn về sinh thái của Polygon luôn rất rõ ràng và nhóm đã đã thực hiện nó Rất quyết tâm. Chúng tôi nhận thấy sự cạnh tranh khác biệt đã hình thành giữa Polygon và các Bản tổng hợp Ethereum khác. Về mặt sinh thái xã hội, Polygon đã trở thành một trong hai gã khổng lồ xã hội Web3 cùng với BNB với hệ sinh thái Giao thức ống kính và Galxe. Planet IX, Hunters On-Chain, Benji Bananas và các trò chơi cá cược vàng khác cũng có hàng trăm nghìn địa chỉ ví hoạt động hàng tháng. Gần đây, Polygon zkEVM cũng đã công bố mối quan hệ đối tác chiến lược với Immutable tại hội nghị GDC 2023 để phục vụ tốt hơn cho các studio và nhà phát triển, đồng thời giúp tạo ra các trò chơi trên chuỗi chất lượng cao dễ dàng hơn. Theo báo cáo của Cumbeland, Polygon đang trên đà đạt được doanh thu hàng năm 300 triệu USD từ các đối tác không phải tiền điện tử trong thời gian ngắn và trung hạn, gấp hơn 10 lần doanh thu hóa đơn gas hiện tại là hàng chục nghìn đô la mỗi ngày.

Điều đặc biệt nhất là Polygon đã trở thành đại sứ hình ảnh của Web3 trong các ngành truyền thống bằng cách hợp tác với một số lượng lớn các thương hiệu ngoài ngành blockchain. Thông qua hợp tác chặt chẽ với Forum3, đơn vị tổ chức sự kiện Starbucks Odyssey, Polygon dự kiến sẽ chào đón 27 triệu người dùng blockchain gần như mới ở Bắc Mỹ trong năm qua. Sự gia tăng này là một cú sốc lớn đối với cổ phiếu của ngành. Polygon gần đây cũng đã tham gia chương trình tăng tốc của Disney, được tích hợp vào hệ thống thanh toán toàn cầu của Stripe, hỗ trợ hệ thống NFT biểu tượng cảm xúc của Reddit và đạt được hợp tác kinh doanh với các thương hiệu nổi tiếng thế giới như Adobe, Nike, Adidas, Mercedes-Benz, Mastercard và Coca-Cola. .

Chúng tôi tin rằng Polygon zkEVM (Hermez) có thể kế thừa khả năng cạnh tranh mạnh mẽ của toàn bộ hệ sinh thái Polygon trong các lĩnh vực truyền thống, đạt được sự tích hợp hoàn chỉnh hơn thông qua zkEVM L2 và hệ sinh thái Ethereum, đồng thời tạo ra thương hiệu Web2 Bạn cũng có thể tận hưởng phí bảo hiểm tài sản do Ethereum L1 mang lại. Chúng tôi lạc quan rằng hai lĩnh vực chính là chơi game và mạng xã hội sẽ tiếp tục phát triển nhanh chóng trong hệ sinh thái Polygon.

Scroll:

Là giải pháp Ethereum zk L2 trẻ nhất, Scroll có thể là một nhóm phát triển gần nhất với Ethereum Foundation, tập hợp một trong những nhóm chứng minh không có kiến thức mới nhất và mạnh mẽ nhất. Scroll đang nỗ lực làm việc để bắt kịp tiến độ phát triển của các bản tổng hợp dựa trên zk khác dựa trên khả năng công nghệ triển khai và tốc độ lặp của nó.

Scroll đi đầu trong thiết kế phi tập trung của mạng chứng minh và trình sắp xếp chuỗi. Đặc biệt, nó đã đề xuất sử dụng GPU/ASIC để tăng sức mạnh tính toán và sau đó phân cấp giải pháp của mạng xác minh. Về lý thuyết, EVM của Scroll có mức trần tương thích mã cao hơn zkSync Era và Starkware, điều đó có nghĩa là các nhà phát triển không còn cần phải tin tưởng vào các máy ảo và trình biên dịch mới (chẳng hạn như LLVM của zkSync) và cũng có thể tránh được các rủi ro thực thi do sử dụng một phần trung gian mã để đạt được khả năng tương thích EVM trong quá trình giao dịch (tính năng giải pháp hiện tại của Polygon zkEVM).

Nhóm của Scroll đã gắn bó sâu sắc với các hoạt động cốt lõi của Ethereum ngay từ ngày đầu tiên để xây dựng bộ cơ sở hạ tầng và nhận thức về thương hiệu của riêng mình, chẳng hạn như oracles, ví, v.v. . Mặc dù về mặt lý thuyết, tất cả sự phát triển của giao thức Ethereum L1 và thậm chí L2 có thể được triển khai nhanh chóng cho Scroll, nhưng chúng tôi tin rằng cơ hội lớn nhất của Scroll nằm ở việc chiếm được viên ngọc quý của DeFi: sàn giao dịch sổ lệnh giới hạn trung tâm phi tập trung (CLOB). Tiềm năng hiệu suất mạnh mẽ của Scroll, cùng với nhu cầu cấp thiết về một môi trường giao dịch an toàn và hiệu quả do lượng thanh khoản lớn trên mạng chính Ethereum, có thể dẫn đến sự bùng nổ của loại giao thức dex này. Chúng tôi cũng nhận thấy rằng các dự án Web3 như Lens Protocol cũng đang bắt đầu thử nghiệm triển khai trên Scroll - chúng tôi mong muốn có thêm nhiều tin tốt như thế này.

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