Cách zkRouter triển khai chuỗi chéo an toàn

Tác giả gốc: hiweiwei.eth

Sự phát triển mạnh mẽ của hệ sinh thái đa chuỗi đã khiến các giao thức chuỗi chéo trở nên không thể thiếu. Tuy nhiên, do số lượng lớn tài sản được thế chấp bởi cầu nối chuỗi chéo và thực tế là logic của giao thức chuỗi chéo phức tạp hơn logic của Swap chung, nên khả năng giao thức chuỗi chéo bị tấn công bởi hacker ngày càng cao hơn. Đến cuối năm 2022, thiệt hại do vấn đề an ninh cầu xuyên chuỗi gây ra đã lên tới hơn 2 tỷ USD, trong số đó, các cầu xuyên chuỗi đã thiệt hại hàng trăm triệu USD gồm có Ronin Network, Horizon, BNB Chain, Wormhole , Du mục, v.v.

Cầu chuỗi chéo chủ yếu giải quyết vấn đề về khả năng tương tác giữa các chuỗi. Một số lượng lớn các sự cố bảo mật cầu nối chuỗi chéo trong quá khứ đã cho thấy giải pháp tương tác xuyên chuỗi hiện tại vẫn còn dư địa rất lớn để tối ưu hóa. Gần đây, Multichain đã ra mắt zkRouter, một giải pháp chuỗi chéo không đáng tin cậy dựa trên bằng chứng không có kiến thức.

Multichain là dự án hàng đầu trong lĩnh vực chuỗi chéo. Vào cuối năm 2021, nó đã nhận được khoản đầu tư 60 triệu USD do Binance dẫn đầu và hiện đứng đầu trong thị phần chuỗi chéo. Cuộc bỏ phiếu quản trị chuỗi chéo của Uniswap đã được khơi dậy trước đó, nhưng Curve, ông vua DEX của stablecoin, từ lâu đã sử dụng AnyCall của Multichain để hoàn thành việc phân phối khuyến khích LP đa chuỗi. Bảng 1 đưa ra so sánh dữ liệu liên quan của các dự án chuỗi chéo lớn hiện tại.

Bảng 1 Đường chéo chính hiện tại -sections So sánh dữ liệu liên quan đến các dự án chuỗi chéo

