Bộ đồng xử lý không kiến thức có thể được hiểu là một plug-in điện toán ngoài chuỗi bắt nguồn từ khái niệm mô-đun, tương tự như Trong máy tính truyền thống , GPU sẽ giảm tải các tác vụ tính toán đồ họa khỏi CPU, cho phép CPU xử lý các tác vụ tính toán cụ thể. Theo khung thiết kế này, các nhiệm vụ mà chuỗi công khai không giỏi, chẳng hạn như "dữ liệu nặng", "logic tính toán phức tạp", v.v., có thể được giao cho bộ đồng xử lý không có kiến thức để tính toán. kết quả tính toán và chuyển chúng qua bộ đồng xử lý không có kiến thức. Bằng chứng kiến thức được sử dụng để đảm bảo tính chính xác của nó và cuối cùng cho phép tính toán các tác vụ phức tạp ngoài chuỗi một cách đáng tin cậy.
Hiện nay, 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” với yêu cầu hiệu suất cực cao này thường chọn mô hình ứng dụng nội dung on-chain + off-chain hoặc thiết kế một chuỗi ứng dụng riêng biệt. Tuy nhiên, cả hai phương pháp đều có những vấn đề cố hữu: phương pháp trước có “hộp đen”, trong khi phương pháp sau gặp phải 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à tính thanh khoản bị phân mảnh. Ngoài ra, máy ảo chuỗi chính cũng đặt ra những hạn chế lớn đối với 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, ngôn ngữ phát triển phức tạp, v.v.).
Bộ đồng xử lý ZK được thiết kế để giải quyết những vấn đề này. Để đưa ra một ví dụ cụ thể hơn, chúng ta có thể tưởng tượng blockchain như một thiết bị đầu cuối không thể kết nối với Internet (chẳng hạn như điện thoại di động hoặc máy tính). Trong trường hợp này, chúng ta có thể chạy các ứng dụng tương đối đơn giản hoàn toàn trên chuỗi, chẳng hạn như Uniswap hoặc. các ứng dụng DeFi khác. Nhưng khi các ứng dụng phức tạp hơn xuất hiện, chẳng hạn như các ứng dụng đang chạy như ChatGPT, hiệu suất và khả năng lưu trữ của public chain sẽ hoàn toàn không đủ, dẫn đến nổ gas. Trong kịch bản Web2, khi chúng tôi chạy ChatGPT, bản thân thiết bị đầu cuối thông thường của chúng tôi không thể xử lý mô hình ngôn ngữ lớn GPT-4o, chúng tôi cần kết nối với máy chủ OpenAI để chuyển tiếp câu hỏi. Sau khi máy chủ tính toán và suy ra kết quả, chúng tôi nhận được câu trả lời. trực tiếp. Bộ đồng xử lý ZK giống như một máy chủ từ xa dành cho chuỗi khối. Các dự án bộ đồng xử lý khác nhau có thể có sự khác biệt nhỏ về thiết kế tùy thuộc vào loại dự án, nhưng logic cơ bản gần như giống nhau - tính toán ngoài chuỗi + bằng chứng ZK hoặc bằng chứng lưu trữ để xác minh.
Lấy việc triển khai Bonsai của Rise Zero làm ví dụ. Kiến trúc này rất trực quan. Dự án tích hợp hoàn toàn vào zkVM của Rise Zero, cho phép các nhà phát triển sử dụng Bonsai làm bộ đồng xử lý chỉ trong hai bước đơn giản:
Từ định nghĩa ở trên Có vẻ như logic triển khai và mục tiêu của Rollups và Bộ đồng xử lý ZK rất chồng chéo, nhưng Rollups giống như một phần mở rộng đa lõi của chuỗi chính. Sự khác biệt cụ thể giữa hai bộ này như sau:
1 .Mục đích chính:2. Nguyên tắc làm việc:
3. Quản lý trạng thái:
4. Kịch bản ứng dụng:
5. Mối quan hệ với chuỗi chính:
< li>Rollups: được coi là 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: có thể phân phát nhiều chuỗi khối, không giới hạn ở một chuỗi chính cụ thể và cũng có thể phân phát các bản tổng hợp.
Do đó, cả hai không loại trừ lẫn nhau mà bổ sung cho nhau. Ngay cả khi Rollup tồn tại dưới dạng một chuỗi ứng dụng, Bộ đồng xử lý ZK. vẫn có thể cung cấp Dịch vụ.
1.3 Trường hợp sử dụng
Về mặt lý thuyết, phạm vi ứng dụng của bộ đồng xử lý ZK rất rộng, bao gồm các dự án trong các lĩnh vực khác nhau của blockchain. Bộ đồng xử lý ZK cho phép Dapp có chức năng gần hơn với các ứng dụng Web2 tập trung. Dưới đây là một số trường hợp sử dụng mẫu được thu thập từ các nguồn trực tuyến:
Phát triển DApp theo hướng 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ử hoàn chỉnh trên chuỗi để 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 mở ra 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: tương tự Bật -Chức năng phân tích dữ liệu chuỗi của 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 Dapp chuỗi chéo dựa trên dữ liệu đa chuỗi.
Gói dành cho nhà giao dịch VIP của DEX:
A A điển hình kịch bản ứng dụng là triển khai chương trình giảm giá dựa trên khối lượng giao dịch trong DEX, tức là "Chương trình khách hàng thân thiết của nhà giao dịch VIP". Các kế hoạch như vậy phổ biến ở CEX nhưng hiếm ở DEX.
Với 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 dựa trên cấp độ VIP. Tính năng này 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.
Nâng cao dữ liệu của hợp đồng thông minh:
Hiệp hội ZK Bộ xử lý 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 các 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 nối chuỗi chéo:
Một số dựa trên trên các công nghệ cầu nối chuỗi chéo ZK, chẳng hạn như Herodotus, Lagrange, v.v., cũng có thể được coi là ứng dụng của bộ đồng xử lý ZK. Các 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 dữ liệu đáng tin cậy cho giao tiếp xuyên chuỗi.
Bộ đồng xử lý ZK 1.4 không hoàn hảo
Mặc dù có rất nhiều bộ đồng xử lý ZK Ưu điểm, nhưng nó chưa hoàn hảo ở giai đoạn này và vẫn còn một số vấn đề tôi đã tóm tắt những điểm sau:
Phát triển: Nhiều nhà phát triển khó nắm vững khái niệm ZK. Việc phát triển đò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ể.
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 phải do bên dự án chịu hoàn toàn. Phần cứng ZK rất đắt tiền và. phát triển nhanh và có thể bị loại bỏ bất cứ lúc nào. Liệu nó có thể hình thành một vòng kinh doanh khép kín hay không là một câu hỏi đáng suy nghĩ.
Trường đông người: Về mặt kỹ thuật, sẽ không có nhiều khác biệt trong cách thực hiện và kết quả cuối cùng có thể sẽ giống với A hiện tại Bối cảnh Layer2 trong đó một số dự án nổi bật nổi bật trong khi phần còn lại phần lớn bị bỏ qua.
Mạch ZK: Thực hiện tính toán 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 mạch ZK. Việc viết các mạch tùy chỉnh cho từng ứng dụng rất phức tạp và việc viết các mạch sử dụng zkVM trong máy ảo sẽ phát sinh chi phí tính toán đáng kể do các mô hình điện toán khác nhau.
II. Các yếu tố chính để được áp dụng rộng rãi
( Nội dung trong phần 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 chủ yếu được dẫn dắt bởi cơ sở hạ tầng mô-đun. Nếu mô-đun là con đường đúng đắn thì chu trình này có thể là bước cuối cùng hướng tới việc áp dụng đại trà. Tuy nhiên, ở giai đoạn này, tất cả chúng ta đều có một cảm giác chung: tại sao chúng ta chỉ thấy một số ứng dụng cũ được đóng gói lại, tại sao có nhiều chuỗi hơn ứng dụng và tại sao các tiêu chuẩn mã thông báo mới như Inscription lại được ca ngợi là Sự đổi mới lớn nhất của chu kỳ?
Lý do cơ bản cho việc thiếu các báo cáo mới là 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 (chuỗi chéo). khả năng tương tác, rào cản người dùng, v.v.), dẫn đến sự phân mảnh nghiêm trọng nhất trong lịch sử của blockchain. Rollups, với tư cách là cốt lõi của kỷ nguyên mô-đun, thực sự đã đẩy nhanh quá trình, nhưng chúng cũng gây ra nhiều vấn đề, chẳng hạn như phân mảnh thanh khoản, phân tán người dùng và những hạn chế của chính chuỗi hoặc máy ảo trong đổi mới ứng dụng. Ngoài ra, một “người chơi quan trọng” khác trong tính mô-đun, Celestia, đã vạch ra dấu vết trong đó DA không nhất thiết phải có trên Ethereum, điều này càng làm trầm trọng thêm sự phân mảnh. Cho dù được thúc đẩy bởi hệ tư tưởng hay chi phí DA, kết quả là BTC buộc phải trở thành DA và các chuỗi công khai khác nhằm mục đích cung cấp các giải pháp DA hiệu quả hơn về mặt chi phí. Tình hình hiện tại là mỗi chuỗi công khai có ít nhất một hoặc thậm chí hàng chục dự án Lớp 2. Ngoài ra, tất cả các dự án cơ sở hạ tầng và sinh thái đều đã tìm hiểu sâu về chiến lược đặt cược mã thông báo do Blur tiên phong, yêu cầu người dùng phải cầm cố mã thông báo trong dự án. Mô hình này cho phép cá voi được hưởng lợi từ ba khía cạnh (lãi suất, mức tăng giá ETH hoặc BTC, mã thông báo miễn phí), đồng thời nén thêm tính thanh khoản trên chuỗi.
Trong thị trường tăng giá trước đây, tiền sẽ chỉ chảy vào một vài đến hàng chục chuỗi công khai, thậm chí chủ yếu tập trung vào Ethereum. Các quỹ hiện được trải đều trên hàng trăm chuỗi công khai và đặt cược vào hàng nghìn dự án tương tự, dẫn đến hoạt động trên chuỗi bị giảm. Ngay cả Ethereum cũng bị thiếu hoạt động trên chuỗi. Vì vậy, người chơi phương Đông PVP trong hệ sinh thái BTC, trong khi người chơi phương Tây PVP ở Solana là không cần thiết.
Vì vậy, trọng tâm hiện tại của tôi là làm thế nào để thúc đẩy tính thanh khoản tổng hợp của tất cả các chuỗi và hỗ trợ sự xuất hiện của lối chơi mới và siêu ứng dụng. Trong lĩnh vực tương tác xuyên chuỗi, các dự án hàng đầu truyền thống hoạt động kém và vẫn giống với các cầu nối chuỗi chéo truyền thống. Các giải pháp tương tác mới mà chúng tôi đã thảo luận trong các báo cáo trước đây chủ yếu nhằm mục đích tổng hợp nhiều chuỗi thành một. Các ví dụ bao gồm AggLayer, Superchain, Elastic Chain, JAM, v.v., sẽ không được giới thiệu từng cái một ở đây. Nhìn chung, việc tổng hợp chuỗi chéo là một trở ngại cần thiết đối với cơ sở hạ tầng mô-đun, nhưng sẽ mất nhiều thời gian để vượt qua.
Bộ đồng xử lý ZK là một phần quan trọng của giai đoạn hiện tại. Chúng tăng cường Layer2 và bổ sung cho Layer1. Có cách nào để tạm thời vượt qua chuỗi chéo và bộ ba bất khả thi, cho phép chúng tôi triển khai một số ứng dụng hiện tại trên một số Layer1 hoặc Layer2 với tính thanh khoản rộng rãi không? Rốt cuộc, các ứng dụng blockchain thiếu những câu chuyện mới mẻ. Ngoài ra, việc kích hoạt các chế độ trò chơi đa dạng, kiểm soát khí đốt, ứng dụng quy mô lớn, khả năng chuỗi chéo và giảm bớt rào cản người dùng thông qua các giải pháp đồng xử lý tích hợp có thể lý tưởng hơn là dựa vào tập trung hóa.
3. Tổng quan về dự án
Trường Bộ đồng xử lý ZK xuất hiện vào khoảng năm 2023. Ở giai đoạn này, nó đã tương đối trưởng thành. Theo phân loại của Messari, lĩnh vực này hiện bao gồm ba lĩnh vự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 tổng số 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. Dưới đây chúng tôi giới thiệu một số dự án từ các lĩnh vực dọc khác nhau.
p> p>
3.1 Giza
Giza là giao thức zkML (học máy không kiến thức) được triển khai trên Starknet, được hỗ trợ chính thức bởi StarkWare. Nó tập trung vào việc cho phép các mô hình AI đượ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 trên mạng Giza, sau đó xác minh tính chính xác của 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 một 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 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 theo ba bước:
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 trê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 tính toán 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 ra bằng chứng không có kiến thức cho từng suy luận mô hình, chứng minh rằng các 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.
Phương pháp 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 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 dự án trong lĩnh vực Web3 x AI hiện tại có vòng lặp khép kín hợp lý và sử dụng khéo léo các bộ đồng xử lý trong lĩnh vực AI.
3.2 Risc Zero
Risc Zero là nền tảng hàng đầu được hỗ trợ bởi một số Bộ đồng xử lý VC hàng đầu dự án. Nó tập trung vào việc cho phép mọi tính toán được thực hiện một cách có thể xác minh được trong hợp đồng thông minh blockchain. Các nhà phát triển có thể viết chương trình bằng Rust và triển khai chúng trên mạng RISC Zero. RISC Zero sau đó xác minh tính chính xác của việc thực hiện 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 giữ cho blockchain được phân quyền và có thể xác minh được.
Chúng tôi đã đề cập ngắn gọn về việc triển khai và quy trình làm việc trước đó. Ở đây chúng tôi trình bày chi tiết hai thành phần chính:
Bonsai: Bonsai là RISC Zero Thành phần bộ đồng xử lý liền mạch được tích hợp vào zkVM của kiến trúc tập lệnh RISC-V. Nó 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, chuỗi khối L1, Chuỗi ứng dụng Cosmos, L2 Rollups và dApps trong vài ngày. Nó cung cấp khả năng gọi hợp đồng thông minh trực tiếp, 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à chức năng tổng hợp phổ quát, đồng thời áp dụng kiến trúc phân tán đầu tiên. Kết hợp với các bằng chứng đệ quy, trình biên dịch mạch tùy chỉnh, tính liên tục trạng thái và các thuật toán chứng minh ngày càng cải tiến, nó cho phép mọi người 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 được, hoạt động giống như một bộ vi xử lý RISC-V nhúng thực sự. Nó dựa trên kiến trúc tập lệnh RISC-V và cho phép các nhà phát triển viết các chương trình tạo ra bằng chứng không có kiến thức bằng các ngôn ngữ lập trình cấp cao như Rust, C++, Solidity và Go. Nó hỗ trợ hơn 70% các gói Rust phổ biến, kết hợp liền mạch tính toán chung với bằng chứng không có kiến thức và 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 độ phức tạp tùy ý trong khi vẫn duy trì tính riêng tư của quá trình tính toán và khả năng xác minh của kết quả. zkVM sử dụng các công nghệ không có kiến thức như STARK và SNARK để đạt được 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ợ 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 giải pháp ETH Layer2 và chứng minh nhiều trường hợp sử dụng khác nhau cho Bonsai. Một ví dụ thú vị là Bonsai Pay. Bản demo này sử dụng các dịch vụ bằng chứng 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 của họ. Nó chứng minh 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 OAuth2.0, tiêu chuẩn được các nhà cung cấp danh tính lớn như Google sử dụng, cung cấp trường hợp sử dụng để giảm bớt rào cản cho người dùng Web3 so với các ứng dụng Web2 truyền thống. Các ví dụ khác bao gồm các ứng dụng dựa trên DAO.
3.3 =nil;
=nil là một nền tảng bao gồm Mina, Polychain, Starkware, Các dự án đầu tư được hỗ trợ bởi các tổ chức nổi tiếng như Blockchain Capital. Điều đáng chú ý là những người tiên phong về công nghệ zk như Mina và Starkware cũng nằm trong số những người ủng hộ, cho thấy dự án được đánh giá cao về mặt kỹ thuật. =nil; Nó cũng được đề cập trong báo cáo của chúng tôi "Thị trường năng lượng băm", tập trung chủ yếu vào Thị trường bằng chứng (thị trường tạo bằng chứng phi tập trung). Ngoài ra, =nil; còn có một sản phẩm phụ khác gọi là zkLLVM.
zkLLVM được phát triển bởi =nil; Đây là một trình biên dịch mạch cải tiến có thể tự động chuyển đổi các mã ứng dụng được viết bằng các ngôn ngữ lập trình chính thống như C++ và Rust. Chuyển đổi sang các mạch có thể chứng minh hiệu quả cho Ethereum mà không cần các ngôn ngữ dành riêng cho miền không có kiến thức (DSL). Điều này giúp đơn giản hóa đáng kể quá trình phát triển, giảm rào cản gia nhập và cải thiện hiệu suất bằng cách tránh zkVM. Nó hỗ trợ tăng tốc phần cứng để tăng tốc độ tạo bằng chứng, giúp nó phù hợp với nhiều tình huống ứng dụng ZK khác nhau, chẳng hạn như cuộn lên, cầu chuỗi chéo, oracles, học máy và trò chơi. Nó đượ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ừ việc tạo mạch đến tạo bằng chứng.
3.4 Brevis
Brevis là một dự án con của Celer Network và là số 0 thông minh của bộ đồng xử lý kiến thức blockchain (ZK) cho phép các dApp truy cập, tính toán và sử dụng dữ liệu tùy ý 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ó nhiều trường hợp sử dụng 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.
p> p>
Kiến trúc Brevis bao gồm ba phần chính:
zkFabric: zkFabric là thành phần chuyển tiếp của 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, sau đó tạo thông tin đó cho mỗi tiêu đề khối được thu thập thông qua ứng dụng khách ZK light mạch. Bằng chứng của sự đồng thuận.
zkQueryNet: zkQueryNet là thị trường công cụ truy vấn ZK mở có thể trực tiếp chấp nhận các truy vấn dữ liệu từ hợp đồng thông minh trên chuỗi và vượt qua ZK mạch công cụ truy vấn tạo ra kết quả truy vấn và bằng chứng truy vấn ZK tương ứng. Các công cụ này bao gồm từ chuyên môn hóa cao (ví dụ: tính toán khối lượng giao dịch trên 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ó mục đích chung 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: Là lớp tổng hợp và lưu trữ của zkFabric và zkQueryNet, nó chịu trách nhiệm xác minh chứng nhận của hai thành phần này và lưu trữ dữ liệu được chứng nhận và gửi trạng thái gốc đã được ZK chứng minh 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 kết quả truy vấn đã được chứng minh trong logic kinh doanh 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 tất cả các hợp đồng thông minh chuỗi công cộng được hỗ trợ. Phiên bản V4 của UNI cũng áp dụng giải pháp này và tích hợp nó với Hooks (một hệ thống tích hợp nhiều logic khác nhau do người dùng xác định) để hỗ trợ việc đọc dữ liệu blockchain lịch sử, giảm chi phí gas và đảm bảo tính phân cấp. Đây là một ví dụ về bộ đồng xử lý zk cung cấp năng lượng cho DEX.
3.5 Lagrange
Lagrange là một sáng kiến về khả năng tương tác do 1kx và Founders Fund dẫn đầu. Giao thức bộ đồng xử lý bằng chứng được thiết kế chủ yếu để cung cấp khả năng tương tác chuỗi chéo không đáng tin cậy và hỗ trợ các ứng dụng yêu cầu tính toán phức tạp trên dữ liệu quy mô 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 xuyên chuỗi của Lagrange chủ yếu đạt được thông qua cơ chế ủy ban quốc gia và dữ liệu lớn chứng minh không có kiến thức sáng tạo.
ZK Big Data: Đây là sản phẩm cốt lõi của Lagrange, chịu trách nhiệm xử lý và xác minh chéo -chuỗi dữ liệu và tạo ra bằng chứng không có kiến thứ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 ra 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 từ hợp đồng thông minh chỉ cập nhật để thay đổi; điểm dữ liệu để giảm thời gian chứng minh; và một tính 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 cách sử dụ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. Họ 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 trạng thái: 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à chuyên xác thực trạng thái của một số bản tổng hợp tối ưu hóa nhất định. Ủy ban nhà nước được tích hợp với AVS của EigenLayer, sử dụng cơ chế đặt cược lại để tăng cường bảo mật, hỗ trợ số lượng nút tham gia 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, hỗ trợ phát triển các ứng dụng chuỗi chéo phức tạp.
Lagrange đã được tích hợp với EigenLayer, Mantle, Base, Frax, Polymer, LayerZero, Omni, AltLayer, v.v. và sẽ trở thành A ZK AVS thứ ba được liên kết với hệ sinh thái Ethereum.