Tác giả gốc: Nhà nghiên cứu Zeke của YBB Capital
TLDR
Bộ đồng xử lý ZK có thể được coi là một plug-in điện toán ngoài chuỗi bắt nguồn từ khái niệm mô-đun. Chức năng của nó tương tự như GPU trong các máy tính truyền thống của chúng ta, chia sẻ các tác vụ điện toán đồ họa cho CPU, nghĩa là chia sẻ điện toán trong các tình huống cụ thể. bộ xử lý tác vụ;
Có thể được sử dụng để xử lý các phép tính phức tạp và dữ liệu nặng, giảm phí gas và mở rộng chức năng hợp đồng thông minh;
Sự khác biệt so với Rollup: Bộ đồng xử lý ZK không có trạng thái, có thể được sử dụng trên nhiều chuỗi và phù hợp với các tình huống điện toán phức tạp;
Bộ đồng xử lý ZK khó phát triển, có chi phí hoạt động cao và thiếu tiêu chuẩn hóa. Phần cứng đòi hỏi rất nhiều chi phí. Mặc dù đường đua đã trưởng thành hơn nhiều so với một năm trước nhưng nó vẫn đang ở giai đoạn đầu;
Sau khi cơ sở hạ tầng bước vào kỷ nguyên mô-đun mở rộng fractal, blockchain đã rơi vào nhiều vấn đề khác nhau như thiếu thanh khoản, người dùng phân tán, thiếu sự đổi mới và khả năng tương tác chuỗi chéo, đồng thời hình thành nghịch lý với L1 về mở rộng theo chiều dọc. Bộ đồng xử lý ZK có thể cung cấp khả năng tăng cường tốt cho cả hai trong tương lai, giúp chúng thoát khỏi rắc rối, hỗ trợ hiệu suất cho các ứng dụng cũ cũng như các ứng dụng mới và quan trọng, đồng thời mang đến nhiều câu chuyện mới mẻ hơn.
1. Một nhánh khác của cơ sở hạ tầng mô-đun, bộ đồng xử lý ZK
1.1 Tổng quan về bộ đồng xử lý ZK
Bộ đồng xử lý ZK có thể được coi là một plug-in điện toán ngoài chuỗi bắt nguồn từ khái niệm mô-đun. Chức năng của nó tương tự như GPU trong các máy tính truyền thống của chúng tôi chia sẻ các tác vụ điện toán đồ họa cho CPU, nghĩa là chia sẻ điện toán trong các tình huống cụ thể. Bộ xử lý của tác vụ. Trong khung thiết kế này, các tác vụ dữ liệu nặng và logic tính toán phức tạp mà chuỗi công khai không thực hiện tốt có thể được tính toán thông qua bộ đồng xử lý ZK. Chuỗi chỉ cần nhận kết quả tính toán trả về và tính chính xác của nó được đảm bảo bằng bằng chứng ZK. , các phép tính ngoài chuỗi đáng tin cậy cho các nhiệm vụ phức tạp cuối cùng cũng được hiện thực hóa.
Hiện tại, các ứng dụng phổ biến như AI, SocialFi, DEX và GameFi có nhu cầu cấp thiết về hiệu suất cao và kiểm soát chi phí. Trong các giải pháp truyền thống, những “ứng dụng nặng” đòi hỏi hiệu suất cao này thường chọn hình thức tài sản on-chain + off-chain. ứng dụng hoặc Thiết kế chuỗi ứng dụng riêng cho ứng dụng. Tuy nhiên, cả hai đều có một số vấn đề cố hữu, chẳng hạn như cái trước có hộp đen và cái sau có các vấn đề như chi phí phát triển cao, tách khỏi hệ sinh thái chuỗi ban đầu và sự phân mảnh thanh khoản. Ngoài ra, máy ảo chuỗi chính cũng có những hạn chế lớn trong việc phát triển và vận hành các ứng dụng đó (chẳng hạn như thiếu tiêu chuẩn lớp ứng dụng và ngôn ngữ phát triển phức tạp).
Sự tồn tại của bộ đồng xử lý ZK là để giải quyết những vấn đề như vậy. Để đưa ra một ví dụ chi tiết hơn, chúng ta có thể coi blockchain như một thiết bị đầu cuối không thể kết nối với Internet (điện thoại di động, máy tính, v.v.). một số ứng dụng Đơn giản hơn, chẳng hạn như ứng dụng DeFi như Uniswap, có thể chạy hoàn toàn trên chuỗi. Nhưng khi các ứng dụng phức tạp hơn xuất hiện, chẳng hạn như chạy một ứng dụng như ChatGPT, hiệu suất và khả năng lưu trữ của public chain sẽ hoàn toàn không đủ, và Gas sẽ bùng nổ. Trong trường hợp của Web2, điều tương tự cũng đúng khi chúng tôi chạy ChatGPT. Bản thân các thiết bị đầu cuối thông thường không thể xử lý GPT-4 o Mô hình ngôn ngữ lớn này. Chúng tôi cần truyền đạt vấn đề đến máy chủ OpenAI thông qua Internet sau khi máy chủ tính toán kết quả suy luận. , chúng tôi Bạn sẽ nhận được câu trả lời trực tiếp. Bộ đồng xử lý ZK tương tự như máy chủ từ xa của blockchain. Tuy nhiên, đối với các loại dự án khác nhau, thiết kế của các dự án bộ đồng xử lý khác nhau có thể có một chút sai lệch, nhưng logic cơ bản sẽ không khác nhiều. Chúng đều được xác minh thông qua chuỗi ngoài. tính toán + Bằng chứng ZK hoặc Bằng chứng lưu trữ. Lấy việc triển khai Bonsai của Rise Zero làm ví dụ, chúng ta có thể thấy logic của kiến trúc này rất đơn giản. Dự án được tích hợp liền mạch vào zkVM của Rise Zero. Các nhà phát triển chỉ cần hai bước đơn giản để sử dụng Bonsai làm bước đồng xử lý:
Viết ứng dụng zkVM để xử lý logic ứng dụng;
Viết hợp đồng Solidity yêu cầu Bonsai chạy ứng dụng zkVM của bạn và xử lý kết quả.
Sự khác biệt giữa 1.2 và Rollup là gì?
Trong định nghĩa trên, chúng ta sẽ thấy rằng Rollup dường như có mức độ trùng lặp cao với bộ đồng xử lý ZK bất kể mục tiêu hoặc logic triển khai của nó là gì. Nhưng trên thực tế, Rollup giống phiên bản đa lõi của chuỗi chính hơn. Sự khác biệt cụ thể giữa hai phiên bản này như sau:
1.Mục đích chính:
Rollup: Cải thiện thông lượng giao dịch blockchain và giảm phí giao dịch.
Bộ đồng xử lý ZK: Mở rộng khả năng tính toán của hợp đồng thông minh để cho phép chúng xử lý logic phức tạp hơn và lượng dữ liệu lớn hơn.
2. Nguyên tắc làm việc:
Tổng hợp: Tóm tắt các giao dịch trên chuỗi và gửi chúng đến chuỗi chính thông qua bằng chứng gian lận hoặc bằng chứng ZK.
Bộ đồng xử lý ZK: tương tự như ZK Rollup, ngoại trừ việc các kịch bản ứng dụng của cả hai là khác nhau.
3. Quản lý trạng thái:
Rollup: Cần duy trì trạng thái riêng và đồng bộ hóa với chuỗi chính thường xuyên.
Bộ đồng xử lý ZK: Không duy trì trạng thái liên tục và mỗi phép tính đều không có trạng thái.
4. Kịch bản ứng dụng:
Rollup: Chủ yếu dành cho bên C, thích hợp cho giao dịch tần suất cao.
Bộ đồng xử lý ZK: chủ yếu dành cho bên B, phù hợp với các kịch bản yêu cầu tính toán phức tạp, chẳng hạn như mô hình tài chính nâng cao, phân tích dữ liệu lớn, v.v.
5. Mối quan hệ với chuỗi chính:
Rollup: có thể được xem như một phần mở rộng của chuỗi chính, thường tập trung vào một mạng blockchain cụ thể.
Bộ đồng xử lý ZK: Nó có thể cung cấp dịch vụ cho nhiều blockchain và không giới hạn ở một chuỗi chính cụ thể, do đó, nó cũng có thể cung cấp dịch vụ cho Rollup.
Do đó, về bản chất, cả hai không loại trừ lẫn nhau và thậm chí còn bổ sung cho nhau. Ngay cả khi một Rollup tồn tại dưới dạng chuỗi ứng dụng, bộ đồng xử lý ZK vẫn có thể cung cấp dịch vụ.
1.3 Các trường hợp sử dụng
Về mặt lý thuyết, bộ đồng xử lý ZK có phạm vi ứng dụng rất rộng và về cơ bản có thể bao gồm các dự án trong nhiều tuyến blockchain khác nhau. Sự tồn tại của bộ đồng xử lý ZK có thể làm cho các chức năng của Dapp gần hơn với các chức năng của ứng dụng tập trung Web2. Sau đây là một số trường hợp sử dụng minh họa được thu thập từ Internet:
Phát triển DApp dựa trên dữ liệu
Bộ đồng xử lý ZK cho phép các nhà phát triển tạo DApp dựa trên dữ liệu, tận dụng dữ liệu lịch sử từ toàn bộ chuỗi và thực hiện các phép tính phức tạp mà không cần giả định độ tin cậy bổ sung. Điều này mang lại những khả năng chưa từng có cho việc phát triển DApp, chẳng hạn như:
Phân tích dữ liệu nâng cao: Chức năng phân tích dữ liệu trên chuỗi tương tự như Dune Analytics.
Logic nghiệp vụ phức tạp: Triển khai các thuật toán và logic nghiệp vụ phức tạp trong các ứng dụng tập trung truyền thống.
Ứng dụng chuỗi chéo: Xây dựng DApps chuỗi chéo dựa trên dữ liệu đa chuỗi.
Chương trình nhà giao dịch VIP của DEX
Một kịch bản ứng dụng điển hình là triển khai chương trình chiết khấu phí dựa trên khối lượng giao dịch trên một sàn giao dịch phi tập trung (DEX), tức là Chương trình khách hàng thân thiết của nhà giao dịch VIP. Loại kế hoạch này phổ biến ở các sàn giao dịch tập trung (CEX) nhưng hiếm ở DEX.
Bằng cách sử dụng bộ đồng xử lý ZK, DEX có thể:
Theo dõi khối lượng giao dịch lịch sử của người dùng
Tính cấp độ VIP của người dùng
Tự động điều chỉnh phí giao dịch theo cấp độ
Tính năng này có thể giúp DEX cải thiện khả năng giữ chân người dùng, tăng tính thanh khoản và cuối cùng là tăng doanh thu.
Tăng cường dữ liệu cho hợp đồng thông minh
Bộ đồng xử lý ZK có thể đóng vai trò là phần mềm trung gian mạnh mẽ để cung cấp dịch vụ thu thập, tính toán và xác minh dữ liệu cho hợp đồng thông minh, từ đó giảm chi phí và nâng cao hiệu quả. Điều này cho phép các hợp đồng thông minh:
Truy cập và xử lý lượng lớn dữ liệu lịch sử
Thực hiện các phép tính phức tạp ngoài chuỗi
Triển khai logic kinh doanh nâng cao hơn
Công nghệ cầu xuyên chuỗi
Một số công nghệ cầu nối chuỗi chéo dựa trên ZK, chẳng hạn như Herodotus và Lagrange, cũng có thể được coi là một ứng dụng của bộ đồng xử lý ZK. Những công nghệ này chủ yếu tập trung vào việc trích xuất và xác minh dữ liệu, cung cấp cơ sở dữ liệu đáng tin cậy cho giao tiếp xuyên chuỗi.
1.4 Bộ đồng xử lý ZK không hoàn hảo
Mặc dù chúng tôi đã liệt kê nhiều ưu điểm nhưng giai đoạn hiện tại của bộ đồng xử lý ZK vẫn chưa hoàn hảo và còn phải đối mặt với nhiều vấn đề. Cá nhân tôi đã tóm tắt những điểm sau:
1. Phát triển: Khái niệm ZK khó hiểu đối với nhiều nhà phát triển. Phát triển cũng đòi hỏi kiến thức về mật mã liên quan và sự thông thạo các ngôn ngữ và công cụ phát triển cụ thể;
2. Chi phí phần cứng cao: Phần cứng ZK được sử dụng cho điện toán ngoài chuỗi cần phải do chính dự án chịu hoàn toàn. Phần cứng ZK rất đắt tiền và vẫn đang trong quá trình phát triển và lặp lại nhanh chóng, đồng thời phần cứng có thể bị lỗi thời bất cứ lúc nào. Liệu điều này có thể tạo thành một vòng khép kín trong logic nghiệp vụ hay không cũng là một câu hỏi đáng xem xét;
3. Đường đua đông đúc: Trên thực tế, sẽ không có sự khác biệt lớn trong việc triển khai kỹ thuật. Cuối cùng, nó có thể giống với mô hình Lớp 2 hiện tại, nhưng hầu hết đều bị bỏ qua. ;
Mạch 4.zk: Việc thực hiện các phép tính ngoài chuỗi trong bộ đồng 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 các mạch zk. Việc viết các mạch tùy chỉnh cho từng ứng dụng là rất phức tạp và việc sử dụng zkvm để viết các mạch trong máy ảo có các mô hình tính toán khác nhau. .
2. Những mảnh ghép quan trọng dẫn đến ứng dụng quy mô lớn
(Chương này mang tính chủ quan cao và chỉ thể hiện quan điểm cá nhân của tác giả)
Chu trình này bị chi phối bởi cơ sở hạ tầng mô-đun. Nếu con đường mô-đun hóa là đúng thì chu trình này có thể là bước cuối cùng hướng tới ứng dụng quy mô lớn. Tuy nhiên, ở giai đoạn hiện tại, tất cả chúng ta đều có cảm giác chung. Tại sao chúng ta chỉ có thể thấy một số loại rượu cũ có ứng dụng mới? Tại sao có nhiều chuỗi hơn các ứng dụng? tròn?
Lý do thiếu các báo cáo mới mẻ như vậy là do cơ sở hạ tầng mô-đun hiện tại không đủ để hỗ trợ các siêu ứng dụng, đặc biệt là thiếu một số điều kiện tiên quyết (khả năng tương tác toàn chuỗi, ngưỡng người dùng, v.v.), đã góp phần gây ra thiệt hại lớn nhất. sự phát triển trong lịch sử của blockchain dưới hình thức tách biệt. Rollup, cốt lõi của kỷ nguyên mô-đun, nhanh chóng, nhưng nó cũng mang lại nhiều vấn đề, đó là sự phân mảnh thanh khoản, sự phân tán của người dùng, chuỗi hoặc bản thân máy ảo mà chúng tôi đã nhiều lần nhấn mạnh ở trên vẫn hạn chế sự đổi mới ứng dụng. Mặt khác, Celestia, một “người chủ chốt” khác của mô-đun, đã đi tiên phong trong ý tưởng rằng DA không cần phải có trên Ethereum. Ý tưởng này càng làm tăng thêm sự phân mảnh. Cho dù bắt đầu từ hệ tư tưởng hay chi phí của DA, kết quả là BTC buộc phải làm DA, và các chuỗi công khai khác phải làm DA tiết kiệm chi phí hơn. Tình hình hiện tại là mỗi chuỗi công khai chỉ có một hoặc nhiều. có tới hàng chục dự án Lớp 2. Cuối cùng, tất cả các bên tham gia dự án cơ sở hạ tầng và sinh thái đều đã nghiên cứu sâu về lối chơi diệt rồng (OpenSea) do Blur (Tieshun) tiên phong, yêu cầu người dùng phải cầm cố Token trong dự án kiểu một mũi tên trúng ba con chim (lãi suất, ETH). cho cá voi Hoặc sự gia tăng của mô hình BTC và Token miễn phí) đã làm giảm thêm tính thanh khoản trên chuỗi.
Trong thị trường tăng trưởng trước đây, tiền sẽ chỉ chảy vào một vài đến một chục chuỗi công khai và thậm chí có thể nói là chỉ tập trung vào Ethereum. Nhưng số tiền ngày nay nằm rải rác trên hàng trăm chuỗi công khai và được cam kết trong hàng nghìn dự án giống nhau. Sự thịnh vượng trên chuỗi không còn nữa và thậm chí Ethereum cũng không có hoạt động trên chuỗi. Vì vậy, người chơi PVP phương Đông trong hệ sinh thái BTC và người chơi PVP phương Tây trong Solana đều bất lực. Vì vậy, điều cá nhân tôi quan tâm nhất lúc này là làm thế nào để thúc đẩy tổng hợp thanh khoản trên toàn chuỗi và làm thế nào để hỗ trợ sự ra đời của lối chơi mới và siêu ứng dụng. Trong lộ trình tương tác toàn chuỗi, một số dự án hàng đầu truyền thống đã thực sự hoạt động kém. Chúng vẫn giống những cây cầu xuyên chuỗi truyền thống hơn. Giải pháp tương tác mới cũng đã được thảo luận trong báo cáo nghiên cứu trước đây của chúng tôi, chủ yếu bằng cách tổng hợp nhiều chuỗi thành một chuỗi duy nhất. Hiện tại, chúng tôi đang nghiên cứu về AggLayer, Superchain, Elastic Chain, JAM, v.v., những vấn đề này sẽ không được thảo luận ở đây.
Nhìn chung, việc tổng hợp toàn bộ chuỗi là một trở ngại cần phải vượt qua theo cấu trúc mô-đun, nhưng trở ngại này vẫn sẽ mất nhiều thời gian. Bộ đồng xử lý ZK là một mảnh ghép quan trọng hơn ở giai đoạn hiện tại. Ngoài việc củng cố Lớp 2, nó còn có thể củng cố Lớp 1. Liệu trong tương lai có thể tạm thời thoát khỏi hai vấn đề nghịch lý toàn chuỗi và tam giác không? triển khai một số ứng dụng hiện tại trên một số Lớp 1 hoặc Lớp 2 có tính thanh khoản rộng? Rốt cuộc, câu chuyện về ứng dụng blockchain hiện tại thực sự còn thiếu. Mặt khác, để đạt được sự đa dạng hóa về lối chơi, kiểm soát gas, sự xuất hiện của các ứng dụng quy mô lớn và thậm chí là chuỗi chéo, việc hạ thấp ngưỡng người dùng, việc tích hợp giải pháp đồng xử lý sẽ là giải pháp lý tưởng hơn so với việc dựa vào tập trung hóa.
3. Danh sách dự án
Dòng bộ đồng xử lý ZK về cơ bản xuất hiện vào khoảng năm 2023 và đã tương đối trưởng thành ở giai đoạn hiện tại. Theo phân loại của Messari, các dự án hiện tại của đường đua có thể được chia thành ba lĩnh vực dọc chính (điện toán chung, khả năng tương tác và chuỗi chéo, AI và đào tạo máy), với 18 dự án. Hầu hết các dự án này đều được hỗ trợ bởi các VC hàng đầu. Chúng tôi chọn một số dự án thuộc các lĩnh vực dọc khác nhau để mô tả bên dưới.
3.1 Giza
Giza là giao thức zkML (máy học không kiến thức) được triển khai trên Starknet và được StarkWare hỗ trợ chính thức, tập trung vào việc cho phép các mô hình trí tuệ nhân tạo được sử dụng một cách có thể xác minh được trong các hợp đồng thông minh blockchain. Các nhà phát triển có thể triển khai các mô hình AI vào mạng Giza và sau đó Giza xác minh tính chính xác trong lý luận của mô hình thông qua bằng chứng không có kiến thức và cung cấp kết quả cho các hợp đồng thông minh theo cách không đáng tin cậy. Điều này cho phép các nhà phát triển xây dựng các ứng dụng trên chuỗi kết hợp các khả năng AI trong khi vẫn duy trì tính phân cấp và khả năng xác minh của chuỗi khối.
Giza hoàn tất quy trình làm việc bằng cách thực hiện ba bước sau:
Chuyển đổi mô hình: Giza chuyển đổi các mô hình AI định dạng ONNX thường được sử dụng thành định dạng có thể chạy trong hệ thống chứng minh không có kiến thức. Điều này cho phép các nhà phát triển đào tạo các mô hình bằng các công cụ quen thuộc và sau đó triển khai chúng lên mạng Giza.
Lý luận ngoài chuỗi: Khi hợp đồng thông minh yêu cầu lý luận theo mô hình AI, Giza sẽ thực hiện các phép tính thực tế ngoài chuỗi. Điều này tránh được chi phí cao khi chạy các mô hình AI phức tạp trực tiếp trên blockchain.
Xác minh không có kiến thức: Giza tạo bằng chứng ZK cho từng suy luận mô hình để chứng minh rằng phép tính được thực hiện chính xác. Những bằng chứng này được xác minh trên chuỗi, đảm bảo tính chính xác của kết quả suy luận mà không phải lặp lại toàn bộ quá trình tính toán trên chuỗi.
Cách tiếp cận của Giza cho phép các mô hình AI đóng vai trò là nguồn đầu vào đáng tin cậy cho các hợp đồng thông minh mà không cần dựa vào các oracle tập trung hoặc môi trường thực thi đáng tin cậy. Điều này mở ra những khả năng mới cho các ứng dụng blockchain, chẳng hạn như quản lý tài sản dựa trên AI, phát hiện gian lận và định giá linh hoạt. Đây là một trong số ít các dự án vòng kín logic trong Web3 x AI hiện tại và cũng là một ứng dụng tuyệt vời của tính năng đồng xử lý trong lĩnh vực AI.
3.2 Không có rủi ro
Risc Zero là một dự án bộ đồng xử lý được hỗ trợ bởi nhiều VC hàng đầu và là một trong những dự án tốt nhất trong lĩnh vực này. Dự án tập trung vào việc cho phép thực hiện các phép tính tùy ý một cách có thể xác minh được trong các hợp đồng thông minh blockchain. Các nhà phát triển có thể sử dụng Rust để viết chương trình và triển khai chúng vào mạng RISC Zero, sau đó xác minh tính chính xác của việc thực thi chương trình thông qua bằng chứng không có kiến thức và cung cấp kết quả cho hợp đồng thông minh theo cách không đáng tin cậy. Điều này cho phép các nhà phát triển xây dựng các ứng dụng phức tạp trên chuỗi trong khi vẫn duy trì tính phân cấp và khả năng xác minh của chuỗi khối.
Chúng tôi đã nói ngắn gọn về quá trình triển khai và làm việc ở trên và ở đây chúng tôi sẽ nói chi tiết về hai thành phần chính:
Bonsai: Bonsai của RISC Zero là thành phần đồng xử lý trong dự án. Nó được tích hợp liền mạch vào zkVM của kiến trúc tập lệnh RISC-V, cho phép các nhà phát triển nhanh chóng tích hợp các bằng chứng không có kiến thức hiệu suất cao vào Ethereum và L1 trong một Trong chuỗi khối, chuỗi ứng dụng Cosmos, cuộn L2 và dApps, nó cung cấp các lệnh gọi trực tiếp đến hợp đồng thông minh, tính toán ngoài chuỗi có thể kiểm chứng, khả năng tương tác chuỗi chéo và các chức năng tổng hợp phổ quát. Nó cũng áp dụng thiết kế kiến trúc phân tán đầu tiên. kết hợp với Nó có các bằng chứng đệ quy, trình biên dịch mạch tùy chỉnh, tiếp tục trạng thái và các thuật toán chứng minh được cải tiến liên tục, cho phép bất kỳ ai tạo ra các bằng chứng không có kiến thức hiệu suất cao cho nhiều ứng dụng.
zKVM: zkVM là một máy tính có thể xác minh hoạt động giống như bộ vi xử lý RISC-V nhúng thực sự. Máy ảo này dựa trên kiến trúc tập lệnh RISC-V, cho phép các nhà phát triển sử dụng nhiều ngôn ngữ lập trình khác nhau như Rust, C++, Solidity, Go và các ngôn ngữ lập trình cấp cao khác để viết các chương trình có thể tạo ra số 0 -bằng chứng kiến thức. Nó hỗ trợ hơn 70% các thùng Rust phổ biến. Nó đạt được sự kết hợp liền mạch giữa tính toán chung và bằng chứng không có kiến thức, đồng thời có thể tạo ra các bằng chứng không có kiến thức hiệu quả để tính toán ở bất kỳ mức độ phức tạp nào, đồng thời duy trì tính riêng tư của phép tính. quy trình và khả năng xác minh của kết quả. zkVM sử dụng STARK và SNARK, bao gồm công nghệ ZK thực hiện việc tạo và xác minh bằng chứng hiệu quả thông qua các thành phần như Recursion Prover và STARK-to-SNARK Prover, hỗ trợ các chế độ thực thi ngoài chuỗi và xác minh trên chuỗi.
Risc Zero đã tích hợp với nhiều Lớp 2 dựa trên ETH và thể hiện nhiều trường hợp sử dụng Bonsai, trong đó thú vị hơn là Bonsai Pay. Bản demo sử dụng bằng chứng dịch vụ zkVM và Bonsai của RISC Zero để cho phép người dùng gửi hoặc rút ETH và mã thông báo trên Ethereum bằng tài khoản Google. Nó cho thấy cách RISC Zero có thể tích hợp liền mạch các ứng dụng trên chuỗi với OAuth 2.0 (tiêu chuẩn được các nhà cung cấp danh tính lớn như Google sử dụng), một trường hợp sử dụng tích hợp giúp giảm rào cản gia nhập đối với người dùng Web3 so với các ứng dụng Web2 truyền thống, cùng nhiều thứ khác. Ví dụ dựa trên các ứng dụng như DAO.
3,3 = không;
=nil; Nó được đầu tư bởi các dự án và tổ chức nổi tiếng như Mina, Polychain, Starkware và Blockchain Capital. Điều đáng chú ý là các bên dự án có công nghệ zk tiên tiến như Mina và Starkware cũng nằm trong số đó. mức độ công nhận kỹ thuật của dự án vẫn còn cao. =nil; Đây cũng là dự án được đề cập trong báo cáo nghiên cứu Thị trường điện toán của chúng tôi. Vào thời điểm đó, nó chủ yếu tập trung vào Thị trường chứng minh =nil; (thị trường tạo bằng chứng phi tập trung). Dự án thực sự cũng có một sản phẩm phụ, zkLLVM.
zkLLVM là một trình biên dịch mạch tiên tiến được phát triển bởi =nil; Nó có thể tự động chuyển đổi các mã ứng dụng được viết bằng các ngôn ngữ phát triển chính thống như C++ và Rust thành các mạch có thể chứng minh hiệu quả trên Ethereum mà không cần sử dụng các trường cụ thể không có kiến thức. (DSL), do đó đơn giản hóa đáng kể quá trình phát triển và hạ thấp ngưỡng phát triển, đồng thời cải thiện hiệu suất bằng cách không liên quan đến zkVM (máy ảo không kiến thức). Nó hỗ trợ tăng tốc phần cứng để tăng tốc độ tạo bằng chứng. Các bản tổng hợp, cầu nối chuỗi chéo, các kịch bản ứng dụng ZK khác nhau như oracle, máy học và trò chơi, đồng thời được tích hợp chặt chẽ với Proof Market của Foundation để cung cấp cho các nhà phát triển sự hỗ trợ toàn diện từ tạo mạch đến tạo bằng chứng.
3.4 Brevis
Dự án này là một dự án con của Celer Network. Bervis là một bộ đồng xử lý không có kiến thức (ZK) thông minh dành cho chuỗi khối cho phép các dApp truy cập, tính toán và sử dụng trên nhiều chuỗi khối theo cách hoàn toàn không cần tin cậy. Giống như các bộ đồng xử lý khác, Brevis cũng có nhiều trường hợp sử dụng, chẳng hạn như DeFi dựa trên dữ liệu, zkBridges, chuyển đổi người dùng trên chuỗi, zkDID và trừu tượng hóa tài khoản xã hội.
Kiến trúc của Brevis chủ yếu bao gồm ba phần:
zkFabric: zkFabric là bộ lặp cho kiến trúc Brevis. Nhiệm vụ chính của nó là thu thập và đồng bộ hóa thông tin tiêu đề khối từ tất cả các chuỗi khối được kết nối và cuối cùng tạo ra bằng chứng đồng thuận cho từng tiêu đề khối được thu thập thông qua mạch máy khách ZK nhẹ.
zkQueryNet: zkQueryNet là thị trường công cụ truy vấn ZK mở có thể chấp nhận trực tiếp các truy vấn dữ liệu từ hợp đồng thông minh trên chuỗi và cũng có thể tạo kết quả truy vấn và chứng chỉ truy vấn ZK tương ứng thông qua mạch công cụ truy vấn ZK. Các công cụ này bao gồm từ chuyên môn hóa cao (chẳng hạn như tính toán khối lượng giao dịch của DEX trong một khoảng thời gian cụ thể) đến trừu tượng hóa chỉ mục dữ liệu có tính tổng quát cao và ngôn ngữ truy vấn cấp cao để đáp ứng nhiều nhu cầu ứng dụng khác nhau.
zkAggregatorRollup: Hoạt động như lớp tổng hợp và lưu trữ cho zkFabric và zkQueryNet. Nó xác minh bằng chứng của cả hai thành phần, lưu trữ dữ liệu đã được chứng thực và cam kết gốc trạng thái chứng minh ZK của nó cho tất cả các chuỗi khối được kết nối, cho phép các dApp truy cập trực tiếp vào logic kinh doanh đã được chứng thực của kết quả tìm kiếm hợp đồng thông minh trên chuỗi của họ.
Thông qua kiến trúc mô-đun này, Brevis có thể cung cấp quyền truy cập không đáng tin cậy, hiệu quả và linh hoạt vào các hợp đồng thông minh trên tất cả các chuỗi công khai được hỗ trợ. Dự án này cũng đã được áp dụng trong phiên bản V4 của UNI và được tích hợp với Hooks trong giao thức (một hệ thống tích hợp logic tùy chỉnh cho nhiều người dùng khác nhau) để hỗ trợ việc đọc dữ liệu blockchain lịch sử, giảm phí gas và đảm bảo tính phân cấp. Đây là một ví dụ về bộ đồng xử lý zk điều khiển DEX.
3.5 Lagrange
Lagrange là một giao thức bộ đồng xử lý zk có khả năng tương tác do 1kx và Founders Fund dẫn đầu. Mục đích chính của giao thức là cung cấp khả năng tương tác chuỗi chéo không đáng tin cậy và hỗ trợ đổi mới các ứng dụng yêu cầu tính toán phức tạp về dữ liệu lớn. Không giống như các cầu nối nút truyền thống, khả năng tương tác chuỗi chéo của Lagrange chủ yếu đạt được thông qua các cơ chế Ủy ban Nhà nước và Dữ liệu lớn ZK đổi mới.
Dữ liệu lớn ZK: Sản phẩm này là cốt lõi của Langrange và chịu trách nhiệm chính trong việc xử lý và xác minh dữ liệu chuỗi chéo cũng như tạo chứng chỉ ZK có liên quan. Thành phần này bao gồm Bộ đồng xử lý ZK song song cao để thực hiện các phép tính phức tạp ngoài chuỗi và tạo bằng chứng không có kiến thức. Cơ sở dữ liệu có thể xác minh được thiết kế đặc biệt hỗ trợ các khe lưu trữ không giới hạn và truy vấn SQL trực tiếp cho hợp đồng thông minh. Cơ chế cập nhật động chỉ cập nhật các điểm dữ liệu đã thay đổi để giảm bớt. Chứng minh theo thời gian, cùng với chức năng tích hợp cho phép các nhà phát triển truy cập dữ liệu lịch sử bằng truy vấn SQL trực tiếp từ hợp đồng thông minh mà không cần viết các mạch phức tạp, cùng nhau tạo thành một hệ thống xác minh và xử lý dữ liệu blockchain quy mô lớn.
Ủy ban Nhà nước: Thành phần này là một mạng xác minh phi tập trung bao gồm nhiều nút độc lập, mỗi nút cam kết ETH làm tài sản thế chấp. Các nút này hoạt động như các máy khách ZK nhẹ và được dành riêng để xác minh trạng thái của các bản tổng hợp tối ưu hóa cụ thể. Ủy ban Nhà nước tích hợp với AVS của EigenLayer, sử dụng cơ chế cam kết chặt chẽ để tăng cường bảo mật, hỗ trợ sự tham gia của số lượng nút không giới hạn và đạt được mức tăng trưởng bảo mật siêu tuyến tính. Nó cũng cung cấp chế độ nhanh cho phép người dùng thực hiện các hoạt động xuyên chuỗi mà không cần chờ đến cửa sổ thử thách, cải thiện đáng kể trải nghiệm người dùng. Sự kết hợp của hai công nghệ này cho phép Lagrange xử lý hiệu quả dữ liệu quy mô lớn, thực hiện các phép tính phức tạp cũng như truyền và xác minh kết quả giữa các chuỗi khối khác nhau một cách an toàn, cung cấp hỗ trợ cho việc phát triển các ứng dụng chuỗi chéo phức tạp.
Lagrange hiện được tích hợp với EigenLayer, Mantle, Base, Frax, Polymer, LayerZero, Omni, AltLayer, v.v. và cũng sẽ được liên kết trong hệ sinh thái Ethereum với tư cách là ZK AVS đầu tiên.
Người giới thiệu
1.ABCDE: Tìm hiểu sâu về Bộ đồng xử lý ZK và tương lai của nó: https://medium.com/@ABCDE.com/en-abcde-a-deep-dive-into-zk-coprocessor-and-its-future-1d1b3f33f946
2. “ZK” là tất cả những gì bạn cần: https://medium.com/@gate_ventures/zk-is-all-you-need-238886062c 52
3.Risc zero: https://www.risczero.com/bonsai
4.Lagrange: https://www.lagrange.dev/blog/interoperability-for-modular-blockchains-the-lagrange-t tổng hợp
5.AxiomBlog: https://blog.axiom.xyz/
6. Nitơ tăng tốc! Cách bộ đồng xử lý ZK phá vỡ các rào cản dữ liệu hợp đồng thông minh: https://foresightnews.pro/article/detail/48239