(Nguồn dữ liệu: https://gov.uniswap.org/t /cross-chain-bridge -assessment-process/20148)

Bài viết này sẽ tập trung vào phân tích sản phẩm không đáng tin cậy mới nhất zkRouter do Multichain tung ra dựa trên ZKP, đồng thời đóng góp cho các dự án chuỗi chéo ZK xuất sắc khác trên thị trường.

1. ZKP đã trở thành giải pháp tốt nhất để giải quyết vấn đề chuỗi chéo không cần sự tin cậy

Khối Các đặc điểm vùng chủ quyền của chuỗi khiến các hợp đồng trên chuỗi khó có được thông tin chính xác ngoài chuỗi và họ phải dựa vào các bên thứ ba để chuyển tiếp tài sản và thông điệp trên các chuỗi để duy trì tính bảo mật của tài sản và độ tin cậy của chuyển thông tin giữa các hợp đồng trên các chuỗi khác nhau. Điều này tương tự như vai trò của một nhà tiên tri. Điều này có nghĩa là các giao dịch giữa các chuỗi chéo cần phải dựa trên sự tin cậy vào các chuỗi chéo hoặc oracle chuyển tiếp của bên thứ ba, đồng thời các chuỗi chéo và oracle chuyển tiếp đôi khi khó có thể tin tưởng hoàn toàn. Do đó, làm thế nào để có được thông tin ngoài chuỗi thông qua các phương tiện không đáng tin cậy đã trở thành một chủ đề nghiên cứu quan trọng.

Cho dù việc chuyển tiếp chuỗi chéo được triển khai thông qua mạng chuyển tiếp, oracle hay chuỗi, thì việc phân quyền một phần hoặc thậm chí hoàn toàn có thể đạt được nhưng không thể đạt được sự tin cậy. Hiện tại, tính bảo mật của các ứng dụng được xây dựng thông qua các cầu chuỗi chéo chính thống trên thị trường được giao cho bên thứ 3. Người dùng cần tin tưởng vào mạng chuyển tiếp chuỗi chéo để chấp nhận trạng thái chuỗi nguồn mà nó mang lại, nhưng không thể xác minh tính bảo mật của họ, điều này gây cản trở cho The sự xuất hiện của một hệ sinh thái chuỗi chéo thực sự. Theo một nghĩa nào đó, tính năng quan trọng nhất của cầu nối chuỗi chéo là đạt được sự tin cậy hoàn toàn. Nếu các dịch vụ chuỗi chéo có thể được xây dựng theo cách không cần tin cậy và khách hàng hạng nhẹ trên chuỗi có thể xác minh một cách độc lập và trực tiếp tiếp nhận thông tin chuỗi nguồn, thì điều này sẽ thúc đẩy đáng kể sự phát triển hơn nữa của hệ sinh thái đa chuỗi và việc sử dụng trên quy mô lớn. các ứng dụng đa chuỗi gốc xuất hiện.

Sự xuất hiện của công nghệ ZKP và cầu nối chuỗi chéo được xây dựng bởi công nghệ ZKP sẽ trở thành giải pháp tốt nhất để đạt được chuỗi chéo không cần sự tin cậy.

2. Sự tin cậy của chuỗi chéo dựa trên ZKP

Một chuỗi chéo tuyệt vời Giao thức trước hết phải an toàn, thứ hai, có hệ sinh thái phong phú và cuối cùng, có chi phí chuỗi chéo thấp và tốc độ nhanh. Do đó, một giao thức chuỗi chéo xuất sắc phải có các đặc điểm về mức độ không tin cậy cao, mức độ phân cấp cao, khả năng mở rộng tốt, tốc độ chuỗi chéo nhanh và chi phí thấp. Hầu hết mọi người đều đồng ý với quan điểm này, nhưng tôi nghĩ có thể có một số vấn đề với quan điểm này. Nếu một giao thức chuỗi chéo đạt được sự tin cậy hoàn toàn, chúng ta có cần xem xét liệu nó có phi tập trung hay không?

Nhiều dự án chuỗi chéo hiện sử dụng chuỗi chuyên dụng để thực hiện các hoạt động chuỗi chéo. Cách tiếp cận này làm cho giao thức chuỗi chéo phi tập trung hơn, nhưng nó không đạt được sự phân quyền. Niềm tin. Phân cấp vẫn có nghĩa là những người khởi xướng chuỗi chéo đặt bảo mật chuỗi chéo của họ trên một mạng phi tập trung. Nhưng những gì các giao thức chuỗi chéo cần đạt được là tính không tin cậy chứ không phải phân cấp, bởi vì một khi đạt được tính không tin cậy trong hoạt động chuỗi chéo, vấn đề phân cấp sẽ không còn tồn tại. Hãy tưởng tượng, khi ZKP do rơle tạo ra có thể được chính người dùng dễ dàng xác minh, liệu chúng ta có cần thảo luận về sự cần thiết của việc phân cấp không?

Trong quá trình vận hành chuỗi chéo, việc tin tưởng vào sự đồng thuận của chuỗi nguồn và sự đồng thuận của chuỗi mục tiêu là điều kiện tiên quyết cho sự tồn tại của chuỗi chéo hoạt động. Ngoài ra, việc tin tưởng vào bất kỳ tổ chức nào sẽ làm giảm tính bảo mật cho tài sản của bạn. Tốt nhất là đạt được sự không tin cậy trong các hoạt động xuyên chuỗi và sự không tin cậy cuối cùng là một giả định không đáng tin cậy. Để đạt được chuỗi chéo không cần tin cậy, cách tốt nhất là sử dụng ZKP để xây dựng cơ chế tin cậy cơ bản của giao thức tương tác chuỗi chéo và đạt được chuỗi chéo không cần tin cậy.

Các cầu nối chuỗi chéo được xây dựng dựa trên ZKP thường bao gồm ba vai trò logic:

1. Trình tạo Proof, chức năng của nó là quan sát trạng thái của chuỗi gốc và sử dụng dữ liệu chuỗi gốc để tạo ZKP.

2. Relayer, cung cấp ZKP đến chuỗi mục tiêu.

3. Máy khách nhẹ trên chuỗi: Máy khách nhẹ trên chuỗi cũng là người xác minh và có thể hoàn thành việc xác minh ZKP một cách độc lập.

Người chứng minh và người chuyển tiếp có thể là cùng một người hoặc những người khác nhau, bởi vì chính khách hàng hạng nhẹ trong chuỗi sẽ quyết định xem có áp dụng ZKP hay không. Do đó, thiết lập này không gây ra bất kỳ vấn đề bảo mật nào. Ngoài ra, trong ZKP, miễn là có nút chuyển tiếp trung thực thì hoạt động bình thường của giao thức có thể được đảm bảo.

Tất cả các giao thức tương tác ZK hiện tại về cơ bản đều xoay quanh Ethereum. Một số thực hiện khả năng tương tác giữa Ethereum và các chuỗi không đồng nhất khác và một số cần phải được hoàn thiện. Đó là khả năng tương tác của Ehtereum và các chuỗi đẳng cấu của nó. Tuy nhiên, bất kể khả năng tương tác giữa Ethereum và Ethereum được triển khai ở chuỗi nào, thì cần phải tạo chứng chỉ đồng thuận của Ethereum và triển khai xác minh chứng chỉ đồng thuận của ứng dụng khách Ethereum trên các chuỗi khác.

3. zkRouter và các giao thức tương tác ZK khác

Giao thức chuỗi chéo dựa trên ZKP Trustless có thể đạt được một cách hoàn hảo. Giao thức tiêu biểu nhất hiện nay có lẽ là zkRouter do Multichain đưa ra.

1. Cách zkRouter triển khai chuỗi chéo dựa trên ZKP

Liệu đó có phải là chuỗi chéo hay không tài sản chuỗi, thông điệp chuỗi chéo hoặc khả năng tương tác chuỗi chéo về cơ bản đều thực hiện điều tương tự, nghĩa là người dùng bắt đầu một hành động trên chuỗi nguồn thông qua hợp đồng thông minh và xác minh hành động trên chuỗi mục tiêu. Miễn là hành động này có thể được xác minh một cách đáng tin cậy, nó có thể hỗ trợ một đa chuỗi gốc thực sự và đạt được khả năng tương tác đa chuỗi thực sự.

Sách trắng zkRouter mô tả việc gửi thông điệp Ethereum đến Fantom, bao gồm các bước sau:

Đầu tiên, một giao dịch xảy ra trong chuỗi nguồn (giao dịch có thể được xác minh thông qua hàm băm tiêu đề khối và đường dẫn cây Merkel);

Người chuyển tiếp sẽ Giao dịch được thực hiện được gửi tới khách hàng hạng nhẹ trên chuỗi mục tiêu;

Khách hàng hạng nhẹ trên chuỗi xác minh giao dịch.

Người đọc sẽ có hai câu hỏi khi nhìn thấy điều này:

Light client và on-chain What là một khách hàng nhẹ?

ZKP được phản ánh ở đâu trong các bước trên và vai trò của ZKP là gì?

(1) Máy khách hạng nhẹ và máy khách hạng nhẹ trên chuỗi

Kể từ khi ra mắt giao thức LayerZero, khái niệm máy khách hạng nhẹ dường như đã bị lạm dụng. Có sự khác biệt giữa các nút siêu nhẹ trong giao thức LayerZero và các máy khách hạng nhẹ trong giao thức LayerZero. nghĩa thông thường. Các nút siêu nhẹ LayerZero chỉ xác minh xem dữ liệu được truyền qua rơle có khớp với dữ liệu được truyền bởi nhà tiên tri hay không và không xác minh trực tiếp các giao dịch trên chuỗi. Theo nghĩa thông thường, light client trực tiếp xác minh các giao dịch trên chuỗi, về bản chất, LayerZero vẫn cần tin tưởng rằng những người chuyển tiếp và oracles sẽ không phối hợp cùng nhau để gây ra tội ác và chưa đạt được sự tin cậy.

Chúng tôi bắt đầu với cách xác minh giao dịch trên chuỗi và thảo luận xem client nhẹ thực sự và client nhẹ trên chuỗi là gì.

Khách hàng nhẹ là gì? Nhiều giao dịch sẽ xảy ra trong Ethereum cùng một lúc và nhiều giao dịch đã xảy ra trong lịch sử. Nếu không có light client, người dùng phải đồng bộ hóa tất cả dữ liệu giao dịch của tất cả các khối để xác minh giao dịch, điều này rõ ràng là không thể.

Trong mạng Bitcoin, mỗi khối có một tiêu đề khối. Tiêu đề khối chứa một con trỏ tới khối trước đó và chuỗi khối hiện tại. Gốc Merkle của hàm băm của tất cả các giao dịch bên trong. Con trỏ tới khối trước có thể đảm bảo rằng dữ liệu giao dịch trong khối trước đó không bị giả mạo và cây Merkle trong mỗi khối chứa tất cả các giao dịch trong khối hiện tại và giá trị băm gốc có thể xác minh tất cả các giao dịch hiện tại. Như thể hiện trong Hình 1. Điều này đảm bảo rằng tất cả thông tin giao dịch có trong các khối hiện tại và lịch sử sẽ không bị giả mạo. Ethereum kế thừa phương thức xác minh này. Tiêu đề khối của mạng Ethereum cũng chứa gốc Merkle và một con trỏ tới khối trước đó, khối này có thể được sử dụng để xác minh bất kỳ loại dữ liệu nào được lưu trữ.

Hình 1 Sơ đồ cấu trúc cây Merkel của mạng Bitcoin

Như được hiển thị trong Hình 1, các giao dịch L1, L2, L3 và L4 được băm tương ứng .Thực hiện, ta được Hsh0-0=hash(L1), Hash0-1=hash(L2), Hash1-0=hash(L3), Hash1-1=hash(L4).

Để có được hàm băm gốc (Top Hash), light client chỉ cần tính toán:

Hash0=hash（Hsh0-0,Hash0-1)

