1. Giới thiệu khái niệm

Về khái niệm đồng xử lý, một ví dụ rất đơn giản và dễ hiểu là mối quan hệ giữa máy tính và card đồ họa. CPU có thể hoàn thành hầu hết các tác vụ, nhưng một khi gặp phải một tác vụ cụ thể, card đồ họa cần sự trợ giúp vì CPU không đủ sức mạnh tính toán, chẳng hạn như Học máy, kết xuất đồ họa hoặc chạy các trò chơi quy mô lớn. Nếu chúng ta không muốn làm giảm khung hình hoặc đóng băng khi chơi các trò chơi quy mô lớn, chúng ta chắc chắn cần một card đồ họa có hiệu suất tốt. Trong trường hợp này, CPU là bộ xử lý và card đồ họa là bộ đồng xử lý. Ánh xạ đến blockchain, hợp đồng thông minh là CPU và bộ đồng xử lý ZK là GPU.

Điểm chính là giao các nhiệm vụ cụ thể cho các bộ xử lý cụ thể. Giống như trong một nhà máy, sếp biết các bước của mỗi liên kết và có thể tự làm hoặc dạy nhân viên toàn bộ quy trình sản xuất, nhưng điều này rất không hiệu quả và chỉ anh ta mới có thể sản xuất một mảnh một lần, và chỉ sau khi một mảnh được hoàn thành thì anh ta mới có thể sản xuất mảnh tiếp theo, vì vậy anh ta thuê rất nhiều nhân viên cụ thể. Họ mỗi người thực hiện nhiệm vụ của mình và làm việc mà họ giỏi trong chuỗi sản xuất trong các cửa hàng riêng của họ. Các liên kết trong chuỗi có thể tương tác với nhau. Giao tiếp và phối hợp nhưng không can thiệp vào công việc của nhau. Họ chỉ làm những gì họ giỏi nhất. Những người có bàn tay nhanh và sức mạnh vững chắc có thể vặn ốc. Những người biết cách vận hành máy móc có thể vận hành máy móc. Những người biết kế toán có thể tính toán khối lượng sản xuất và chi phí. Làm việc hợp tác không đồng bộ để tối đa hóa hiệu suất công việc.

Trong cuộc Cách mạng Công nghiệp, các nhà tư bản đã phát hiện ra rằng mô hình này có thể mang lại năng lực sản xuất tối đa cho các nhà máy của họ. Tuy nhiên, khi một bước trong quy trình sản xuất gặp phải rào cản do công nghệ hoặc các lý do khác, các yếu tố khác có thể cần phải được thuê ngoài. Các nhà sản xuất chuyên ngành làm điều đó. Ví dụ, đối với một công ty sản xuất điện thoại di động, chip có thể được sản xuất bởi các công ty chip chuyên dụng khác. Công ty điện thoại di động là bộ xử lý trung tâm và công ty chip là bộ đồng xử lý. Bộ đồng xử lý có thể dễ dàng và không đồng bộ xử lý các tác vụ cụ thể quá cao và cồng kềnh để bộ xử lý trung tâm tự xử lý.

Bộ xử lý ZK tương đối rộng rãi trong một khía cạnh rộng lớn. Một số dự án gọi nó là bộ xử lý riêng của họ, và một số gọi là ZKVM, nhưng tất cả đều có cùng một ý tưởng: cho phép các nhà phát triển hợp đồng thông minh chứng minh ngoại tuyến mà không cần lưu trạng thái trên dữ liệu hiện có. Để nói một cách đơn giản, một số công việc tính toán trên chuỗi được chuyển sang ngoại tuyến để giảm chi phí và tăng hiệu quả. Đồng thời, ZK được sử dụng để đảm bảo tính đáng tin cậy của các phép tính và bảo vệ sự riêng tư của dữ liệu cụ thể. Trong thế giới dữ liệu của blockchain, điều này đặc biệt quan trọng.

2. Tại sao chúng ta cần bộ xử lý ZK?

Một trong những nút thắt cổ chai lớn nhất mà các nhà phát triển hợp đồng thông minh phải đối mặt vẫn là chi phí cao liên quan đến tính toán trên chuỗi. Vì Gas phải được đo lường cho mỗi hoạt động, chi phí của logic ứng dụng phức tạp sẽ nhanh chóng trở nên quá cao để được thực thi, bởi vì mặc dù các nút lưu trữ trong lớp DA của blockchain thực sự có thể lưu trữ dữ liệu lịch sử, đây là lý do tại sao những thứ như các ứng dụng phân tích Dune Off-chain như Analytics, Nansen, 0xscope và Etherscan có thể có rất nhiều dữ liệu từ blockchain và có thể quay trở lại một thời gian dài, Nhưng nó không phải là đơn giản để các hợp đồng thông minh truy cập vào tất cả các dữ liệu này. Nó chỉ có thể Dễ dàng truy cập dữ liệu được lưu trữ ở trạng thái máy ảo, dữ liệu khối mới nhất và dữ liệu hợp đồng thông minh công khai khác. Để có thêm dữ liệu, hợp đồng thông minh có thể phải tốn nhiều công sức để truy cập:

Hợp đồng thông minh trong Máy Ảo Ethereum (EVM) có quyền truy cập vào các header block của 256 block gần đây nhất. Các header block này chứa tất cả thông tin hoạt động trong blockchain đến block hiện tại và được nén thành giá trị hash 32 byte bằng cách sử dụng cây Merkle và thuật toán băm Keccak.

Mặc dù dữ liệu được đóng gói băm, nhưng nó có thể được giải nén — điều đó không dễ dàng. Ví dụ: nếu bạn muốn tận dụng tiêu đề khối gần đây nhất để truy cập dữ liệu cụ thể một cách đáng tin cậy trong khối trước đó, điều này liên quan đến một loạt các bước phức tạp. Trước tiên, bạn cần lấy dữ liệu ngoài chuỗi từ nút lưu trữ, sau đó xây dựng cây Merkle và bằng chứng hợp lệ của khối để xác minh tính xác thực của dữ liệu trên blockchain. Sau đó, EVM sẽ xử lý các bằng chứng hợp lệ này, xác minh và giải thích chúng. Thao tác này không chỉ cồng kềnh mà còn mất nhiều thời gian, đồng thời gas cũng đặc biệt tốn kém.

Lý do cơ bản của thách thức này là máy ảo blockchain (như EVM) không phù hợp để xử lý lượng dữ liệu lớn và các nhiệm vụ tính toán tập trung, như công việc giải nén đã đề cập. Trọng tâm thiết kế của EVM là thực thi mã hợp đồng thông minh đồng thời đảm bảo an ninh và phân quyền, thay vì xử lý dữ liệu quy mô lớn hoặc thực hiện các nhiệm vụ tính toán phức tạp. Do đó, khi đối mặt với các nhiệm vụ đòi hỏi lượng tài nguyên tính toán lớn, thường cần tìm ra các giải pháp khác, như sử dụng tính toán ngoại chuỗi hoặc các công nghệ mở rộng khác. Lúc này, bộ xử lý ZK nổi lên.

