GPU của blockchain: Phân tích toàn diện về bộ xử lý phụ ZK
Tuyển chọn TechFlowTuyển chọn TechFlow
GPU của blockchain: Phân tích toàn diện về bộ xử lý phụ ZK
Bộ xử lý phụ ZK thông qua tính toán ngoài chuỗi và bằng chứng không kiến thức (zero-knowledge proof) nâng cao khả năng xử lý các tác vụ tính toán phức tạp của blockchain, giảm phí Gas và mở rộng chức năng của hợp đồng thông minh.
Chuyên sâu báo cáo Web3Tác giả: Zeke, Nhà nghiên cứu tại YBB Capital
Tóm tắt nhanh (TL;DR)
-
ZK Coprocessor có thể được xem như một plugin tính toán ngoài chuỗi bắt nguồn từ khái niệm mô-đun hóa, hoạt động tương tự GPU trong máy tính truyền thống khi giúp CPU xử lý các tác vụ đồ họa — tức là một bộ xử lý chuyên biệt nhằm chia sẻ khối lượng công việc tính toán trong những trường hợp cụ thể;
-
Có thể dùng để xử lý các phép toán phức tạp và dữ liệu lớn, giảm phí Gas, mở rộng chức năng của hợp đồng thông minh;
-
Khác biệt với Rollup: ZK Coprocessor không duy trì trạng thái, có thể sử dụng xuyên chuỗi và phù hợp với các tình huống yêu cầu tính toán phức tạp;
-
Việc phát triển ZK Coprocessor khó khăn, chi phí hiệu năng cao, thiếu chuẩn hóa. Về phần cứng lại đòi hỏi chi phí lớn. Dù lĩnh vực này đã trưởng thành hơn nhiều so với một năm trước, nhưng vẫn đang ở giai đoạn sơ khai;
-
Sau khi hạ tầng blockchain bước vào thời đại phân mảnh và mở rộng theo mô-đun, hệ sinh thái đối mặt với nhiều vấn đề như thanh khoản cạn kiệt, người dùng phân tán, thiếu đổi mới và khả năng tương tác giữa các chuỗi yếu kém, đồng thời tạo ra nghịch lý với các L1 mở rộng theo chiều dọc. Trong tương lai, ZK Coprocessor có thể là giải pháp bổ trợ lý tưởng cho cả hai phía, giúp thoát khỏi bế tắc hiện tại, hỗ trợ hiệu năng cho cả ứng dụng cũ lẫn các ứng dụng mới nặng tính năng, từ đó mở ra nhiều câu chuyện sáng tạo mới.
1. Một nhánh khác của hạ tầng mô-đun: ZK Coprocessor
1.1 Tổng quan về ZK Coprocessor
ZK Coprocessor có thể được xem như một plugin tính toán ngoài chuỗi bắt nguồn từ khái niệm mô-đun hóa, hoạt động giống như GPU giúp CPU xử lý các tác vụ đồ họa trong máy tính truyền thống — tức là một bộ xử lý chuyên biệt nhằm chia sẻ khối lượng công việc tính toán trong những trường hợp cụ thể. Theo thiết kế này, các nhiệm vụ "nặng về dữ liệu" và "logic tính toán phức tạp" mà blockchain công cộng không làm tốt sẽ được xử lý bởi ZK Coprocessor, còn trên chuỗi chỉ cần nhận kết quả cuối cùng — độ chính xác của kết quả sẽ được đảm bảo bằng chứng minh ZK, từ đó đạt được khả năng tính toán đáng tin cậy ngoài chuỗi cho các tác vụ phức tạp.
Hiện tại, các ứng dụng hot như AI, SocialFi, DEX, GameFi đều có nhu cầu bức 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, các "ứng dụng nặng" kiểu này thường chọn cách đưa tài sản lên chuỗi nhưng chạy ứng dụng ngoài chuỗi, hoặc xây dựng riêng một chuỗi ứng dụng (appchain). Tuy nhiên, cả hai phương án đều tồn tại vấn đề cố hữu: phương án đầu tiên giống hộp đen (black box), phương án thứ hai lại tốn kém về phát triển, rời xa hệ sinh thái gốc và làm đứt gãy thanh khoản. Ngoài ra, máy ảo (VM) của chuỗi chính cũng gây nhiều hạn chế lớn đối với việc phát triển và vận hành các ứng dụng này (ví dụ như thiếu tiêu chuẩn ở tầng ứng dụng, ngôn ngữ lập trình phức tạp).
ZK Coprocessor ra đời nhằm giải quyết các vấn đề trên. Ta hãy lấy một ví dụ cụ thể hơn: ta có thể hình dung blockchain như một thiết bị đầu cuối (điện thoại, máy tính...) không thể kết nối internet. Trong trường hợp này, ta chỉ có thể chạy một vài ứng dụng đơn giản, ví dụ như Uniswap — một ứng dụng DeFi hoàn toàn trên chuỗi. Nhưng khi xuất hiện các ứng dụng phức tạp hơn, ví dụ như chạy một ứng dụng tương tự ChatGPT, hiệu suất và dung lượng lưu trữ của blockchain công cộng sẽ hoàn toàn không đủ, đồng thời phí Gas sẽ tăng vọt. Trong môi trường Web2, khi chúng ta dùng ChatGPT, thiết bị đầu cuối thông thường cũng không thể xử lý được mô hình ngôn ngữ lớn như GPT-4o, do đó chúng ta phải gửi câu hỏi qua mạng đến máy chủ của OpenAI. Sau khi máy chủ tính toán và suy luận, chúng ta sẽ nhận được câu trả lời. ZK Coprocessor đóng vai trò như một máy chủ từ xa của blockchain, chỉ khác là tùy theo từng dự án, thiết kế cụ thể có thể hơi khác nhau, nhưng logic nền tảng thì gần như giống nhau: đều dùng cách tính toán ngoài chuỗi + kiểm chứng bằng ZK proof hoặc Storage proofs. Chúng ta có thể lấy ví dụ triển khai Bonsai của Rise Zero để hiểu rõ hơn về 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, nhà phát triển chỉ cần thực hiện hai bước cơ bản sau để dùng Bonsai như một coprocessor:
-
Viết một chương trình zkVM để xử lý logic ứng dụng;
-
Viết một hợp đồng Solidity yêu cầu Bonsai chạy chương trình zkVM đó và xử lý kết quả.
1.2 Khác biệt gì so với Rollup?
Từ định nghĩa ở trên, ta có thể thấy rằng Rollup dù về mục tiêu hay logic triển khai dường như đều trùng lặp cao với ZK Coprocessor. Nhưng thực tế, Rollup giống như việc đa nhân hóa chuỗi chính. Cụ thể, sự khác biệt giữa hai bên như sau:
1. Mục đích chính:
-
Rollup: Tăng thông lượng giao dịch và giảm phí giao dịch của blockchain.
-
ZK Coprocessor: Mở rộng khả năng tính toán của hợp đồng thông minh, cho phép xử lý logic phức tạp hơn và dữ liệu lớn hơn.
2. Nguyên lý hoạt động:
-
Rollup: Tập hợp các giao dịch trên chuỗi rồi gửi lên chuỗi chính, sử dụng bằng chứng gian lận (fraud proof) hoặc bằng chứng ZK.
-
ZK Coprocessor: Về cơ bản giống ZK Rollup, nhưng phạm vi ứng dụng khác nhau — ZK Rollup bị giới hạn bởi cấu trúc và quy tắc của chuỗi nên không phù hợp để làm công việc của ZK Coprocessor.
3. Quản lý trạng thái:
-
Rollup: Cần duy trì trạng thái riêng, định kỳ đồng bộ với chuỗi chính.
-
ZK Coprocessor: Không duy trì trạng thái lâu dài, mỗi lần tính toán đều không có trạng thái (stateless).
4. Trường hợp sử dụng:
-
Rollup: Chủ yếu hướng tới người dùng cuối (C-end), phù hợp với các giao dịch tần suất cao.
-
ZK Coprocessor: Hướng tới doanh nghiệp (B-end), phù hợp với các trường hợp cần tính toán phức tạp như mô hình tài chính nâng cao, phân tích dữ liệu lớn...
5. Mối quan hệ với chuỗi chính:
-
Rollup: Có thể xem là 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ể.
-
ZK Coprocessor: Có thể phục vụ nhiều blockchain khác nhau, không bị giới hạn bởi một chuỗi chính nào, thậm chí có thể cung cấp dịch vụ cho cả Rollup.
Do đó, về bản chất, hai công nghệ này không loại trừ nhau mà bổ trợ cho nhau. Ngay cả khi một Rollup tồn tại dưới dạng appchain, ZK Coprocessor vẫn có thể cung cấp dịch vụ.
1.3 Các trường hợp sử dụng
Về lý thuyết, phạm vi ứng dụng của ZK Coprocessor rất rộng, về cơ bản có thể bao phủ hầu hết các dự án trong ngành blockchain. Sự tồn tại của ZK Coprocessor giúp các DApp tiến gần hơn đến chức năng của các ứng dụng trung tâm Web2. Dưới đây là một số ví dụ minh họa thu thập từ mạng:
Phát triển DApp dựa trên dữ liệu
ZK Coprocessor cho phép nhà phát triển tạo ra các DApp dựa trên dữ liệu, tận dụng toàn bộ lịch sử dữ liệu trên chuỗi và thực hiện các phép tính phức tạp mà không cần thêm bất kỳ giả định tin cậy nào. Điều này mở ra những khả năng chưa từng có trong phát triển DApp, ví dụ:
-
Phân tích dữ liệu nâng cao: Tương tự chức năng phân tích dữ liệu trên chuỗi như Dune Analytics.
-
Logic kinh doanh phức tạp: Triển khai các thuật toán và logic nghiệp vụ phức tạp vốn chỉ thấy trong các ứng dụng tập trung.
-
Ứng dụng xuyên chuỗi: Xây dựng DApp xuyên chuỗi dựa trên dữ liệu từ nhiều chuỗi.
Chương trình giao dịch viên VIP trên DEX
Một ví dụ điển hình là triển khai chương trình ưu đãi phí giao dịch dựa trên khối lượng giao dịch trên sàn giao dịch phi tập trung (DEX), còn gọi là "chương trình trung thành dành cho giao dịch viên VIP". Loại chương trình này rất phổ biến ở các sàn tập trung (CEX) nhưng lại hiếm gặp trên DEX.
Với ZK Coprocessor, DEX 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 động phí giao dịch theo cấp độ
Tính năng này có thể giúp DEX tăng tỷ lệ giữ chân người dùng, cải thiện 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
ZK Coprocessor có thể đóng vai trò như một middleware mạnh mẽ, cung cấp dịch vụ thu thập dữ liệu, tính toán và xác minh cho hợp đồng thông minh, từ đó giảm chi phí và nâng cao hiệu quả. Điều này giúp hợp đồng thông minh có thể:
-
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 nghiệp vụ nâng cao hơn
Công nghệ cầu nối xuyên chuỗi
Một số công nghệ cầu nối xuyên chuỗi dựa trên ZK như Herodotus và Lagrange cũng có thể được xem là ứng dụng của ZK Coprocessor. Những công nghệ này tập trung vào việc trích xuất và xác minh dữ liệu, từ đó cung cấp nền tảng dữ liệu đáng tin cậy cho giao tiếp xuyên chuỗi.
1.4 ZK Coprocessor không hoàn hảo
Dù chúng ta đã liệt kê nhiều điểm mạnh, nhưng ZK Coprocessor ở giai đoạn hiện tại vẫn chưa hoàn hảo và phải đối mặt với nhiều thách thức. Tôi tổng kết lại một vài điểm như sau:
1. Phát triển: Khái niệm ZK khá khó hiểu với nhiều nhà phát triển, đòi hỏi kiến thức mật mã học chuyên sâu, cũng như phải nắm vững 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 dùng cho tính toán ngoài chuỗi phải do chính dự án gánh toàn bộ chi phí. Phần cứng ZK vừa đắt đỏ vừa đang phát triển nhanh chóng, dễ bị lỗi thời. Việc này có thể tạo thành vòng lặp thương mại bền vững hay không vẫn là điều cần suy ngẫm;
3. Sân chơi đông đúc: Về mặt kỹ thuật, các giải pháp không khác biệt nhiều, kết quả cuối cùng có thể giống như cục diện Layer2 hiện tại — chỉ vài dự án nổi bật, còn phần lớn bị bỏ quên;
4. Mạch zk: Để thực hiện tính toán ngoài chuỗi trong zk coprocessor, cần chuyển đổi chương trình máy tính thông thường sang mạch zk. Việc viết mạch tùy chỉnh cho từng ứng dụng rất rườm rà, còn nếu dùng zkVM để viết trong máy ảo thì lại gặp vấn đề về mô hình tính toán khác dẫn đến chi phí cao.
2. Mảnh ghép then chốt hướng tới ứng dụng quy mô lớn
(Chương này mang tính chủ quan cao, chỉ phản ánh quan điểm cá nhân tác giả)
Chu kỳ hiện tại chủ đạo bởi hạ tầng mô-đun. Nếu con đường mô-đun là đúng, thì chu kỳ này có thể là bước cuối cùng hướng tới ứng dụng quy mô lớn. Nhưng ở giai đoạn hiện tại, tất cả chúng ta đều cảm nhận chung một điều: tại sao chỉ thấy những ứng dụng cũ đội lốt mới? Tại sao số lượng chuỗi lại nhiều hơn số lượng ứng dụng? Tại sao các tiêu chuẩn token mới như Ordinals lại được coi là đổi mới lớn nhất của chu kỳ này?
Lý do căn bản khiến câu chuyện mới khan hiếm là vì hạ tầng mô-đun hiện tại chưa đủ sức nâng đỡ các siêu ứng dụng, đặc biệt là thiếu những điều kiện tiên quyết (khả năng tương tác toàn chuỗi, rào cản người dùng...), từ đó gián tiếp tạo ra sự chia rẽ lớn nhất trong lịch sử blockchain. Rollup, với tư cách là trụ cột của thời đại mô-đun, đúng là nhanh hơn, nhưng cũng kéo theo nhiều vấn đề: thanh khoản bị chia cắt, người dùng phân tán, bản thân chuỗi hay máy ảo vẫn tiếp tục kìm hãm sự đổi mới ứng dụng. Mặt khác, "nhân vật then chốt" khác của mô-đun — Celestia — đã mở đường cho việc lớp DA (Data Availability) không cần phải nằm trên Ethereum, ý tưởng này càng làm trầm trọng thêm sự chia rẽ. Dù bắt nguồn từ lý tưởng hay chi phí DA, kết quả là BTC buộc phải tự làm DA, các blockchain khác đua nhau làm DA hiệu quả hơn. Hiện trạng là mỗi chuỗi công cộng ít thì có một, nhiều thì hàng chục dự án Layer2. Thêm nữa, mọi dự án hạ tầng và hệ sinh thái đều học thuộc lòng mô hình "săn thưởng tích điểm" (point farming) mà Blur (Ironclad) khởi xướng để "giết rồng OpenSea", yêu cầu người dùng stake token vào dự án. Mô hình này ba lợi cho cá voi (lãi suất, ETH/BTC tăng giá, nhận token miễn phí), nhưng lại tiếp tục bóp méo thanh khoản trên chuỗi.
Trong các thị trường tăng giá trước đây, vốn chỉ luân chuyển trong vài đến vài chục chuỗi công cộng, thậm chí có thể nói chỉ tập trung ở Ethereum. Nhưng giờ đây, vốn bị phân tán khắp hàng trăm chuỗi, bị khóa trong hàng ngàn dự án na ná nhau. Sự sôi động trên chuỗi không còn, ngay cả Ethereum cũng không còn hoạt động đáng kể. Do đó, người chơi phương Đông PVP trong hệ sinh thái BTC, người chơi phương Tây PVP trên Solana cũng là điều bất khả kháng. Vì vậy, điều tôi quan tâm nhất hiện nay là làm thế nào để thúc đẩy tập trung thanh khoản toàn chuỗi, làm sao hỗ trợ sự ra đời của các玩法 mới và siêu ứng dụng. Trong lĩnh vực tương tác toàn chuỗi, các dự án đầu ngành truyền thống thực tế luôn表现不佳, chúng vẫn giống cầu nối xuyên chuỗi cổ điển. Còn các giải pháp mới về khả năng tương tác — như đã bàn trong báo cáo trước — chủ yếu theo hướng tập hợp nhiều chuỗi thành một chuỗi duy nhất, hiện có AggLayer, Superchain, Elastic Chain, JAM... không đi sâu ở đây.
Tóm lại, tập hợp toàn chuỗi là bước ngoặt bắt buộc trong cấu trúc mô-đun, nhưng bước ngoặt này còn phải vượt qua rất lâu. Trong khi đó, ZK Coprocessor là mảnh ghép then chốt hơn ở giai đoạn hiện tại — không chỉ tăng cường Layer2 mà còn bổ trợ Layer1. Liệu có thể tạm gác lại hai vấn đề toàn chuỗi và nghịch lý tam giác, trước tiên hiện thực hóa một số ứng dụng phù hợp trên một vài Layer1 hoặc Layer2 có thanh khoản rộng rãi? Dù sao thì câu chuyện ứng dụng blockchain hiện tại quá nghèo nàn. Mặt khác, đa dạng hóa玩法, kiểm soát Gas, sự xuất hiện của ứng dụng quy mô lớn, thậm chí là tương tác xuyên chuỗi và giảm rào cản người dùng — tích hợp giải pháp coprocessor sẽ là lựa chọn lý tưởng hơn so với lệ thuộc vào trung tâm hóa.
3. Tổng quan các dự án
Lĩnh vực ZK Coprocessor chủ yếu xuất hiện khoảng năm 2023, đến nay đã tương đối trưởng thành. Theo phân loại của Messari, hiện tại đã có 18 dự án thuộc ba lĩnh vực chuyên biệt (tính toán tổng quát, khả năng tương tác và xuyên chuỗi, AI và huấn luyện máy), phần lớn được các VC hàng đầu hậu thuẫn. Dưới đây, chúng tôi chọn một số dự án tiêu biểu trong các lĩnh vực khác nhau để trình bày.
3.1 Giza
Giza là một giao thức zkML (machine learning với zero-knowledge) được triển khai trên Starknet và nhận được sự hỗ trợ chính thức từ StarkWare, tập trung vào việc giúp các mô hình trí tuệ nhân tạo (AI) có thể được sử dụng một cách có thể xác minh trong các hợp đồng thông minh blockchain. Nhà phát triển có thể triển khai mô hình AI lên mạng Giza, sau đó Giza sẽ xác minh tính đúng đắn của quá trình suy luận mô hình thông qua bằng chứng ZK, và cung cấp kết quả cho hợp đồng thông minh sử dụng theo cách không cần tin cậy. Điều này cho phép 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, đồng thời duy trì tính phi tập trung và khả năng xác minh của blockchain.
Giza thực hiện quy trình làm việc qua 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 dụng sang định dạng có thể chạy trong hệ thống bằng chứng ZK. Điều này cho phép nhà phát triển dùng công cụ quen thuộc để huấn luyện mô hình, sau đó triển khai lên mạng Giza.
-
Suy luận ngoài chuỗi: Khi hợp đồng thông minh yêu cầu suy luận mô hình AI, 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 trực tiếp mô hình AI phức tạp trên blockchain.
-
Xác minh bằng chứng ZK: Giza tạo bằng chứng ZK cho mỗi lần suy luận mô hình, chứng minh tính toán đã được thực hiện đúng. Các bằng chứng này được xác minh trên chuỗi, đảm bảo tính đúng đắn của kết quả mà không cần lặp lại toàn bộ quá trình tính toán.
Phương pháp của Giza giúp mô hình AI trở thành nguồn đầu vào đáng tin cậy cho hợp đồng thông minh, không cần phụ thuộc vào oracles tập trung hay môi trường thực thi đáng tin cậy (TEE). Điều này mở ra khả năng mới cho ứng dụng blockchain như quản lý tài sản dựa trên AI, phát hiện gian lận, định giá động — là một trong số ít dự án Web3 x AI có vòng lặp logic khép kín, cũng là ví dụ hay về ứng dụng coprocessor trong lĩnh vực AI.
3.2 Risc Zero
Risc Zero là một dự án coprocessor được nhiều VC hàng đầu đầu tư, thuộc nhóm dẫn đầu trong lĩnh vực này. Dự án tập trung vào việc cho phép bất kỳ phép tính nào được thực thi một cách có thể xác minh trong hợp đồng thông minh blockchain. Nhà phát triển có thể dùng Rust để viết chương trình và triển khai lên mạng RISC Zero, sau đó RISC Zero sẽ xác minh tính đúng đắn của chương trình bằng bằng chứng ZK, và cung cấp kết quả cho hợp đồng thông minh sử dụng theo cách không cần tin cậy. Điều này giúp nhà phát triển xây dựng các ứng dụng phức tạp trên chuỗi, đồng thời duy trì tính phi tập trung và khả năng xác minh của blockchain.
Ở phần trước, chúng ta đã sơ lược quy trình triển khai và vận hành. Dưới đây là hai thành phần chính:
Bonsai: Bonsai là thành phần coprocessor của RISC Zero, được tích hợp liền mạch vào zkVM dựa trên kiến trúc lệnh RISC-V. Nó cho phép nhà phát triển nhanh chóng tích hợp bằng chứng ZK hiệu suất cao vào Ethereum, blockchain L1, chuỗi ứng dụng Cosmos, rollup L2 và dApp trong vài ngày, cung cấp khả năng gọi trực tiếp từ hợp đồng thông minh, tính toán ngoài chuỗi có thể xác minh, khả năng tương tác xuyên chuỗi và chức năng rollup tổng quát, đồng thời áp dụng thiết kế kiến trúc phân tán ưu tiên phi tập trung, kết hợp bằng chứng đệ quy, trình biên dịch mạch tùy chỉnh, tiếp nối trạng thái và thuật toán bằng chứng liên tục cải tiến, cho phép bất kỳ ai cũng có thể tạo bằng chứng ZK hiệu suất cao cho mọi ứng dụng.
zkVM: zkVM là một máy tính có thể xác minh, hoạt động giống như một vi xử lý RISC-V nhúng thật. Máy ảo này dựa trên kiến trúc lệnh RISC-V, cho phép nhà phát triển dùng nhiều ngôn ngữ như Rust, C++, Solidity, Go... để viết chương trình tạo bằng chứng ZK, hỗ trợ hơn 70% các crate Rust phổ biến, kết hợp liền mạch giữa tính toán tổng quát và bằng chứng ZK, có thể tạo bằng chứng ZK hiệu quả cho mọi mức độ tính toán phức tạp, đồng thời bảo vệ quyền riêng tư trong quá trình tính toán và đảm bảo tính xác minh của kết quả. zkVM sử dụng các công nghệ ZK như STARK và SNARK, thông qua các thành phần như Recursion Prover và STARK-to-SNARK Prover để đạt được việc tạo và xác minh bằng chứng hiệu quả, hỗ trợ mô hình 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 Layer2 thuộc hệ sinh thái ETH và minh họa nhiều trường hợp dùng Bonsai, trong đó thú vị nhất là Bonsai Pay. Bản demo này dùng zkVM và dịch vụ bằng chứng Bonsai của RISC Zero, cho phép người dùng dùng tài khoản Google để gửi hoặc rút ETH và token trên Ethereum. Nó cho thấy cách RISC Zero 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 dùng bởi các nhà cung cấp danh tính lớn như Google), là một ví dụ tích hợp giúp giảm rào cản người dùng Web3 thông qua ứng dụng Web2 truyền thống. Ngoài ra còn có các ví dụ khác như ứng dụng DAO.
3.3 =nil;
=nil; được đầu tư bởi các dự án và tổ chức nổi tiếng như Mina, Polychain, Starkware, Blockchain Capital... Đáng chú ý là sự góp mặt của Mina và Starkware — những đơn vị tiên phong về công nghệ zk — cho thấy sự công nhận cao về mặt kỹ thuật. =nil; cũng là dự án từng được nhắc đến trong báo cáo "thị trường năng lực tính toán" của chúng tôi, lúc đó tập trung vào Proof Market (thị trường phi tập trung tạo bằng chứng). Thực tế dự án còn có một sản phẩm con khác là zkLLVM.
zkLLVM là một trình biên dịch mạch sáng tạo do =nil; Foundation phát triển, có khả năng tự động chuyển đổi mã ứng dụng viết bằng các ngôn ngữ phổ biến như C++ và Rust thành mạch có thể chứng minh hiệu quả trên Ethereum, không cần dùng ngôn ngữ chuyên biệt (DSL) cho lĩnh vực ZK, từ đó đơn giản hóa quy trình phát triển, giảm rào cản, đồng thời tăng hiệu suất nhờ không dùng zkVM (máy ảo ZK), hỗ trợ tăng tốc phần cứng để rút ngắn thời gian tạo bằng chứng, phù hợp với nhiều trường hợp dùng ZK như Rollups, cầu nối xuyên chuỗi, oracles, học máy và game, đồng thời tích hợp chặt chẽ với Proof Market của =nil; Foundation để cung cấp 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. Brevis là một ZK Coprocessor thông minh cho blockchain, 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 blockchain một cách hoàn toàn không cần tin cậy. Giống các coprocessor khác, Brevis có nhiều trường hợp dùng rộng rãi như DeFi dựa trên dữ liệu, zkBridge, thu hút người dùng trên chuỗi, zkDID, tài khoản xã hội trừu tượng.
Kiến trúc Brevis chủ yếu gồm ba phần:
-
zkFabric: Là bộ lặp tín hiệu (repeater) trong kiến trúc Brevis. Nhiệm vụ chính 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 đó dùng mạch ZK light client để tạo bằng chứng đồng thuận cho mỗi tiêu đề khối đã thu thập.
-
zkQueryNet: Là một thị trường động cơ truy vấn ZK mở, có thể nhận trực tiếp truy vấn dữ liệu từ hợp đồng thông minh trên chuỗi, đồng thời tạo kết quả truy vấn và bằng chứng ZK tương ứng thông qua mạch động cơ truy vấn. Các động cơ này dao động từ chuyên biệt cao (ví dụ tính khối lượng giao dịch DEX trong khoảng thời gian cụ thể) đến trừu tượng chỉ mục dữ liệu và ngôn ngữ truy vấn nâng cao, đáp ứng mọi nhu cầu ứng dụng.
-
zkAggregatorRollup: Đóng vai trò là lớp tổng hợp và lưu trữ cho zkFabric và zkQueryNet. Nó xác minh các bằng chứng từ hai thành phần này, lưu trữ dữ liệu đã được chứng minh, và nộp root trạng thái ZK của nó lên tất cả các blockchain kết nối, từ đó cho phép các dApp truy cập trực tiếp kết quả truy vấn đã được chứng minh trong logic nghiệp vụ của hợp đồng thông minh trên chuỗi.
Thông qua kiến trúc mô-đun này, Brevis có thể cung cấp cách truy cập an toàn, hiệu quả và linh hoạt cho hợp đồng thông minh trên mọi chuỗi công cộng được hỗ trợ. Phiên bản UNI V4 cũng đã tích hợp dự án này, kết nối với Hooks (hệ thống tích hợp logic tùy chỉnh cho người dùng) trong giao thức để dễ dàng đọc dữ liệu lịch sử blockchain, giảm phí Gas, đồng thời đảm bảo thuộc tính phi tập trung. Đây là một ví dụ về việc ZK Coprocessor thúc đẩy DEX.
3.5 Lagrange
Lagrange là một giao thức ZK Coprocessor về khả năng tương tác do 1kx và Founders Fund dẫn đầu đầu tư, mục đích chính là hỗ trợ khả năng tương tác xuyên chuỗi không cần tin cậy và đổi mới cho các ứng dụng cần tính toán phức tạp với dữ liệu lớn. Khác với 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 được thực hiện thông qua cơ chế ZK Big Data và State Committee sáng tạo.
ZK Big Data: 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 xuyên chuỗi, tạo bằng chứng ZK liên quan. Thành phần này bao gồm ZK Coprocessor song song cao để thực hiện tính toán phức tạp ngoài chuỗi và tạo bằng chứng ZK, cơ sở dữ liệu có thể xác minh được thiết kế riêng hỗ trợ vô số khe lưu trữ và cho phép hợp đồng thông minh truy vấn trực tiếp bằng SQL, 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 tạo bằng chứng, và chức năng tích hợp cho phép nhà phát triển dùng truy vấn SQL từ hợp đồng thông minh để truy cập dữ liệu lịch sử mà không cần viết mạch phức tạp — cùng nhau tạo thành một hệ thống xử lý và xác minh dữ liệu blockchain quy mô lớn.
State Committee: Là một mạng xác minh phi tập trung, gồm nhiều nút độc lập, mỗi nút stake ETH làm tài sản ký quỹ. Các nút này đóng vai trò là ZK light client, chuyên xác minh trạng thái của các rollup được tối ưu hóa cụ thể. State Committee tích hợp với AVS của EigenLayer, sử dụng cơ chế re-staking để tăng cường bảo mật, hỗ trợ vô số nút tham gia, đạt được sự tăng trưởng bảo mật siêu tuyến tính. Nó còn cung cấp "chế độ nhanh", cho phép người dùng thực hiện thao tác xuyên chuỗi mà không cần chờ cửa sổ thách thức, 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 giúp Lagrange xử lý hiệu quả dữ liệu quy mô lớn, thực hiện tính toán phức tạp và truyền an toàn, xác minh kết quả giữa các blockchain khác nhau, từ đó hỗ trợ phát triển các ứng dụng xuyên chuỗi phức tạp.
Lagrange hiện đã tích hợp với EigenLayer, Mantle, Base, Frax, Polymer, LayerZero, Omni, AltLayer... và sẽ là ZK AVS đầu tiên được kết nối trong hệ sinh thái Ethereum.
Chào mừng tham gia cộng đồng chính thức TechFlow
Nhóm Telegram:https://t.me/TechFlowDaily
Tài khoản Twitter chính thức:https://x.com/TechFlowPost
Tài khoản Twitter tiếng Anh:https://x.com/BlockFlow_News
@YBBCapital