Hash1=hash（Hash1-0,Hash1-1）

Top Hash=hash(Hash0,hash1)

Thao tác băm chỉ có thể là một chiều, nghĩa là , chỉ Y=Hash(X) có thể được tính từ X, nhưng X không thể được tính từ Y. Do đó, máy khách nhẹ chỉ cần đồng bộ hóa giá trị băm gốc trong khối và yêu cầu dữ liệu băm đường dẫn nút đầy đủ để xác minh tính xác thực của giao dịch.

Nếu light client muốn xác minh giao dịch L1. Nếu ứng dụng khách nhẹ có giá trị băm gốc, nó có thể xác minh giao dịch L1 bằng cách áp dụng các giá trị Hash1 và Hash0-1 từ nút đầy đủ. Phương thức cụ thể là:

1. Tính Hash0-0;

2. Dựa trên Hash0-1 được đồng bộ hóa bởi toàn bộ nút và Hash0-0 được tính toán trước đó step , có thể tính được Hash0=hash(Hash0-0, Hash0-1).

3. Dựa trên Hash1 được đồng bộ hóa bởi toàn bộ nút và Hash0 được tính ở bước trước, hãy tính hàm băm gốc RootH = hash (Hash0, Hash1), và so sánh xem giá trị băm gốc được tính toán RootH có bằng Top Hash được đồng bộ hóa bởi máy khách nhẹ hay không. Nếu cả hai đều giống nhau, điều đó chứng tỏ giao dịch L1 thực sự nằm trên chuỗi và không bị thay đổi. Đây là cách toàn bộ chuỗi khối triển khai các ứng dụng khách nhẹ đáng tin cậy.

