tldr

• bộ xử lý phụ zk có thể được xem như các plugin tính toán off-chain được tạo ra từ khái niệm modular, tương tự như gpus trong máy tính truyền thống giúp giảm bớt các nhiệm vụ tính toán đồ họa từ cpu, xử lý các nhiệm vụ tính toán cụ thể.
• Chúng có thể được sử dụng để xử lý tính toán 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.
• Khác với Rollups, zk coprocessors không có trạng thái, có thể được sử dụng trên các chuỗi khác nhau, và phù hợp cho các kịch bản tính toán phức tạp.
• Việc phát triển các bộ xử lý zk là một thách thức, với chi phí hiệu suất cao và thiếu chuẩn hóa. Chi phí phần cứng cũng đáng kể. Mặc dù lĩnh vực này đã trưởng thành đáng kể so với một năm trước, nhưng vẫn đang ở giai đoạn đầu.
• Khi kỷ nguyên mô-đun tiến vào giai đoạn tỷ lệ fraktal, blockchain đối mặt với các vấn đề như thiếu thanh khoản, người dùng phân tán, thiếu đổi mới và vấn đề tương tác liên chuỗi, tạo ra một nghịch lý với các chuỗi l1 được mở rộng theo chiều dọc. Các bộ xử lý zk có thể cung cấp một cách để vượt qua những thách thức này, cung cấp hỗ trợ cho cả các ứng dụng hiện có và mới nổi và đưa các câu chuyện mới đến không gian blockchain.

i. một nhánh khác của cơ sở hạ tầng modular: zk coprocessors

1.1 tổng quan về các bộ xử lý zk

zk coprocessors có thể được coi là các plugin tính toán ngoại chuỗi được xuất phát từ khái niệm modular, tương tự như cách gpus giảm tải các nhiệm vụ tính toán đồ họa từ cpus trong máy tính truyền thống, xử lý các nhiệm vụ tính toán cụ thể. Trong khung cảnh thiết kế này, các nhiệm vụ mà chuỗi công cộng không thành thạo, chẳng hạn như “dữ liệu nặng” và “logic tính toán phức tạp,” có thể được tính toán bởi zk coprocessors, với chuỗi chỉ nhận kết quả tính toán trả về. Độ chính xác của chúng được đảm bảo bởi zk proofs, cuối cùng đạt được tính toán ngoại chuỗi đáng tin cậy cho các nhiệm vụ phức tạp.

Hiện nay, các ứng dụng phổ biến như ai, socialfi, dex và gamefi đều cần 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” yêu cầu hiệu suất cao thường lựa chọn mô hình ứng dụng on-chain + off-chain hoặc thiết kế một chuỗi ứng dụng riêng. Tuy nhiên, cả hai phương pháp đều có các vấn đề riêng: phương pháp trước có “hộp đen,” và phương pháp sau phải đối mặt với chi phí phát triển cao, tách rời khỏi hệ sinh thái chuỗi gốc, và tính thanh khoản phân mảnh. Ngoài ra, máy ảo chuỗi chính đặt ra hạn chế đáng kể đối với phát triển và vận hành các ứng dụng như vấn đề thiếu tiêu chuẩn tầng ứng dụng, ngôn ngữ phát triển phức tạp.

Bộ đồng xử lý ZK nhằm giải quyết những vấn đề này. Để cung cấp một ví dụ chi tiết hơn, chúng ta có thể nghĩ về blockchain như một thiết bị đầu cuối (chẳng hạn như điện thoại hoặc máy tính) không thể kết nối với internet. Trong kịch bản này, chúng ta có thể chạy các ứng dụng tương đối đơn giản, như Uniswap hoặc các ứng dụng DeFi khác, 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 giống như chatGPT, hiệu suất và lưu trữ của chuỗi công khai sẽ hoàn toàn không đủ, dẫn đến nổ khí. Trong kịch bản Web2, khi chúng tôi chạy ChatGPT, bản thân thiết bị đầu cuối chung của chúng tôi không thể xử lý mô hình ngôn ngữ lớn GPT-4O; Chúng ta cần kết nối với các máy chủ của OpenAI để chuyển tiếp câu hỏi, và sau khi máy chủ tính toán và suy ra kết quả, chúng ta trực tiếp nhận được câu trả lời. Bộ đồng xử lý ZK giống như các máy chủ từ xa của blockchain. Mặc dù các dự án đồ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, logic cơ bản vẫn tương tự 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 nhận.