ZK rollups thực sự là các bộ xử lý ZK sớm nhất, hỗ trợ cùng loại tính toán được sử dụng trên L1 ở quy mô và số lượng lớn hơn. Bộ xử lý này ở mức giao thức, và bộ xử lý ZK mà chúng ta đang nói đến bây giờ ở mức ứng dụng dapp. Bộ xử lý ZK cải thiện tính mở rộng của hợp đồng thông minh bằng cách cho phép hợp đồng thông minh ủy quyền truy cập dữ liệu chuỗi lịch sử và tính toán trên chuỗi mà không cần tin tưởng bằng cách sử dụng chứng minh ZK. Thay vì thực hiện tất cả các hoạt động trong EVM, các nhà phát triển có thể giảm bớt các hoạt động tốn kém bằng cách sử dụng bộ xử lý ZK và đơn giản là sử dụng kết quả trên chuỗi. Điều này cung cấp một cách mới cho hợp đồng thông minh mở rộng bằng cách tách rời truy cập dữ liệu và tính toán khỏi sự đồng thuận của blockchain.

Bộ xử lý ZK giới thiệu một mô hình thiết kế mới cho các ứng dụng trên chuỗi, loại bỏ hạn chế rằng các tính toán phải được hoàn thành trong máy ảo chuỗi khối. Điều này cho phép các ứng dụng truy cập vào nhiều dữ liệu và hoạt động ở quy mô lớn hơn so với trước trong khi kiểm soát chi phí gas, tăng tính mở rộng và hiệu suất của hợp đồng thông minh mà không làm ảnh hưởng đến tính phân cấp và an ninh.

3. Thực thi kỹ thuật

Phần này sẽ sử dụng kiến trúc Axiom để giải thích cách bộ xử lý zk giải quyết vấn đề một cách kỹ thuật. Trong thực tế, có hai lõi: chụp dữ liệu và tính toán. Trong hai quá trình này, ZK đảm bảo hiệu suất và sự riêng tư cùng một lúc.

3.1 Thu thập dữ liệu

Một trong những khía cạnh quan trọng nhất của việc thực hiện các phép tính trên bộ xử lý ZK là đảm bảo rằng tất cả dữ liệu đầu vào được truy cập đúng cách từ lịch sử blockchain. Như đã đề cập trước đó, điều này thực sự khá khó khăn vì hợp đồng thông minh chỉ có thể truy cập trạng thái blockchain hiện tại trong mã của họ, và thậm chí việc truy cập này là phần đắt đỏ nhất của việc tính toán trên chuỗi. Điều này có nghĩa là dữ liệu lịch sử trên chuỗi như hồ sơ giao dịch hoặc số dư trước đó (đầu vào trên chuỗi thú vị trong các phép tính) không thể được sử dụng một cách tự nhiên bởi hợp đồng thông minh để xác minh kết quả của bộ xử lý.

Bộ xử lý cộng tác ZK giải quyết vấn đề này bằng ba cách khác nhau, cân bằng chi phí, bảo mật và dễ phát triển:

1. Lưu trữ dữ liệu bổ sung trong trạng thái blockchain và sử dụng EVM để lưu trữ tất cả dữ liệu được sử dụng trên chuỗi bởi bộ xử lý xác minh đọc. Phương pháp này khá đắt đỏ và cấm kỵ chi phí đối với lượng dữ liệu lớn.
2. Tin tưởng một Oracle hoặc một mạng các người ký để xác minh dữ liệu đầu vào cho bộ xử lý phụ. Điều này đòi hỏi người dùng bộ xử lý phụ tin tưởng vào Oracle hoặc nhà cung cấp chữ ký đa tầng, từ đó làm giảm mức độ bảo mật.
3. Sử dụng chứng minh ZK để kiểm tra xem liệu bất kỳ dữ liệu trên chuỗi nào được sử dụng trong bộ xử lý phụ đã được cam kết trong lịch sử blockchain. Mỗi khối trong blockchain cam kết tất cả các khối trước đó và do đó bất kỳ dữ liệu lịch sử nào, cung cấp các cam kết mật mã về tính hợp lệ của dữ liệu và không đòi hỏi bất kỳ giả định đáng tin nào từ người dùng.

3.2 Tính toán

Thực hiện tính toán ngoại chuỗi trong một bộ xử lý ZK yêu cầu chuyển đổi các chương trình máy tính truyền thống thành mạch ZK. Hiện tại, tất cả các phương pháp để đạt được điều này đều có tác động lớn đến hiệu suất, với chứng minh ZK dao động từ 10.000 đến 1.000.000 so với việc thực thi chương trình native. Ngược lại, mô hình tính toán của các mạch ZK khác biệt so với kiến trúc máy tính tiêu chuẩn (ví dụ: hiện tại tất cả các biến phải được mã hóa modulo một số nguyên tố mật mã lớn, và việc triển khai có thể là phi xác định), điều này có nghĩa là các nhà phát triển gặp khó khăn khi viết chúng trực tiếp.

Do đó, ba phương pháp chính để xác định các tính toán trong các bộ xử lý ZK chủ yếu là sự cân đối giữa hiệu suất, linh hoạt và dễ phát triển:

1. Mạch tùy chỉnh: Các nhà phát triển viết mạch riêng cho mỗi ứng dụng. Phương pháp này có tiềm năng hiệu suất lớn nhất, nhưng đòi hỏi nỗ lực lớn từ phía nhà phát triển.
2. eDSL/DSL cho mạch: Nhà phát triển viết mạch cho mỗi ứng dụng, nhưng trừu tượng hóa các vấn đề cụ thể của ZK trong một framework theo quan điểm (tương tự như việc sử dụng PyTorch cho các mạng nơ-ron). Nhưng hiệu suất có chút thấp hơn.
3. Các nhà phát triển zkVM viết mạch trong các máy ảo hiện có và xác minh việc thực thi của chúng trong ZK. Điều này cung cấp trải nghiệm đơn giản nhất cho các nhà phát triển khi sử dụng các VM hiện có, nhưng dẫn đến hiệu suất và linh hoạt thấp do các mô hình tính toán khác nhau giữa VM và ZK.

4. Ứng dụng