Quy trình trên thể hiện cách light client xác minh các giao dịch trên chuỗi. Vì vậy, nếu ứng dụng khách hạng nhẹ của chuỗi nguồn có thể được triển khai trên chuỗi mục tiêu, tức là ứng dụng khách hạng nhẹ trên chuỗi, thì liệu có thể xác minh các giao dịch của chuỗi nguồn trên chuỗi mục tiêu không?

Hãy tưởng tượng, trong ứng dụng cụ thể của chuỗi chéo, khó khăn chính là các giao dịch xảy ra trong chuỗi nguồn không thể tin cậy được trên chuỗi mục tiêu, và Nó cần được chuyển tiếp thông qua bên thứ ba, điều này hầu như làm giảm tính bảo mật chuỗi chéo. Nếu bạn sử dụng hợp đồng thông minh để triển khai một ứng dụng khách nhẹ trên một chuỗi khác, bạn có thể xác minh các giao dịch xảy ra trên chuỗi nguồn trên chuỗi mục tiêu, đạt được chuỗi chéo không cần tin cậy.

(2) Tại sao light client trên chuỗi cần sử dụng công nghệ ZKP

Phần trước Nó cho thấy rằng chuỗi chéo có thể được thực hiện hoàn toàn bằng cách xác minh các giao dịch chuỗi nguồn thông qua ứng dụng khách nhẹ trên chuỗi. Vậy tại sao lại sử dụng công nghệ ZKP?

Xác minh khách hàng nhẹ bao gồm một số lượng lớn các phép tính trong quá trình tạo sự đồng thuận. Nếu những tính toán này được hoàn thành trên chuỗi, nó sẽ tiêu tốn phí gas cực cao và không khả thi để khái quát hóa. Công nghệ chứng minh không có kiến thức có thể chuyển một số lượng lớn các phép tính trong quy trình tạo đồng thuận sang được thực hiện ngoài chuỗi một cách đáng tin cậy, từ đó tạo ra kết quả bằng chứng ngắn gọn có thể được xác minh trên chuỗi với ít gas hơn.

Bất cứ khi nào có sự tham gia của quá trình chuyển tiếp, người dùng sẽ cảm thấy rằng họ bị nghi ngờ là tập trung và không đủ tin cậy. Tuy nhiên, bộ chuyển tiếp trong cầu nối chuỗi chéo được triển khai dựa trên ZKP chỉ chịu trách nhiệm chuyển tiếp các tin nhắn và không chịu trách nhiệm xác minh các tin nhắn. Công việc xác minh được hoàn thành bởi ứng dụng khách nhẹ của chuỗi mục tiêu. Các bằng chứng toán học và mật mã nghiêm ngặt có thể đảm bảo rằng ứng dụng khách nhẹ của chuỗi mục tiêu có thể hoàn thành quá trình xác minh và đạt được độ tin cậy.

(3) Cách zkRouter sử dụng công nghệ ZKP để đạt được chuỗi chéo

ZkRouter triển khai chéo -chain Kế hoạch này được mô tả chi tiết trong sách trắng của nó, nhưng hiện tại không có tài liệu nào giải thích về nó trên thị trường. Để hiểu zkRouter, cần có một số kiến thức nền tảng.