lấy việc triển khai bonsai của rise zero làm ví dụ, kiến trúc này rất đơn giản. dự án tích hợp một cách mượt mà vào zkvm riêng của rise zero, và nhà phát triển chỉ cần hai bước đơn giản để sử dụng bonsai như một bộ xử lý phụ:

• Viết một ứng dụng zkvm để xử lý logic ứng dụng.
• viết mộ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ả.

1.2 khác biệt so với rollups

Từ các định nghĩa trên, có vẻ như rollups và zk coprocessors có logic thực hiện và mục tiêu trùng lắp cao. Tuy nhiên, rollups giống như việc mở rộng đa nhân của chuỗi chính, với những khác biệt cụ thể giữa hai loại như sau:

1. mục đích chính:

• rollups: nâng cao lưu lượng giao dịch blockchain và giảm phí giao dịch.
• zk coprocessors: mở rộng khả năng tính toán hợp đồng thông minh để xử lý logic phức tạp hơn và khối lượng dữ liệu lớn hơn.

2. nguyên tắc hoạt động:

• rollups: tổng hợp giao dịch trên chuỗi và gửi chúng đến chuỗi chính với chứng minh gian lận hoặc chứng minh zk.
• zk coprocessors: giống như zk rollups, nhưng được thiết kế cho các kịch bản ứng dụng khác nhau. zk rollups, do ràng buộc và quy tắc cụ thể của chuỗi, không phù hợp cho các nhiệm vụ của bộ xử lý phụ.

3. quản lý trạng thái:

• rollups: duy trì trạng thái của họ và định kỳ đồng bộ hóa với chuỗi chính.
• zk coprocessors: Stateless, mỗi phép tính đều không có trạng thái.

4. Các kịch bản ứng dụng:

• Rollups: chủ yếu phục vụ người dùng cuối, phù hợp cho các giao dịch tần suất cao.
• zk cộng tác viên: chủ yếu phục vụ doanh nghiệp, phù hợp cho các kịch bản đòi hỏi tính toán phức tạp, như mô hình tài chính tiên tiến và phân tích dữ liệu lớn.

5. mối quan hệ với chuỗi chính:

• Rollups: được xem như là các phần mở rộng của chuỗi chính, thường tập trung vào các mạng blockchain cụ thể.
• zk coprocessors: có thể phục vụ nhiều blockchain, không giới hạn trong các chuỗi chính cụ thể, và cũng có thể phục vụ rollups.

Vì vậy, hai cái này không trái ngược lẫn nhau mà là bổ sung cho nhau. Ngay cả khi một Rollup tồn tại dưới dạng một chuỗi ứng dụng, các bộ xử lý zk vẫn có thể cung cấp dịch vụ.

1.3 các trường hợp sử dụng

lý thuyết, phạm vi ứng dụng của bộ xử lý zk rộng lớn, bao gồm các dự án trên các lĩnh vực blockchain khác nhau. bộ xử lý zk cho phép dapps có các chức năng gần gũi 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 thu thập từ các nguồn trực tuyến:

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 các DApp theo hướng dữ liệu sử dụng dữ liệu lịch sử trên chuỗi đầy đủ cho các tính toán 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ó để phát triển DApp, chẳng hạn như:

• phân tích dữ liệu tiên tiến: các chức năng phân tích dữ liệu trên chuỗi tương tự như dune analytics.
• logic kinh doanh phức tạp: triển khai các thuật toán phức tạp và logic kinh doanh được tìm thấy trong các ứng dụng trung tâm truyền thống.
• ứng dụng cross-chain: xây dựng cross-chain dapps dựa trên dữ liệu multi-chain.

chương trình vip trader cho dexs:

Một kịch bản ứng dụng điển hình là triển khai một chương trình giảm giá phí dựa trên khối lượng giao dịch trong các sàn giao dịch phi tập trung (DEXs), được biết đến với tên gọi là 'chương trình trung thành của các nhà giao dịch VIP'. Những chương trình như vậy phổ biến trong các sàn giao dịch tập trung (CEXs) nhưng hiếm gặp trong các sàn giao dịch phi tập trung (DEXs).