Bộ xử lý phụ ZK có một loạt ứng dụng rộng. Lý thuyết, bộ xử lý phụ ZK có thể bao phủ tất cả các kịch bản ứng dụng mà Dapp có thể bao phủ. Miễn là nó liên quan đến dữ liệu và tính toán, bộ xử lý phụ ZK có thể giảm chi phí, tăng hiệu quả và bảo vệ quyền riêng tư. Phần tiếp theo sẽ bắt đầu từ các hướng khác nhau và khám phá những gì bộ xử lý ZK có thể làm tại tầng ứng dụng.

4.1 Defi

4.1.1 DEX

Take the hook in Uniswap V4 as an example:

Hook cho phép nhà phát triển thực hiện các hoạt động cụ thể tại bất kỳ điểm khóa nào trong toàn bộ vòng đời của hồ chứa thanh khoản - ví dụ như trước hoặc sau khi giao dịch token, hoặc trước hoặc sau khi thay đổi vị trí LP, hồ chứa thanh khoản tùy chỉnh, sàn giao dịch, phí Làm thế nào để tương tác với vị trí LP, ví dụ:

• Thị trường Trung bình trọng số theo thời gian của Người làm thị trường (TWAMM);
• phí linh hoạt dựa trên biến động hoặc các thông số khác;
• Lệnh giới hạn giá chuỗi;
• Gửi thanh khoản ngoài phạm vi vào giao protocôl cho vay;
• Các máy truy vấn trên chuỗi được tùy chỉnh, chẳng hạn như máy truy vấn trung bình hình học;
• Tự động cộng lãi LP vào vị thế LP;
• Lợi nhuận MEV của Uniswap được phân phối cho LP;
• Chương trình giảm giá trung thành cho LP hoặc nhà giao dịch;

Đơn giản mà nói, đó là một cơ chế cho phép các nhà phát triển ghi lại dữ liệu lịch sử trên bất kỳ chuỗi nào và sử dụng nó để tùy chỉnh pool trong Uniswap theo ý tưởng của họ. Sự xuất hiện của Hook mang đến tính kết hợp và hiệu suất cao hơn cho giao dịch trên chuỗi, hiệu quả vốn. Tuy nhiên, một khi logic mã mà xác định những điều này trở nên phức tạp, nó sẽ mang lại gánh nặng gas lớn cho người dùng và nhà phát triển. Lúc này, zkcoprocessor trở nên hữu ích, có thể giúp tiết kiệm chi phí gas này và nâng cao hiệu quả.

Từ góc độ dài hạn, bộ đồng xử lý ZK sẽ đẩy nhanh việc tích hợp DEX và CEX. Kể từ năm 2022, chúng tôi đã thấy rằng DEX và CEX đã trở nên nhất quán về mặt chức năng. Tất cả các CEX lớn đều chấp nhận thực tế này và áp dụng ví Web3, xây dựng EVM L2 và áp dụng cơ sở hạ tầng hiện có như Lightning Network hoặc nguồn mở để nắm lấy chia sẻ thanh khoản trên chuỗi. Hiện tượng này không thể tách rời sự thúc đẩy của bộ đồng xử lý ZK. Tất cả các chức năng mà CEX có thể đạt được, cho dù đó là giao dịch lưới, theo dõi, cho vay nhanh hay sử dụng dữ liệu người dùng, DEX cũng có thể được thực hiện thông qua bộ đồng xử lý ZK. , và khả năng kết hợp và tự do của Defi, cũng như các giao dịch của các loại tiền tệ nhỏ trên chuỗi, rất khó đạt được với CEX truyền thống. Đồng thời, công nghệ ZK cũng có thể bảo vệ quyền riêng tư của người dùng trong quá trình thực hiện.

4.1.2 Airdrop

Nếu một số dự án muốn tiến hành airdrop, họ cần một hợp đồng thông minh để truy vấn các hoạt động lịch sử của địa chỉ, nhưng không muốn tiết lộ thông tin địa chỉ của người dùng và thực hiện nó mà không đưa ra bằng chứng tin cậy bổ sung. Ví dụ, một dự án thực hiện cho vay Defi muốn thông qua sự tương tác giữa địa chỉ và một loạt các giao thức cho vay như Aave, Compound, Fraxlend và Spark làm tiêu chuẩn cho airdrop, các tính năng thu thập dữ liệu lịch sử và quyền riêng tư của bộ đồng xử lý ZK có thể dễ dàng giải quyết nhu cầu này.

4.2 ZKML

Một điểm hứng thú khác của bộ xử lý ZK nằm trong lĩnh vực học máy. Khi hợp đồng thông minh có khả năng tính toán ngoại chuỗi, việc học máy hiệu quả trên chuỗi sẽ trở nên khả thi. Thực tế, bộ xử lý ZK cũng là một phần không thể thiếu cho việc nhập và tính toán dữ liệu ZKML. Nó có thể trích xuất dữ liệu đầu vào cần thiết cho học máy từ dữ liệu lịch sử trên chuỗi/ngoại chuỗi được nhập vào trong hợp đồng thông minh, sau đó viết tính toán vào một mạch ZK và đưa nó lên chuỗi.

4.3 KYC

KYC là một ngành kinh doanh lớn, và hiện nay thế giới web3 đang dần chấp nhận sự tuân thủ. Với bộ xử lý đồng thuận ZK, có thể tạo ra một hợp đồng thông minh có thể xác minh bằng cách lấy bất kỳ dữ liệu ngoại tuyến nào do người dùng cung cấp mà không cần tiết lộ bất kỳ thông tin không cần thiết nào của người dùng, thực tế, một số dự án đang được triển khai, như hook KYC của Uniswap, sử dụng ZK co-processor Pado để bắt dữ liệu ngoại tuyến mà không cần sự tin cậy. Chứng minh tài sản, chứng minh trình độ học vấn, chứng minh du lịch, chứng minh lái xe, chứng minh thực thi pháp luật, chứng minh người chơi, chứng minh giao dịch... Tất cả các hành vi lịch sử trên và ngoài chuỗi thậm chí có thể được đóng gói thành một danh tính hoàn chỉnh, và có thể được viết với độ tin cậy mạnh mẽ. ZK chứng minh rằng nó nằm trên chuỗi trong khi bảo vệ quyền riêng tư của người dùng.

4.4 Mạng xã hội

Thuộc tính đầu cơ của Friend.tech thực sự mạnh mẽ hơn thuộc tính xã hội. Lõi nằm ở đường cong gắn kết của nó. Có thể thêm một móc vào đường cong gắn kết của friend.tech để người dùng có thể tùy chỉnh hướng của đường cong gắn kết, chẳng hạn như thực hiện Sau khi sự điên rồ về giao dịch chìa khóa kết thúc và các nhà đầu tư đầu cơ rời đi, đường cong gắn kết sẽ được làm mịn, rào cản nhập cửa cho các fan thực sự sẽ được giảm xuống, và lưu lượng lưu lượng thực sự sẽ tăng. Hoặc cho phép hợp đồng thông minh lấy đồ thị xã hội trên chuỗi/ ngoài chuỗi của người dùng, và có thể theo dõi bạn bè của bạn trên các ứng dụng xã hội khác nhau chỉ với một cú nhấp chuột. Hoặc bạn có thể thiết lập một câu lạc bộ riêng trên chuỗi, chẳng hạn như câu lạc bộ Degen, và chỉ các địa chỉ đáp ứng điều kiện Tiêu thụ Gas lịch sử mới có thể nhập cảnh, vv.