Hiện nay, có một số thuật toán chứng minh Turing-complete điển hình trong lĩnh vực ứng dụng chứng minh không có kiến thức, trong đó phổ biến nhất là zkSnark (không có kiến thức). đối số kiến thức không tương tác ngắn gọn, đối số kiến thức không tương tác ngắn gọn không có kiến thức) và zk-Stark (Đối số kiến thức trong suốt có thể mở rộng kiến thức bằng không, đối số kiến thức minh bạch có thể mở rộng không có kiến thức). Kích thước của tệp ZKP do zk-Stark tạo ra là khoảng 200KB và kích thước của tệp ZKP do zk-Snark tạo ra là khoảng 192B. Tệp ZKP do zk-Stark tạo ra quá lớn, nếu zk-Stark được sử dụng để đạt được chuỗi chéo, lượng gas mà chuỗi mục tiêu tiêu thụ sẽ rất lớn, do đó nó không có lợi thế kinh tế trong các ứng dụng cụ thể. ZKP do zk-snark tạo ra được sử dụng rộng rãi trong blockchain do ưu điểm là không tương tác, tạo bằng chứng nhanh và kết quả bằng chứng ngắn. Hiện tại, hầu hết các cầu nối chuỗi chéo ZK trên thị trường đều sử dụng zk-Snark. , hoặc một biến thể của công nghệ zk-Snark, zkRouter cũng sử dụng zk-Snark.

Giao thức zkRouter chủ yếu bao gồm bốn bước.

1. Thiết lập ban đầu (Setup)

Khách hàng đèn chuỗi mục tiêu phải hoàn thành phần nguồn Việc xác minh bằng chứng ZKP chuỗi phải có trạng thái đồng thuận của khối chuỗi nguồn trước đó. Trạng thái đồng thuận của chuỗi khối có tính liên tục, nghĩa là kết quả đồng thuận của khối hiện tại dựa trên việc cập nhật kết quả đồng thuận của khối trước đó. Do đó, ứng dụng khách ánh sáng của chuỗi mục tiêu trước tiên phải có được trạng thái đồng thuận hiện tại của chuỗi nguồn trước khi có thể xác minh tính chính xác của sự đồng thuận khối tiếp theo.

Máy khách hạng nhẹ của chuỗi mục tiêu cần có dữ liệu ban đầu ban đầu ngay từ đầu. Dữ liệu này bao gồm chiều cao khối ban đầu, hàm băm tiêu đề khối, v.v. Cài đặt ban đầu này chỉ cần được đặt một lần và dữ liệu sẽ được cập nhật tự động khi hành vi chuỗi chéo xảy ra.

2. Tạo bằng chứng đồng thuận (Proof Gen)

Bước này xảy ra trong hành vi xuyên chuỗi cụ thể. Khi chuỗi nguồn tạo khối mới, chuỗi đích cần đồng bộ hóa thông tin mới, thông tin mới này bao gồm trạng thái của khối trước đó, lựa chọn nút sản xuất khối, tính hợp pháp của nút chữ ký, v.v. Đối với các cơ chế đồng thuận cuối cùng không tức thời, cũng cần thiết lập một số khối dự phòng nhất định để tránh tổn thất do fork gây ra. Sau đó, bộ chuyển tiếp tính toán và tạo ZKP ngoài chuỗi thông qua công nghệ ZKP ngoài chuỗi và đồng bộ hóa nó với chuỗi mục tiêu.

3. Bằng chứng xác minh sự đồng thuận (ProofVerify)

Khi ZKP ngắn gọn được gửi bởi người chuyển tiếp Sau khi đến được chuỗi mục tiêu, ZKP cần được xác minh.Phần công việc này được hoàn thành bởi khách hàng hạng nhẹ trên chuỗi. Sau khi quá trình xác minh được thông qua, kết quả xác minh sẽ được trả về và thông tin trạng thái đồng thuận của chuỗi nguồn sẽ được cập nhật trong chuỗi mục tiêu.

4. Lệnh gọi hợp đồng tương tác (InterOperCall)

Khi khách hàng ánh sáng chuỗi mục tiêu đi qua Sau xác minh sự đồng thuận của chuỗi nguồn (bao gồm các giao dịch chuỗi nguồn), người tham gia có thể bắt đầu các lệnh gọi tương tác hợp đồng chuỗi chéo để hoàn thành tương tác chuỗi chéo.

Ví dụ: đối với Hoán đổi chuỗi chéo, bất kỳ người tham gia nào cũng gửi TXS tương ứng với giao dịch chuỗi nguồn và đường dẫn bằng chứng cây Merkel tương ứng. Theo ánh sáng hiện có khách hàng Thông tin đồng thuận chuỗi nguồn, hợp đồng có thể dễ dàng xác minh tính xác thực của giao dịch.