với zk coprocessors, dexs có thể:

• theo dõi khối lượng giao dịch lịch sử của người dùng.
• tính toán cấp độ vip của người dùng.
• điều chỉnh phí giao dịch theo cấp độ vip một cách linh hoạt. Chức năng này có thể giúp các sàn giao dịch phi tập trung cải thiện việc giữ 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:

Các bộ xử lý phụ zk có thể hoạt động như phần mềm trung gian mạnh mẽ, cung cấp dịch vụ thu thập dữ liệu, tính toán và xác minh cho các hợp đồng thông minh, qua đó giảm chi phí và cải thiện hiệu quả. Điều này cho phép các hợp đồng thông minh có thể:

• truy cập và xử lý một lượng lớn dữ liệu lịch sử.
• thực hiện tính toán phức tạp ngoài chuỗi.
• thực hiện logic kinh doanh tiên tiến hơn.

Công nghệ cầu nối cross-chain:

Một số công nghệ cầu nối chéo chuỗi dựa trên zk, như herodotus và lagrange, cũng có thể coi là các ứng dụng của các bộ xử lý zk. Các công nghệ này tập trung chủ yếu vào việc trích xuất và xác minh dữ liệu, cung cấp một nền tảng dữ liệu đáng tin cậy cho giao tiếp chéo chuỗi.

1.4 bộ xử lý zk không hoàn hảo

Mặc dù có nhiều ưu điểm, bộ xử lý zk ở giai đoạn hiện tại vẫn còn rất nhiều hạn chế và đối mặt với một số vấn đề. Tôi đã tóm tắt những điểm sau đây:

1. phát triển: khái niệm zk khó hiểu đối với nhiều nhà phát triển. việc phát triển yêu cầu kiến thức mật mã liên quan và thành 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 các tính toán ngoại chuỗi phải hoàn toàn được chịu bởi dự án. phần cứng zk đắt đỏ và phát triển nhanh chóng, dẫn đến khả năng trở nên lỗi thời bất kỳ lúc nào. việc này có thể tạo thành một vòng lặp kinh doanh đóng cửa hay không là một câu hỏi đáng xem xét.
3. Lĩnh vực đông đúc: kỹ thuật, sự khác biệt trong việc triển khai sẽ không nhiều, và kết quả cuối cùng có thể giống với cảnh quan layer2 hiện tại, nơi một số dự án nổi bật trong khi phần còn lại được bỏ qua nhiều.
4. Mạch zk: thực hiện các tính toán ngoại chuỗi trong các 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 các mạch zk. Việc viết mạch tùy chỉnh cho mỗi ứng dụng là rườm rà, và việc sử dụng zkvms trong máy ảo để viết mạch gây ra quá tải tính toán đáng kể do các mô hình tính toán khác nhau.

ii. một phần quan trọng cho sự phổ biến rộng rãi

(phần này rất chủ quan và chỉ đại diện cho quan điểm cá nhân của tác giả.)

chu kỳ này chủ yếu được dẫn đầu bởi cơ sở hạ tầng modular. Nếu modularization là con đường đúng đắn, chu kỳ này có thể là bước cuối cùng đến với việc áp dụng hàng loạt. Tuy nhiên, ở giai đoạn hiện tại, chúng ta đều chia sẻ một tâm trạng 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 lại có nhiều chuỗi hơn là ứng dụng, và tại sao một tiêu chuẩn mã thông báo mới như inscriptions lại được ca ngợi là sáng tạo lớn nhất của chu kỳ này?