4.5 Gaming

Trong các trò chơi Web2 truyền thống, dữ liệu người dùng là một thông số rất quan trọng. Hành vi mua hàng, phong cách trò chơi và đóng góp có thể làm cho trò chơi hoạt động tốt hơn và cung cấp trải nghiệm người dùng tốt hơn, chẳng hạn như cơ chế kết hợp ELO trong các trò chơi MOBA. Tần suất mua giao diện, v.v., nhưng những dữ liệu này rất khó nắm bắt bởi các hợp đồng thông minh trên blockchain, vì vậy chúng chỉ có thể được thay thế bằng các giải pháp tập trung hoặc đơn giản là bị bỏ rơi. Tuy nhiên, sự xuất hiện của bộ đồng xử lý ZK làm cho các giải pháp phi tập trung trở nên khả thi.

5. Bữa Tiệc Dự Án

Đã có một số người chơi nổi bật trong lĩnh vực này. Các ý tưởng thực sự tương tự. Họ tạo ra chứng minh ZK thông qua chứng minh lưu trữ hoặc sự đồng thuận và sau đó đưa nó lên chuỗi. Tuy nhiên, mỗi dự án có những ưu điểm riêng trong các tính năng kỹ thuật và các chức năng đã triển khai.

5.1 Axiom

Axiom, nhà lãnh đạo trong vi xử lý ZK (zero-knowledge), tập trung vào việc hợp đồng thông minh có thể truy cập toàn bộ lịch sử Ethereum và bất kỳ tính toán xác minh ZK nào mà không cần tin cậy. Người phát triển có thể gửi các truy vấn trên chuỗi tới Axiom, sau đó Axiom xử lý chúng thông qua xác minh ZK và truyền kết quả trở lại hợp đồng thông minh của người phát triển một cách không tin cậy. Điều này cho phép người phát triển xây dựng ứng dụng trên chuỗi phong phú hơn mà không phụ thuộc vào các giả định tin cậy bổ sung.

Để thực hiện những truy vấn này, Axiom thực hiện ba bước sau đây:

1. read: Axiom sử dụng ZK proofs để đọc dữ liệu từ tiêu đề khối, trạng thái, giao dịch và biên nhận của các khối lịch sử của Ethereum một cách đáng tin cậy. Vì tất cả dữ liệu trên chuỗi khối Ethereum được mã hóa theo những định dạng này, Axiom có thể truy cập vào mọi thứ mà các nút lưu trữ lịch sử có thể truy cập được. Axiom xác minh tất cả dữ liệu đầu vào tới bộ xử lý chứng minh không rõ thông qua ZK proofs của các bộ ba Merkle-Patricia và chuỗi băm tiêu đề khối. Mặc dù phương pháp này khó phát triển hơn, nó cung cấp sự an ninh và chi phí tốt nhất cho người dùng cuối vì nó đảm bảo rằng tất cả kết quả trả về bởi Axiom tương đương mật mã với các tính toán trên chuỗi thực hiện trong EVM.
2. tính toán: Sau khi dữ liệu được hấp thụ, Axiom áp dụng các phép tính đã được chứng minh trên nó. Nhà phát triển có thể chỉ định logic tính toán của mình trong phần giao diện JavaScript, và tính hợp lệ của mỗi phép tính được xác minh trong bằng chứng ZK. Nhà phát triển có thể truy cập AxiomREPL hoặc xem tài liệu để tìm hiểu về các nguyên tắc tính toán có sẵn. Axiom cho phép người dùng truy cập dữ liệu trên chuỗi và chỉ định tính toán của riêng họ thông qua eDSL. Nó cũng cho phép người dùng viết mạch của riêng họ bằng cách sử dụng thư viện mạch ZK.
3. xác minh: Axiom cung cấp bằng chứng ZK về tính hợp lệ cho kết quả mỗi truy vấn. Những bằng chứng này đảm bảo rằng (1) dữ liệu đầu vào đã được trích xuất đúng từ chuỗi và (2) các phép tính đã được áp dụng đúng. Những bằng chứng ZK này được xác minh trên chuỗi trong các hợp đồng thông minh của Axiom, đảm bảo rằng kết quả cuối cùng được sử dụng đáng tin cậy trong các hợp đồng thông minh của người dùng.

Bởi vì kết quả được xác minh thông qua bằng chứng ZK, kết quả của Axiom được bảo mật mật mã cũng chính xác như kết quả của Ethereum. Phương pháp này không đặt ra giả thuyết nào về cryptoeconomics, động lực, hoặc lý thuyết trò chơi. Axiom tin rằng phương pháp này sẽ cung cấp mức độ đảm bảo cao nhất có thể cho các ứng dụng hợp đồng thông minh. Đội ngũ Axiom đã làm việc chặt chẽ với Uniswap Foundation và nhận được các hỗ trợ từ Uniswap, và sẽ xây dựng một oracles không tin cậy trên Uniswap.

5.2 Rủi ro không

Bonsai: Vào năm 2023, RISC Zero đã phát hành Bonsai, một dịch vụ chứng minh cho phép các ứng dụng trên chuỗi và ngoài chuỗi yêu cầu và nhận các chứng minh zkVM. Bonsai là một dịch vụ chứng minh không thông tin đa năng cho phép bất kỳ chuỗi nào, bất kỳ giao thức nào và bất kỳ ứng dụng nào sử dụng ZK proofs. Nó có khả năng song song cao, có thể lập trình và hiệu suất cao.

Bonsai cho phép bạn tích hợp chứng minh không thông báo trực tiếp vào bất kỳ hợp đồng thông minh nào, mà không cần mạch mạch tùy chỉnh. Điều này cho phép ZK được tích hợp trực tiếp vào các ứng dụng phi tập trung trên bất kỳ chuỗi EVM nào, với tiềm năng hỗ trợ bất kỳ hệ sinh thái nào khác.