Trong sách trắng Multichain có khá nhiều hướng dẫn về cách triển khai chuỗi chéo Ethereum->Fantom ZK. Các bước tương tự như quy trình trên và sẽ không được lặp lại ở đây. .

2. Các giải pháp chuỗi chéo ZK chính khác

Nhiều nhóm hiện đang làm việc trên ZK Phát triển cầu xuyên chuỗi. Do việc tạo ZKP có liên quan chặt chẽ đến sự đồng thuận của chuỗi nguồn và các chuỗi khác nhau đạt được sự đồng thuận theo những cách khác nhau và sử dụng các thuật toán chữ ký khác nhau, nên trên thực tế, các phương pháp được sử dụng bởi các khách hàng nhẹ trên các chuỗi khác nhau sẽ được nhóm dự án triển khai. cũng khác nhau Khác nhau, nhưng thuật toán cốt lõi về cơ bản tương tự như thuật toán của zkRouter.

(1) Electronlabs

Electronlabs đã triển khai kết nối hai chiều từ thử nghiệm Ethereum mạng tới mạng thử nghiệm Near Cầu nối chuỗi chéo, điều này cho thấy Electronlabs không chỉ triển khai ứng dụng khách nhẹ của Ethereum trên Near mà còn triển khai ứng dụng khách nhẹ của Near trên mạng Ethereum. Cosmos hỗ trợ Ed25519 [Ed25519 đã trở thành sơ đồ chữ ký ưa thích cho các hệ sinh thái blockchain như Cosmos, NEAR, Solana, v.v. Việc xác minh sự đồng thuận của blockchain yêu cầu xác minh một số lượng lớn chữ ký Ed25519 (chữ ký xác thực). Do đó, cần phải xác minh ngắn gọn một loạt chữ ký Ed25519. ] thuật toán chữ ký, nhưng Ethereum không hỗ trợ thuật toán này. Do đó, việc xác minh chữ ký Ed25519 trên chuỗi trên Ethereum yêu cầu một số công việc bổ sung.

Ngoài ra, thuật toán Ed25519 không hỗ trợ chữ ký tổng hợp nên Eletronlabs sử dụng phương pháp đệ quy để thực hiện xác minh một số lượng lớn thuật toán Ed25519. Việc xác minh chữ ký tạo ra các mạch lớn, vì vậy câu hỏi quan trọng là làm thế nào để xác minh chữ ký Ed25519 một cách hiệu quả và tiết kiệm chi phí từ bất kỳ chuỗi khối nào trong Cosmos SDK trên chuỗi Ethereum. Giải pháp của Electronlabs là xây dựng một zk-Snark tạo ra bằng chứng về tính hợp lệ của chữ ký ngoài chuỗi và chỉ xác minh bằng chứng đó trên chuỗi Ethereum.

Đánh giá từ kết quả hiện tại của Electronlabs, nó đã đạt được một số tiến bộ trong việc triển khai các chuỗi không đồng nhất, bao gồm cả thuật toán chữ ký chuỗi công khai của chuỗi Cosmos, đó là Ed25519. Trong tương lai, khả năng khác của chuỗi công khai trong việc mở rộng thuật toán chữ ký Ed25519 sẽ rất mạnh.

(2) Succinct

Succinct cũng chỉ ra mắt Cầu chuỗi chéo ZK một chiều , điểm khác biệt là nó là cầu nối chuỗi chéo ZK của Goerli->Gnosis, Optimism, Polygon, Avalanch và các mạng thử nghiệm khác. Chuỗi nguồn duy nhất là Goerli.

Phần phức tạp nhất của chuỗi chéo ZK là thiết lập mạch theo sự đồng thuận của chuỗi nguồn. Công việc phát triển của khách hàng chuỗi mục tiêu sẽ không bị ảnh hưởng quá nhiều. Do đó, việc ra mắt cầu nối chuỗi chéo ZK của Succinct trên Goerli->Gnosis, Optimism, Polygon, Avalanch và các mạng thử nghiệm khác thực sự có cùng tiến độ với việc chỉ khởi chạy cầu nối chuỗi chéo một chiều. Succinct cũng sử dụng sơ đồ zk-Snark, sơ đồ cơ bản của nó không khác lắm so với sơ đồ chung nên tôi sẽ không đi sâu vào chi tiết ở đây.

Mục tiêu chính của Succinct là mở rộng mạng lớp thứ hai xung quanh Ethereum. Đánh giá theo tiến độ hiện tại, nếu nó có thể hoàn thành chuỗi chéo Gnosis, Optimism, Polygon, Avalanch->Goerli trong tương lai, thì sẽ có rất nhiều chỗ cho trí tưởng tượng. Tuy nhiên, do việc tạo chuỗi nguồn ZKP đòi hỏi một lượng lớn cài đặt mạch và sự đồng thuận rất khác nhau, phần công việc này là phần tốn nhiều thời gian nhất trong quá trình triển khai chuỗi chéo ZK và Succinct vẫn chưa hoàn thành nó.