Lý do cơ bản cho việc thiếu các câu chuyện 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 (khả năng tương tác chuỗi chéo, rào cản người dùng, v.v.), dẫn đến sự phân mảnh đáng kể nhất trong lịch sử blockchain. Rollups, là cốt lõi của kỷ nguyên mô-đun, thực sự đã đẩy nhanh mọi thứ, nhưng chúng cũng mang lại 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ế do chính chuỗi hoặc máy ảo áp đặt đối với đổi mới ứng dụng. Ngoài ra, một "người chơi chính" khác trong mô-đun hóa, Celestia, đã đi tiên phong trong con đường DA không nhất thiết phải có mặt trên Ethereum, làm trầm trọng thêm sự phân mảnh. Cho dù được thúc đẩy bởi ý thức hệ 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ề chi phí. Tình hình hiện tại là mỗi chuỗi công khai có ít nhất một, nếu không muốn nói là hàng chục, các dự án Layer2. Thêm vào đó, tất cả các dự án cơ sở hạ tầng và hệ sinh thái đã tìm hiểu sâu về chiến lược đặt cọc token do Blur tiên phong, yêu cầu người dùng đặt cọc token trong dự án. Chế độ này, mang lại lợi ích cho cá voi theo ba cách (lãi suất, tăng giá ETH hoặc BTC và mã thông báo miễn phí), tiếp tục nén thanh khoản trên chuỗi.

Trong thị trường tăng trưởng trước đây, các quỹ chỉ chảy vào một vài đến một tá chuỗi công cộng, thậm chí tập trung chủ yếu vào Ethereum. Bây giờ, các quỹ được phân tán trên hàng trăm chuỗi công cộng và đặt cược vào hàng ngàn dự án tương tự, dẫn đến sự suy giảm trong hoạt động trên chuỗi. Ngay cả Ethereum cũng thiếu hoạt động trên chuỗi. Do đó, người chơi phương Đông tham gia PvP trong hệ sinh thái BTC, trong khi người chơi phương Tây làm như vậy trên Solana, vì cần thiết.

do đó, tâm điểm hiện tại của tôi là cách thúc đẩy tính thanh khoản tổng hợp trên tất cả các chuỗi và hỗ trợ sự xuất hiện của các cách chơi mới và siêu ứng dụng. trong lĩnh vực tương tác qua chuỗi, các dự án dẫn đầu truyền thống đã liên tục không đạt hiệu quả, vẫn giống như các cầu nối tương tác qua chuỗi truyền thống. các giải pháp tương tác qua chuỗi mới mà chúng tôi đã thảo luận trong các báo cáo trước hết nhằm chủ yếu vào việc tổng hợp nhiều chuỗi vào một chuỗi duy nhất. các ví dụ bao gồm agglayer, superchain, elastic chain, jam, v.v., những gì sẽ không được mô tả chi tiết ở đây. tổng cộng, việc tổng hợp qua chuỗi là một rào cản cần thiết trong cơ sở hạ tầng mô-đun nhưng sẽ mất một thời gian dài để vượt qua.

Bộ đồng xử lý ZK là một phần quan trọng trong giai đoạn hiện tại. Họ có thể tăng cường Layer2 và bổ sung Layer1. Có cách nào để tạm thời khắc phục các vấn đề về chuỗi chéo và trilemma, cho phép chúng tôi nhận ra một số ứng dụng thời hiện tại trên một số lớp 1 hoặc lớp 2 nhất định với tính thanh khoản rộng rãi không? Xét cho cùng, các ứng dụng blockchain thiếu những câu chuyện mới. Hơn nữa, cho phép các lối chơi đa dạng, kiểm soát khí, ứng dụng quy mô lớn, khả năng chuỗi chéo và giảm 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.

iii. project overview

lĩnh vực zk coprocessor đã xuất hiện từ năm 2023 và đã trở nên tương đối chín chắn ở giai đoạn này. theo phân loại của messari, lĩnh vực này hiện tại bao gồm ba lĩnh vực phụ chính (tính toán tổng quát, tương tác và kết nối chuỗi, trí tuệ nhân tạo và huấn luyện máy) với 18 dự án. hầu hết các dự án này được hỗ trợ bởi các vcs hàng đầu. dưới đây, chúng tôi mô tả một số dự án từ các lĩnh vực phụ khác nhau.

3.1 giza

Giza là một giao thức ZKML (Zero-Knowledge Machine Learning) đượ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 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 đúng đắn của suy luận mô hình thông qua các 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 đá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ì sự phân cấp và khả năng xác minh của blockchain.

giza hoàn thành quy trình thông qua ba bước sau:

• Chuyển đổi mô hình: Giza chuyển đổi các mô hình trí tuệ nhân tạo định dạng onnx thông dụng sang đị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 huấn luyện các mô hình bằng các công cụ quen thuộc và triển khai chúng trên mạng lưới Giza.
• sự suy diễn ngoại chuỗi: khi một hợp đồng thông minh yêu cầu suy diễn mô hình trí tuệ nhân tạo, giza thực hiện tính toán thực tế ngoại chuỗi. điều này tránh chi phí cao khi chạy các mô hình trí tuệ nhân tạo phức tạp trực tiếp trên blockchain.
• xác minh không có thông tin: Giza tạo ra các bằng chứng zk cho mỗi suy luận mô hình, chứng minh rằng tính toán đã đượ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 cần lặp lại toàn bộ quá trình tính toán trên chuỗi.

Phương pháp của giza cho phép các mô hình trí tuệ nhân tạo phục vụ như là các nguồn dữ liệu đáng tin cậy cho hợp đồng thông minh mà không phụ thuộc vào oracles 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 trí tuệ nhân tạo, phát hiện gian lận và định giá động. Đây là một trong số ít các dự án trong không gian web3 x trí tuệ nhân tạo hiện tại với một vòng lặp kín logic và việc sử dụng thông minh của các bộ xử lý phụ trong lĩnh vực trí tuệ nhân tạo.

3.2 rủi ro không

RISC Zero là một dự án đồng xử lý hàng đầu được hỗ trợ bởi nhiều VC hàng đầu. Nó tập trung vào việc cho phép bất kỳ tính toán nào được thực hiện 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ể 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 thi chương trình thông qua các 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 đá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 phức tạp trong khi vẫn duy trì sự phân cấp và khả năng xác minh của blockchain.

chúng tôi đã đề cập ngắn gọn đến việc triển khai và quy trình làm việc trước đó. ở đây, chúng tôi đi vào chi tiết hai thành phần chính:

• bonsai: bonsai là thành phần coprocessor trong risc zero, được tích hợp một cách mượt mà vào zkvm của kiến trúc bộ lệnh risc-v. Nó cho phép nhà phát triển tích hợp nhanh chóng các chứng minh không biết về hiệu suất cao vào ethereum, l1 blockchains, cosmos application chains, l2 rollups và dapps chỉ trong vài ngày. Nó cung cấp các cuộc gọi hợp đồng thông minh trực tiếp, tính toán off-chain có thể xác minh, tương tác xuyên chuỗi và chức năng rollup tổng quát, tất cả trong khi áp dụng một kiến trúc phân phối ưu tiên phi tập trung. Kết hợp 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à thuật toán chứng minh liên tục cải tiến, nó cho phép bất kỳ ai tạo ra các chứng minh không biết hiệu suất cao cho các ứng dụng khác nhau.
• ZKVM: ZKVM là một máy tính có thể kiểm chứng hoạt động tương tự như bộ vi xử lý RISC-V nhúng thực sự. Dựa trên kiến trúc tập lệnh RISC-V, nó cho phép các nhà phát triển viết chương trình bằng các ngôn ngữ lập trình cấp cao như Rust, C ++, Solidity, Go, v.v., có thể tạo ra các bằng chứng không có kiến thức. Hỗ trợ hơn 70% các thùng rỉ sét phổ biến, nó kết hợp liền mạch tính toán chung và bằng chứng không có kiến thức, có khả năng 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ỳ sự phức tạp nào trong khi vẫn duy trì quyền riêng tư của quá trình tính toán và khả năng xác minh kết quả. ZKVM sử dụng các công nghệ ZK, bao gồm Stark và Snark, và đạ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 Proover 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 các trường hợp sử dụng khác nhau cho cây cảnh. Một ví dụ thú vị là Bonsai Pay. Cuộc trình diễn này sử dụng dịch vụ ZKVM và Bonsai Proof 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ó 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 OAuth2.0 (tiêu chuẩn được sử dụng bởi các nhà cung cấp danh tính lớn như Google), cung cấp một trường hợp sử dụng làm giảm rào cản người dùng Web3 thông qua 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à dự án đầu tư được hỗ trợ bởi các đơn vị nổi tiếng như mina, polychain, starkware và blockchain capital. Đáng chú ý, các nhà pionners công nghệ zk như mina và starkware cũng là những người ủng hộ, cho thấy sự công nhận kỹ thuật cao cho dự án. =nil; cũng được đề cập trong báo cáo của chúng tôi “thị trường sức mạnh tính toán”, chủ yếu tập trung vào thị trường chứng minh (một thị trường tạo chứng minh 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 tổ chức =nil;, là một trình biên dịch mạch đổi mới tự động chuyển đổi mã ứng dụng được viết bằng các ngôn ngữ lập trình phổ biến như c++ và rust thành mạch hiệu quả, có thể được chứng minh cho ethereum mà không cần sử dụng ngôn ngữ cụ thể cho miền zero-knowledge (dsl). Điều này đáng kể đơn giản hóa quá trình phát triển, giảm ngưỡng vào và cải thiện hiệu suất bằng cách tránh sử dụng zkvm. Nó hỗ trợ tăng tốc phần cứng để tăng tốc quá trình tạo chứng minh, làm cho nó phù hợp cho các kịch bản ứng dụng zk khác nhau như rollups, cầu nối cross-chain, oracles, machine learning và gaming. Nó được tích hợp chặt chẽ với thị trường chứng minh của tổ chức =nil;, cung cấp hỗ trợ toàn diện cho nhà phát triển từ việc tạo mạch đến việc tạo chứng minh.

3.4 brevis

Brevis là một dự án con của Celer Network và là một bộ đồng xử lý không có kiến thức (ZK) thông minh cho blockchain, cho phép DApps truy cập, tính toán và sử dụng dữ liệu tùy ý trên nhiều blockchain một 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ó một loạt các trường hợp sử dụng, chẳng hạn như DeFi theo hướng dữ liệu, ZKBRIDGES, mua lạ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 Brevis bao gồm ba thành 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ộ thông tin tiêu đề khối từ tất cả các blockchain kết nối, sau đó tạo ra chứng minh đồng thuận cho mỗi tiêu đề khối thu thập thông qua mạch zk light client.
• zkquerynet: zkquerynet là một thị trường công cụ tìm kiếm zk mở có thể trực tiếp chấp nhận các truy vấn dữ liệu từ các hợp đồng thông minh trên chuỗi và tạo ra kết quả truy vấn và chứng minh truy vấn zk tương ứng thông qua mạch công cụ truy vấn zk. Những công cụ này đa dạng từ rất chuyên biệt (ví dụ, tính toán khối lượng giao dịch của một sàn giao dịch phi tập trung trong một khoảng thời gian cụ thể) đến các trừu tượng chỉ mục dữ liệu tổng quát cao và ngôn ngữ truy vấn tiên tiến để đáp ứng các nhu cầu ứng dụng khác nhau.
• zkaggregatorrollup: nó hoạt động như một lớp tổng hợp và lưu trữ cho zkfabric và zkquerynet. Nó xác minh các chứng minh của hai thành phần này, lưu trữ dữ liệu đã được chứng minh và gửi các rễ trạng thái của chứng minh zk của chúng đến tất cả các blockchain được kết nối, cho phép các ứng dụng phi tập trung 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ọ.

Với kiến trúc module này, Brevis có thể cung cấp cho tất cả các hợp đồng thông minh blockchain công cộng được hỗ trợ một phương thức truy cập linh hoạt, hiệu quả và đáng tin cậy. Phiên bản v4 của Uni cũng áp dụng dự án này và tích hợp nó với Hooks (hệ thống tích hợp các logic tùy chỉnh của người dùng khác nhau) để dễ dàng đọc dữ liệu blockchain lịch sử, giảm phí gas, đồng thời đảm bảo tính phi tập trung. Đây là một ví dụ về một bộ xử lý zk thúc đẩy một sàn giao dịch phi tập trung.

3.5 lagrange

Lagrange là một giao thức coprocessor zk tương tác được dẫn dắt bởi 1kx và Founders Fund, chủ yếu nhằm cung cấp tính tương thích giữa các chuỗi khối không đáng tin cậy và hỗ trợ các ứng dụng yêu cầu tính toán dữ liệu phức tạp quy mô lớn. Khác với các cầu nối nút truyền thống, tính tương thích qua chuỗi của Lagrange chủ yếu được đạt được thông qua các cơ chế big data zk đổi mới và ủy ban trạng thái.

• 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 dữ liệu chuỗi chéo và tạo ra các bằng chứng ZK liên quan. Thành phần này bao gồm một bộ đồng xử lý ZK song song cao để thực hiện các tính toán ngoài chuỗi phức tạp và tạo ra các 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à các truy vấn SQL trực tiếp từ các 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 thời gian chứng minh và chức năng tích hợp cho phép các nhà phát triển sử dụng các truy vấn SQL trực tiếp từ các hợp đồng thông minh để truy cập dữ liệu lịch sử mà không cần viết phức tạp Mạch. Cùng nhau, chúng tạo thành một hệ thống xử lý và xác minh dữ liệu blockchain quy mô lớn.
• Ủy ban Nhà nước: Thành phần này là một mạng lưới xác minh phi tập trung bao gồm nhiều nút độc lập, mỗi ETH đặt cọc 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 Light xác minh cụ thể trạng thái của một số bản tổng hợp được tối ưu hóa nhất định. Ủy ban Nhà nước tích hợp với AVS của Eigenlayer, tận 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 để đạt được tăng trưởng bảo mật siêu tuyến tính. Nó cũng cung cấp một "chế độ nhanh", cho phép người dùng thực hiện các hoạt động chuỗi chéo mà không cần chờ đợi 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 tính toán phức tạp và truyền và xác minh kết quả một cách an toàn trên các blockchain khác nhau, hỗ trợ phát triển các ứng dụng chuỗi chéo phức tạp.

Lagrange đã tích hợp với EigenLayer, Mantle, Base, Frax, Polymer, LayerZero, Omni, AltLayer và nhiều nền tảng khác, và sẽ là zk AVS đầu tiên liên kết trong hệ sinh thái Ethereum.

về ybb

ybb là quỹ web3 tận tâm tìm kiếm các dự án định hình web3 với tầm nhìn tạo ra môi trường trực tuyến tốt hơn cho tất cả cư dân internet. Được thành lập bởi một nhóm những người tin vào blockchain đã tích cực tham gia vào ngành này từ năm 2013, ybb luôn sẵn sàng giúp đỡ các dự án giai đoạn đầu phát triển từ 0 đến 1. Chúng tôi đánh giá cao sự đổi mới, niềm đam mê tự thúc đẩy và sản phẩm hướng tới người dùng trong khi nhận ra tiềm năng của cryptos và các ứng dụng blockchain.

Trang web|Twi: @ybbcapital

tham khảo:

1.abcde: một cuộc điều tra sâu vào zk coprocessor 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-238886062c52

3.risc zero:https://www.risczero.com/bonsai

4. Phạm vi:https://www.lagrange.dev/blog/interoperability-for-modular-blockchains-the-lagrange-thesis

5.Tiên đềBlog:https://blog.axiom.xyz/

6. tăng tốc nitơ! cách zk coprocessor phá vỡ rào cản dữ liệu hợp đồng thông minhhttps://foresightnews.pro/article/detail/48239

miễn trách nhiệm：

1. bài viết này được in lại từ [ Trung bình], chuyển tiếp tiêu đề gốc 'GPU của blockchain: phân tích toàn diện về ZK coprocessors', tất cả bản quyền thuộc về tác giả gốc [nhà nghiên cứu của YBB Capital Zeke]. Nếu có ý kiến ​​phản đối về việc tái bản này, xin vui lòng liên hệ vớiGate họcđội ngũ, và họ sẽ xử lý nhanh chóng.

2. miễn trừ trách nhiệm: quan điểm và ý kiến được thể hiện trong bài viết này chỉ thuộc về tác giả và không đại diện cho bất kỳ lời khuyên đầu tư nào.

3. Việc dịch bài viết sang các ngôn ngữ khác được thực hiện bởi đội ngũ học viên của Gate. Trừ khi được đề cập, việc sao chép, phân phối hoặc đạo văn các bài viết đã được dịch là không được phép.