zkVM là nền tảng của Bonsai và hỗ trợ tính tương thích ngôn ngữ rộng, hỗ trợ mã Rust có thể chứng minh, và có thể mã chứng minh không-tuân theo trong bất kỳ ngôn ngữ nào biên dịch thành RISC-V (như C++, Rust, Go, v.v.). Thông qua chứng minh đệ quy, trình biên dịch mạch tùy chỉnh, tiếp tục trạng thái, và cải tiến liên tục cho thuật toán chứng minh, Bonsai cho phép bất kỳ ai tạo ra chứng minh ZK hiệu suất cao cho nhiều ứng dụng khác nhau.

RISC Zero zkVM: RISC Zero zkVM, được phát hành lần đầu vào tháng 4 năm 2022, có thể chứng minh việc thực thi chính xác của mã tùy ý, cho phép các nhà phát triển xây dựng ứng dụng ZK bằng các ngôn ngữ chuyên nghiệp như Rust và C++. Bản phát hành này là một bước đột phá lớn trong việc phát triển phần mềm ZK: zkVM giúp xây dựng các ứng dụng ZK mà không cần xây dựng mạch và sử dụng ngôn ngữ tùy chỉnh.

Bằng cách cho phép các nhà phát triển sử dụng Rust và tận dụng sự chín chắn của hệ sinh thái Rust, zkVM cho phép các nhà phát triển nhanh chóng xây dựng các ứng dụng ZK có ý nghĩa mà không cần phải có kiến thức chuyên sâu về toán học hoặc mật mã.

Các ứng dụng này bao gồm:

• JSON: Chứng minh nội dung của một mục trong tệp JSON trong khi giữ cho dữ liệu khác là riêng tư.
• Where’s Waldo: Chứng minh rằng Waldo có mặt trong tệp JPG trong khi giữ cho các phần khác của hình ảnh được bảo mật.
• ZK Checkmate: Chứng minh bạn đã thấy một nước đi để chiếu tướng mà không tiết lộ nước đi chiến thắng.
• ZK Proof of Exploit: Chứng minh rằng bạn có thể khai thác một tài khoản Ethereum mà không tiết lộ lỗ hổng.
• Xác minh chữ ký ECDSA: Chứng minh tính hợp lệ của chữ ký ECDSA.

Các ví dụ này được triển khai bằng cách tận dụng một hệ sinh thái phần mềm chín chắn: hầu hết các bộ công cụ Rust đều có sẵn trong Risc Zero zkVM. Việc có thể tương thích với Rust thay đổi trò chơi cho thế giới phần mềm ZK: những dự án mà có thể mất tháng hoặc nhiều năm để xây dựng trên các nền tảng khác có thể dễ dàng được giải quyết trên nền tảng của RISC Zero.

Ngoài việc dễ dàng xây dựng hơn, RISC Zero cũng mang lại hiệu suất cao. zkVM có tăng tốc GPU của CUDA và Metal, và thực hiện chứng minh song song cho các chương trình lớn thông qua tiếp tục.

Trước đây, Risc Zero đã nhận 40 triệu đô la Mỹ trong vòng gọi vốn Series A từ Galaxy Digital, IOSG, RockawayX, Maven 11, Fenbushi Capital, Delphi Digital, Algaé Ventures, IOBC và các tổ chức khác.

5.3 Brevis

Brevis, một công ty con của Celer Network, tập trung vào việc thu thập dữ liệu lịch sử đa chuỗi. Nó cung cấp cho các hợp đồng thông minh khả năng đọc toàn bộ dữ liệu lịch sử từ bất kỳ chuỗi nào và thực hiện các phép tính tùy chỉnh toàn diện không cần tin cậy. Hiện nay, nó chủ yếu hỗ trợ Ethereum POS, Comos Tendermint và BSC.

Giao diện ứng dụng: Hệ thống hiện tại của Brevis hỗ trợ chứng minh ZK hiệu quả và súc tích, cung cấp thông tin chuỗi nguồn được chứng minh ZK sau đây cho các hợp đồng ứng dụng phi tập trung (dApp) kết nối với blockchain:

1. Hash khối và trạng thái liên quan, giao dịch và gốc biên nhận của bất kỳ khối nào trên chuỗi nguồn.
2. Giá trị khe cắm và siêu dữ liệu liên quan cho bất kỳ khối, hợp đồng, khe cụ thể nào trên chuỗi nguồn.
3. Hóa đơn giao dịch và siêu dữ liệu liên quan đến bất kỳ giao dịch nào trên chuỗi nguồn.
4. Đầu vào giao dịch và siêu dữ liệu liên quan cho bất kỳ giao dịch nào trên chuỗi nguồn.
5. Bất kỳ tin nhắn nào được gửi bởi bất kỳ thực thể nào trên chuỗi nguồn đến bất kỳ thực thể nào trên chuỗi đích.

Tổng quan về kiến trúc: Kiến trúc của Brevis bao gồm ba phần chính:

1. mạng khuếch đại: Nó đồng bộ tiêu đề khối và thông tin trên chuỗi từ các blockchain khác nhau và chuyển tiếp chúng đến mạng xác minh để tạo ra bằng chứng tính hợp lệ. Sau đó, nó gửi thông tin đã được xác minh và các bằng chứng liên quan của nó đến blockchain kết nối.
2. mạng prover: Thực hiện mạch cho mỗi giao thức khách nhẹ của blockchain, cập nhật khối, và tạo ra các bằng chứng giá trị khe cắm được yêu cầu, giao dịch, biên nhận, và logic ứng dụng tích hợp. Để giảm thiểu thời gian, chi phí bằng chứng, và chi phí xác minh trên chuỗi, một mạng các prover có thể tổng hợp các bằng chứng phân phối được tạo ra đồng thời. Ngoài ra, nó cũng có thể tận dụng các bộ tăng tốc như GPU, FPGA, và ASIC để cải thiện hiệu quả.
3. Kết nối các hợp đồng xác thực trên chuỗi khối: Nhận dữ liệu đã được xác thực bằng zk và các bằng chứng liên quan được tạo ra bởi mạng xác thực, sau đó truyền thông tin đã được xác thực trở lại cho hợp đồng dApp.

Kiến trúc tích hợp này cho phép Brevis đảm bảo hiệu suất cao và an ninh khi cung cấp dữ liệu và tính toán chéo chuỗi, cho phép các nhà phát triển dApp tận dụng hoàn toàn tiềm năng của blockchain. Với kiến trúc mô-đun này, Brevis có thể cung cấp khả năng truy cập dữ liệu và tính toán hoàn toàn không tin cậy, linh hoạt và hiệu quả cho hợp đồng thông minh on-chain trên tất cả các chuỗi được hỗ trợ. Điều này cung cấp một mô hình hoàn toàn mới cho việc phát triển dApp. Brevis có rất nhiều trường hợp sử dụng như DeFi dựa trên dữ liệu, zkBridges, thu hút người dùng on-chain, zkDID, trừu tượng hóa tài khoản xã hội, v.v., tăng cường khả năng tương tác dữ liệu.