(3) nil.foundation

Nil triển khai thử nghiệm trên mạng thử nghiệm Ethereum và Polygon Trạng thái của mạng thử nghiệm Mina đã được xác minh trực tuyến, nhưng trạng thái của mạng thử nghiệm Ethereum và mạng thử nghiệm Polygon chưa được xác minh trên mạng thử nghiệm Mina, do đó, về mặt tiến độ, Nil ngang hàng với các mạng thử nghiệm khác Các dự án chuỗi chéo ZK.

Tuy nhiên, dự án nil.foundation đã nhận được đầu tư từ Starkware và Mina, những tổ chức hàng đầu trên đường đua ZK, và sức mạnh kỹ thuật của nó là điều hiển nhiên. Ngoài ra, Nil còn có nguồn mở sản phẩm zkLLVM, được thiết kế để giúp các nhà phát triển biên dịch ZKP bằng các ngôn ngữ cấp cao, giảm đáng kể rào cản gia nhập cho các nhà phát triển. Thông qua công cụ này, các nhà phát triển có thể tập trung vào thiết kế mạch bằng ngôn ngữ mà họ quen thuộc, thay vì rơi vào bẫy học ngôn ngữ dành riêng cho miền-DSL. Việc biên dịch các mạch không có kiến thức thường yêu cầu các ngôn ngữ và bộ công cụ dành riêng cho từng miền và mất rất nhiều thời gian.

(4) Herodotus

Mô tả chính thức của Herodotus sử dụng "MPC+light client+ The cross- cầu chuỗi do ZKP triển khai sử dụng phương pháp MPC lạc quan để thách thức các thông điệp được chuyển tiếp bởi người chuyển tiếp. Nhưng vì bất kỳ nhà chuyển tiếp nào cũng có thể chuyển tiếp ZKP được tạo đến chuỗi mục tiêu nên việc xác minh được thực hiện bởi máy khách hạng nhẹ trên chuỗi mục tiêu. Nếu bạn vẫn cần một mạng MPC đáng tin cậy thì việc thêm ZKP sẽ không có nhiều ý nghĩa, tất nhiên, mạng thử nghiệm của nó vẫn chưa được triển khai và kế hoạch cụ thể vẫn chưa được bên dự án công bố.

(5) Khối đa diện

Polyhedra hiện là cây cầu xuyên chuỗi có số lượng truy cập trực tuyến nhiều nhất Các mạng thử nghiệm trực tuyến bao gồm Goerli, BNB Chain Testnet, Polygon Testnet, Fantom Testnet và Avalanche Testnet. Polyhedra hiện đang tung ra chuỗi chéo NFT. Người dùng có thể tạo NFT chuỗi chéo thông qua Polyhedra, sau đó sử dụng cầu nối chuỗi chéo NFT của nó để liên chuỗi. Polyhedra đã nhận được 10 triệu USD hỗ trợ từ các tổ chức bao gồm Binance Labs, Polychain Capital và các tổ chức khác.

Tuy nhiên, sau khi phân tích và thử nghiệm, chúng tôi nhận thấy rằng mạng thử nghiệm của dự án này không sử dụng ZKP và ứng dụng khách nhẹ không xác minh cây Merkle, vì Chi tiết dưới đây.

Địa chỉ chuỗi nguồn giao dịch thử nghiệm:

https://mumbai.polygonscan.com/ tx/0xc89904563b9f26a2eaeae5da91e87f6c86a8a2ebc33ca9d23a02b9ffb0e58aca

Địa chỉ chuỗi mục tiêu thử nghiệm:

https://testnet.bscscan. com/tx/0xbcbe3f47ae9b2d17c38d0ee4271669690e5c5049b2dd150c90ad50efbaa9848b

Địa chỉ hợp đồng lồng nhau trung gian:

https://testnet.bscscan.com/address/0x7b95cf4cefdd218017e0e0e4da99f3b2c6f9e2a5

Cuộc gọi cuối cùng để xác minh địa chỉ hợp đồng cây Merkle:

https://testnet.bscscan . com/address/0x3BBd3ECa3C1bA24603f8C8EC247f225fb629a40B

Hình 2 Mã hợp đồng liên quan đến khối đa diện

Mã hợp đồng được thể hiện trong Hình 2. Xác minh tiêu đề băm trực tiếp trả về đúng. Không có công nghệ ZK nào không được sử dụng và tiêu đề băm không được xác minh, do đó giả định tính chính xác của các thông báo chuỗi chéo. Đánh giá từ hợp đồng mạng thử nghiệm, chúng tôi không thể thấy tiến trình của nó, tất nhiên, chúng tôi sẽ tiếp tục chú ý đến động lực của mạng thử nghiệm.