5.4 Langrange

Langrange và Brevis có tầm nhìn tương tự, nhằm tăng cường khả năng tương tác giữa nhiều chuỗi thông qua ZK Big Data Stack, có thể tạo ra các bằng chứng trạng thái phổ quát trên tất cả các blockchain chính thống. Bằng cách tích hợp với giao thức Langrange, các ứng dụng có thể gửi bằng chứng tổng hợp về trạng thái đa chuỗi, sau đó có thể được xác minh không tương tác bằng các hợp đồng trên các chuỗi khác.

Không giống như các giao thức cầu nối và tin nhắn truyền thống, giao thức Langrange không phụ thuộc vào một nhóm cụ thể các nút để chuyển thông tin. Thay vào đó, nó tận dụng mật mã để điều phối chứng minh trạng thái liên chuỗi trong thời gian thực, bao gồm cả những chứng minh được gửi bởi người dùng không đáng tin cậy. Dưới cơ chế này, ngay cả khi nguồn thông tin không đáng tin cậy, việc áp dụng công nghệ mã hóa đảm bảo tính hợp lệ và an ninh của chứng chỉ.

Giao thức Langrange ban đầu sẽ tương thích với tất cả các rollups L1 và L2 tương thích với EVM. Ngoài ra, Langrange cũng dự định hỗ trợ các chuỗi không tương thích với EVM trong tương lai gần, bao gồm nhưng không giới hạn là Solana, Sui, Aptos và các chuỗi công cộng phổ biến dựa trên Cosmos SDK.

Sự khác biệt giữa giao thức Langrange và các giao thức cầu nối và gửi tin truyền thống:

Các giao thức cầu nối và tin nhắn truyền thống thường được sử dụng chủ yếu để chuyển tài sản hoặc tin nhắn giữa một cặp cụ thể các chuỗi. Các giao thức này thường phụ thuộc vào một tập hợp các nút trung gian để xác nhận tiêu đề khối mới nhất của chuỗi nguồn trên chuỗi đích. Chế độ này chủ yếu được tối ưu hóa cho các mối quan hệ từ một chuỗi đến một chuỗi, dựa trên trạng thái hiện tại của hai chuỗi. Ngược lại, giao thức Langrange cung cấp một phương pháp giao tiếp qua chuỗi chung và linh hoạt hơn, cho phép các ứng dụng tương tác trong một hệ sinh thái blockchain rộng hơn thay vì bị giới hạn trong mối quan hệ từ một chuỗi đến một chuỗi.

Giao thức Langrange cụ thể tối ưu hóa cơ chế chứng minh trạng thái của hợp đồng liên chuỗi, thay vì chỉ là việc truyền thông tin hoặc tài sản. Tính năng này cho phép giao thức Langrange xử lý một cách hiệu quả các phân tích phức tạp liên quan đến trạng thái hợp đồng hiện tại và lịch sử, có thể trải dài trên nhiều chuỗi. Khả năng này cho phép Langrange hỗ trợ một loạt các kịch bản ứng dụng giao chuỗi phức tạp, như tính toán giá trị trung bình di chuyển của tài sản trên sàn giao dịch phi tập trung đa chuỗi (DEX), hoặc phân tích tính biến động của lãi suất thị trường tiền tệ trên nhiều chuỗi khác nhau.

Do đó, các bằng chứng trạng thái Langrange có thể được xem là tối ưu hóa cho các mối quan hệ chuỗi nhiều-một (n-to-1). Trong mối quan hệ chuỗi chéo này, một ứng dụng phi tập trung (DApp) trên một chuỗi dựa trên việc tổng hợp dữ liệu trạng thái lịch sử và thời gian thực từ nhiều chuỗi khác (n). Tính năng này mở rộng đáng kể chức năng và hiệu quả của DApp, cho phép chúng tổng hợp và phân tích dữ liệu từ nhiều blockchain khác nhau để cung cấp thông tin chi tiết sâu hơn và toàn diện hơn. Phương pháp này khác biệt đáng kể so với chuỗi đơn truyền thống hoặc mối quan hệ chuỗi một-một, và cung cấp tiềm năng và phạm vi ứng dụng rộng hơn cho các ứng dụng blockchain.

Langrange đã trước đây nhận đầu tư từ 1kx, Maven11, Lattice, CMT Digital và gumi crypto.

5.5 Herodotus

Herodotus được thiết kế để cung cấp cho hợp đồng thông minh truy cập dữ liệu trên chuỗi đồng bộ từ các lớp Ethereum khác. Họ tin rằng bằng chứng lưu trữ có thể thống nhất trạng thái của nhiều rollups và thậm chí cho phép đọc đồng bộ giữa các lớp Ethereum. Để nói một cách đơn giản, đó là việc chụp dữ liệu giữa chuỗi chính EVM và rollup. Hiện hỗ trợ ETH mainnet, Starknet, Zksync, OP, Arbitrum và Polygon.

Bằng chứng lưu trữ như được định nghĩa bởi Herodotus là một bằng chứng tổng hợp có thể được sử dụng để xác minh tính hợp lệ của một hoặc nhiều yếu tố trong một tập dữ liệu lớn, chẳng hạn như dữ liệu trong toàn bộ blockchain Ethereum.

Quá trình tạo chứng thư lưu trữ được chia thành ba bước chính:

Bước 1: Lấy bộ tích lũy lưu trữ tiêu đề khối của các cam kết có thể xác minh

• Bước này là để có được một "cam kết" mà chúng tôi có thể xác minh. Nếu bộ tích lũy chưa chứa tiêu đề khối mới nhất mà chúng ta cần chứng minh, trước tiên chúng ta cần chứng minh tính liên tục của chuỗi để đảm bảo chúng ta bao gồm phạm vi khối chứa dữ liệu mục tiêu của chúng ta. Ví dụ: nếu dữ liệu chúng tôi muốn chứng minh nằm trong khối 1.000.001 và hợp đồng thông minh được lưu trữ trong tiêu đề khối chỉ bao gồm khối 1.000.000, thì chúng tôi cần cập nhật bộ nhớ tiêu đề.
• Nếu khối mục tiêu đã có sẵn trong bộ tích lũy, bạn có thể tiếp tục trực tiếp đến bước tiếp theo.

Bước 2: Chứng minh sự tồn tại của một tài khoản cụ thể

• Bước này yêu cầu tạo ra một bằng chứng về việc bao gồm từ State Trie bao gồm tất cả các tài khoản trong mạng Ethereum. Gốc trạng thái là một phần quan trọng trong việc tạo ra hash cam kết khối và cũng là một phần của bộ nhớ header. Quan trọng lưu ý rằng hash header khối trong bộ tích lũy có thể khác với hash thực tế của khối vì một phương pháp băm khác có thể đã được sử dụng để tăng hiệu suất.

Bước 3: Chứng minh dữ liệu cụ thể trong cây tài khoản

• Trong bước này, bằng chứng về việc bao gồm có thể được tạo ra cho dữ liệu như số mạch, số dư, gốc lưu trữ, hoặc codeHash. Mỗi tài khoản Ethereum có một ba trong lưu trữ (Cây Merkle Patricia), được sử dụng để lưu trữ dữ liệu lưu trữ của tài khoản. Nếu dữ liệu mà chúng ta muốn chứng minh có trong cửa hàng tài khoản, thì chúng ta cần tạo ra các bằng chứng bổ sung về việc bao gồm cho các điểm dữ liệu cụ thể trong cửa hàng đó.

Sau khi tạo tất cả các chứng minh bao gồm và chứng minh tính toán cần thiết, một chứng minh lưu trữ hoàn chỉnh được hình thành. Chứng minh này sau đó được gửi đến chuỗi, nơi nó được xác minh so với enti đã cam kết ban đầu (như là một blockhash) hoặc gốc MMR được lưu trữ trong tiêu đề. Quá trình này đảm bảo tính xác thực và tính toàn vẹn của dữ liệu đồng thời duy trì hiệu quả của hệ thống.

Herodotus đã được hậu thuẫn bởi Geometry, Fabric Ventures, Lambda Class và Starkware.

5.6 HyperOracle

Hyper Oracle được thiết kế đặc biệt cho các oracles có khả năng lập trình không tiết lộ để giữ cho blockchain an toàn và phi tập trung. Thông qua tiêu chuẩn zkGraph của mình, Hyper Oracle làm cho dữ liệu trên chuỗi và các phép tính tương đương trên chuỗi trở nên thực tế, có thể xác minh và có tính kết thúc nhanh. Nó cung cấp cho các nhà phát triển một cách hoàn toàn mới để tương tác với blockchain.

Node zkOracle của Hyper Oracle chủ yếu bao gồm hai thành phần: zkPoS và zkWASM.

1. zkPoS: Bộ phận này chịu trách nhiệm lấy tiêu đề khối và gốc dữ liệu của blockchain Ethereum thông qua chứng minh không chứng minh (zk) để đảm bảo tính đúng đắn của sự nhất quán Ethereum. zkPoS cũng hoạt động như một mạch ngoại vi cho zkWASM.
2. zkWASM: Nó sử dụng dữ liệu thu được từ zkPoS như đầu vào chính cho việc chạy zkGraphs. zkWASM chịu trách nhiệm chạy bản đồ dữ liệu tùy chỉnh được xác định bởi zkGraphs và tạo ra các chứng minh không thông tin cho những hoạt động này. Các nhà điều hành của các nút zkOracle có thể chọn số lượng zkGraphs mà họ muốn chạy, có thể từ một đến tất cả các zkGraphs triển khai. Quá trình tạo ra các chứng minh zk có thể được ủy quyền cho một mạng phân tán của người chứng minh.

Đầu ra của zkOracle là dữ liệu off-chain, và các nhà phát triển có thể sử dụng dữ liệu này thông qua tiêu chuẩn zkGraph của Hyper Oracle. Dữ liệu cũng đi kèm với các chứng chỉ zk để xác minh tính hợp lệ của dữ liệu và các phép tính.

Để duy trì an ninh mạng, mạng lưới Hyper Oracle chỉ yêu cầu một nút zkOracle. Tuy nhiên, có thể tồn tại nhiều nút zkOracle trong mạng lưới, hoạt động đối với zkPoS và mỗi zkGraph. Điều này cho phép chứng minh zk được tạo ra song song, cải thiện đáng kể hiệu suất. Nói chung, Hyper Oracle cung cấp cho các nhà phát triển một nền tảng tương tác blockchain hiệu quả và an toàn bằng cách kết hợp công nghệ zk tiên tiến và kiến trúc nút linh hoạt.

Vào tháng 1/2023, Hyper Oracle thông báo rằng họ đã nhận được 3 triệu USD tài trợ vòng tiền hạt giống do Dao5, Sequoia China, Foresight Ventures và FutureMoney Group cùng tham gia.

5.7 Đường dẫn

Pado là một sự tồn tại đặc biệt trong số các bộ xử lý ZK. Các bộ xử lý khác tập trung vào việc bắt dữ liệu trên chuỗi, trong khi Pado cung cấp một con đường để bắt dữ liệu ngoài chuỗi, nhằm đưa tất cả dữ liệu Internet vào các hợp đồng thông minh. Nó thay thế chức năng của người tiên tri đến một mức độ nhất định trong khi đảm bảo sự riêng tư và loại bỏ nhu cầu tin tưởng vào nguồn dữ liệu bên ngoài.

5.8 So sánh giữa bộ xử lý ZK và máy trung gian oracle

• Độ trễ: Oracle không đồng bộ, do đó độ trễ khi truy cập dữ liệu phẳng lâu hơn so với bộ đồng xử lý ZK.
• Chi phí: Trong khi nhiều hệ thống truy vấn không yêu cầu bằng chứng tính toán và do đó ít tốn kém hơn, chúng ít an toàn hơn. Lưu trữ các bằng chứng tốn kém hơn, nhưng an toàn hơn.
• Bảo mật: Bảo mật tối đa của dữ liệu truyền được giới hạn bởi mức độ bảo mật của oracles chính nó. Ngược lại, bộ xử lý ZK phù hợp với bảo mật của chuỗi. Ngoài ra, oracles dễ bị tấn công can thiệp do việc sử dụng các chứng minh ngoài chuỗi.

Hình dưới đây cho thấy quy trình làm việc của Pado:

Pado sử dụng các nút tiền điện tử làm trình chứng minh phụ trợ. Để giảm các giả định tin cậy, nhóm Pado sẽ áp dụng một chiến lược tiến hóa và dần dần cải thiện sự phân cấp của dịch vụ prover. Người chứng minh tích cực tham gia vào quá trình truy xuất và chia sẻ dữ liệu người dùng đồng thời chứng minh tính xác thực của dữ liệu người dùng thu được từ các nguồn dữ liệu mạng. Điều làm cho nó trở nên độc đáo là Pado tận dụng MPC-TLS (Transport Layer Secure Multi-Party Computation) và IZK (Interactive Zero-Knowledge Proof) để cho phép các nhà chứng minh dữ liệu "mù quáng". Điều này có nghĩa là người xác thực không thể xem bất kỳ dữ liệu gốc nào, bao gồm thông tin người dùng công khai và riêng tư. Tuy nhiên, người xác minh vẫn có thể đảm bảo nguồn gốc dữ liệu của bất kỳ dữ liệu TLS nào được truyền thông qua các phương pháp mật mã.