4. Triển vọng phát triển của các dự án xuyên chuỗi dựa trên ZKP

Hiện tại ZK xuyên chuỗi chuỗi đã trở thành Có nhiều điểm nóng trong ngành và các giải pháp liên quan. Sự cạnh tranh trong tương lai có thể sẽ xoay quanh các khía cạnh sau.

1. Bảo đảm hợp đồng. Mặc dù nhiều giải pháp chuỗi chéo ZK đang nỗ lực để đạt được sự tin cậy nhưng ZKP chỉ cung cấp kiến trúc kỹ thuật cơ bản. Kiến trúc kỹ thuật cơ bản ổn định nhưng vẫn khó tránh khỏi các vấn đề bảo mật có thể phát sinh trong quá trình viết và vận hành hợp đồng thông minh.

2. Triển khai hai chiều đa chuỗi. Tiến độ theo hướng này vẫn chưa rõ ràng, không có trường hợp nào ở trên đạt được triển khai hai chiều đa chuỗi. Nếu bất kỳ cầu nối chuỗi chéo nào có thể dẫn đầu trong việc triển khai hai chiều đa chuỗi thì nó sẽ trở thành một lợi thế cạnh tranh lớn.

3. Đây có phải là cầu nối chuỗi chéo ZK không đáng tin cậy không? Từ cuộc thảo luận ở trên, độc giả có thể thấy rằng ưu điểm quan trọng nhất của cầu nối chuỗi ZK là rằng nó có thể đạt được chuỗi chéo dựa trên niềm tin, nếu không thể đạt được chuỗi chéo không đáng tin cậy thì việc áp dụng ZKP trong lĩnh vực chuỗi chéo sẽ không có nhiều ý nghĩa.

5. Tóm tắt

Chúng tôi bắt đầu từ tiến trình testnet, hỗ trợ phi EVM và sản phẩm Một số dự án nổi tiếng trong chuỗi xuyên chuỗi ZK đã được so sánh về độ tin cậy, khả năng kỹ thuật của nhóm và liệu có nên tin cậy hay không, như được trình bày trong Bảng 2.

Bảng 2 So sánh các chuỗi chéo blockchain chính hiện tại của các dự án theo dõi

Như có thể thấy từ Bảng 2, hiện tại một số dự án chuỗi chéo zk lớn về cơ bản đang ở giai đoạn sơ khai. giải pháp kỹ thuật gần như giống nhau. Tuy nhiên, về mặt lý thuyết, tính không tin cậy hoàn toàn của ZKP sẽ cho phép triển khai chuỗi chéo dựa trên tính không tin cậy của ZKP trong tương lai, điều này sẽ có ý nghĩa lớn hơn trong việc thúc đẩy sự phát triển của hệ sinh thái đa chuỗi, vũ trụ đa chuỗi và các ứng dụng đa chuỗi nguyên bản.

Theo lộ trình được Multichain công bố, khi Anyswap ra đời có 2 giải pháp, một là giải pháp cross-chain dựa trên MPC, hai là dựa trên về giải pháp của ZKP. Về zkRouter do Multichain phát triển, tôi nghĩ có một số điểm đáng mong đợi:

1. Multichain có nền tảng công nghệ chuỗi chéo mạnh mẽ. Multichain đã tham gia sâu vào hoạt động kinh doanh chuỗi chéo trong nhiều năm và có nền tảng kỹ thuật sâu sắc. Dựa trên điều này, chúng ta có thể mong đợi zkRouter của Multichain sẽ đạt được tiến bộ lớn hơn trên đường đua chuỗi chéo ZK. Sau khi mạng thử nghiệm zkRoutr trực tuyến, người dùng cũng có thể tự mình trải nghiệm trải nghiệm zkRouter. Tất nhiên, là một sản phẩm ở giai đoạn POC, người dùng thông thường vẫn khó có được trải nghiệm trực tiếp không cần tin cậy khi sử dụng, bao gồm tốc độ chuỗi chéo, phí chuỗi chéo và các chỉ số khác mà zkRouter có thể đạt được trong tương lai. Những nội dung này vẫn cần được nghiên cứu, đánh giá bởi nhiều chuyên gia hơn ở trình độ và góc độ chuyên môn hơn.

2. Một đối tác sinh thái to lớn. Multichain có sự hợp tác sâu rộng với hàng nghìn dự án đa chuỗi, một lợi thế mà các giao thức xuyên chuỗi khác không có được. Do đó, một khi zkRouter bước vào giai đoạn thực tế, với sự trợ giúp của hệ sinh thái khổng lồ của Multichain, zkRouter hoàn toàn có khả năng trở thành đối thủ cạnh tranh mạnh mẽ cho thế hệ chuỗi chéo tiếp theo.

Liên kết gốc

a>

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