1. MPC-TLS: TLS là một giao thức bảo mật được sử dụng để bảo vệ sự riêng tư và tính toàn vẹn dữ liệu của các giao tiếp trên Internet. Khi bạn truy cập một trang web và thấy biểu tượng “khóa” và “https” trên URL, điều đó có nghĩa là việc truy cập của bạn được bảo vệ thông qua TLS. MPC-TLS bắt chước chức năng của một máy khách TLS, cho phép bộ xác thực của Pado hợp tác với máy khách TLS để thực hiện các nhiệm vụ sau:
   Lưu ý rằng các hoạt động liên quan đến TLS này được thực hiện giữa máy khách và người xác minh thông qua giao thức tính toán hai bên (2PC). Thiết kế của MPC-TLS dựa trên một số công nghệ mã hóa như mạch che giấu (GC), truyền thông quên (OT), IZK, vv.
   • Thiết lập kết nối TLS, bao gồm việc tính toán khóa chính, khóa phiên và thông tin xác minh.
   • Thực thi các truy vấn qua một kênh TLS, bao gồm việc tạo các yêu cầu được mã hóa và giải mã các phản hồi từ máy chủ.
2. EXC: Chứng minh không cần chứng minh tương tác là một loại chứng minh không cần chứng minh trong đó người chứng minh và người xác minh có thể tương tác. Trong giao thức IZK, kết quả của người xác minh là chấp nhận hoặc từ chối yêu cầu của người chứng minh. So với NIZK đơn giản (như zk-STARKs hoặc zk-SNARKs), giao thức IZK có một số ưu điểm như khả năng mở rộng cao đối với các yêu cầu lớn, chi phí tính toán thấp, không cần thiết lập tin cậy và sử dụng bộ nhớ tối thiểu.

Pado đang tích cực phát triển kết nối kyc của Uniswap, tìm kiếm thêm dữ liệu về các kịch bản ứng dụng trên chuỗi, và đã được chọn vào lô đầu tiên của chương trình Học bổng Consensys.

6. Tương Lai Tương Lai

ZK coprocessor cho phép blockchain thu thập nhiều dữ liệu hơn và có được tài nguyên tính toán ngoại chuỗi với chi phí thấp mà không làm hại tính phân tán. Nó cũng tách biệt luồng làm việc của hợp đồng thông minh và tăng cường Khả năng mở rộng và hiệu suất.

Chỉ từ phía nhu cầu, Bộ xử lý ZK là một sự cần thiết. Từ góc độ của DEX, khả năng này có tiềm năng lớn và có thể làm nhiều điều. Nếu sushiswap không có khả năng này, nó sẽ không thể cạnh tranh với uniswap, và nó sẽ bị loại bỏ sớm. Nếu không sử dụng zkcoprocessor cho khả năng này, gas sẽ rất đắt đỏ đối với các nhà phát triển và người dùng, vì khả năng này giới thiệu logic mới và làm cho hợp đồng thông minh phức tạp hơn, điều này làm ngược lại. Vì vậy, hiện tại, việc sử dụng bộ xử lý zk là giải pháp tốt nhất. Cho dù từ góc độ thu thập dữ liệu hay tính toán, có một số phương pháp có ưu và nhược điểm khác nhau. Bộ xử lý phù hợp cho các chức năng cụ thể là một bộ xử lý tốt. Thị trường tính toán có thể xác minh trên chuỗi có triển vọng rộng lớn và sẽ phản ánh giá trị mới trong nhiều lĩnh vực khác nhau.

Trong tương lai phát triển của blockchain, nó có tiềm năng phá vỡ các rào cản dữ liệu truyền thống của web2. Thông tin sẽ không còn là các đảo cô lập và đạt được tính tương tác mạnh mẽ hơn. ZK co-processors sẽ trở thành phần mềm trung gian mạnh mẽ để đảm bảo bảo mật, quyền riêng tư và điều kiện không cần tin cậy để giảm chi phí và tăng hiệu quả cho việc thu thập dữ liệu, tính toán và xác minh của các hợp đồng thông minh, giải phóng mạng dữ liệu, mở ra nhiều khả năng hơn và trở thành cơ sở hạ tầng cho các ứng dụng ý định thực và các đại lý trí tuệ trên chuỗi. Chỉ khi bạn không thể nghĩ đến nó, bạn mới không thể thực hiện được.

Tưởng tượng một kịch bản trong tương lai: sử dụng tính đáng tin cậy và bảo mật cao của ZK cho việc xác minh dữ liệu, các tài xế xe ôm trực tuyến có thể xây dựng một mạng lưới tổng hợp bổ sung vào nền tảng của họ. Mạng lưới dữ liệu này có thể bao gồm Uber, Lyft, Didi, bolt, vv., các tài xế xe ôm trực tuyến có thể cung cấp dữ liệu trên nền tảng của họ. Bạn lấy một phần, tôi lấy một phần, và đưa chúng lại cùng nhau trên blockchain. Dần dần, một mạng lưới độc lập với nền tảng của họ được thiết lập và tổng hợp. Tất cả dữ liệu của tài xế đã trở thành một bộ tổng hợp lớn của dữ liệu xe ôm trực tuyến, và đồng thời, nó có thể làm cho các tài xế trở nên ẩn danh và không tiết lộ thông tin cá nhân của họ.

7. Chỉ số

https://blog.axiom.xyz/what-is-a-zk-coprocessor/

https://crypto.mirror.xyz/BFqUfBNVZrqYau3Vz9WJ-BACw5FT3W30iUX3mPlKxtA

https://dev.risczero.com/api

https://blog.uniswap.org/uniswap-v4

https://blog.celer.network/2023/03/21/brevis-a-zk-omnichain-data-attestation-platform/

https://lagrange-labs.gitbook.io/lagrange-labs/overview/what-is-the-lagrange-protocol

https://docs.herodotus.dev/herodotus-docs/

https://docs.padolabs.org/

Tuyên bố:

1. Bài viết này được in lại từ [ForesightResearch]. Tất cả bản quyền thuộc về tác giả gốc [Mike]. Nếu có bất kỳ ý kiến phản đối nào về việc tái in này, vui lòng liên hệ với Gate Họcđội, và họ sẽ xử lý nhanh chóng.
2. Miễn trừ trách nhiệm: Các quan điểm và ý kiến được thể hiện trong bài viết này chỉ là của tác giả và không cấu thành bất kỳ lời khuyên đầu tư nào.
3. Các bản dịch của bài viết sang các ngôn ngữ khác được thực hiện bởi đội ngũ Gate Learn. Trừ khi được nêu rõ, việc sao chép, phân phối hoặc đạo văn các bài viết đã dịch là không được phép.