Hai trong số các dự án ZK tham vọng nhất, Succinct và Boundless, đang chạy đua để mang điện toán có thể kiểm chứng đến mọi ngóc ngách của không gian onchain.
Cả hai đều sử dụng zkVM, nhưng chúng không giống nhau.
Dưới đây là bảng phân tích về sự khác biệt của 🧠🧵 chúng
2/ Ở cấp độ cao:
- @SuccinctLabs xây dựng zkVM (SP1) của mình và vận hành một mạng lưới phi tập trung nơi bất kỳ ai cũng có thể yêu cầu một bằng chứng cho công việc offchain.
- @boundless_xyz (từ RISC Zero) xây dựng một lớp giao thức ZK biến bất kỳ phép toán offchain nào thành một biên nhận có thể xác minh.
Cả hai đều muốn thay thế niềm tin bằng sự thật mật mã.
3/ Hãy bắt đầu với các công cụ chứng minh của họ
- SP1 của Succinct chạy các chương trình Rust và tạo ra ZKP bằng cách sử dụng SNARKs đệ quy. Nó nhanh, mô-đun và được tối ưu hóa cho các khối lượng công việc giống như rollup.
- Boundless sử dụng zkVM của RISC Zero để xử lý các phép toán khổng lồ và chứng minh có thể mở rộng.
4/ Ở phía sau:
Succinct sử dụng một nhà đấu giá offchain. Bạn gửi một công việc (như "chứng minh phép toán này"), và mạng lưới tìm người chứng minh rẻ nhất trong thời gian thực.
Các người chứng minh cạnh tranh nhau để nhận công việc, tạo ra một thị trường cho công việc chứng minh.
Nó cảm giác như một API Web2. Nhanh chóng, hiệu quả, nhưng được bảo mật bằng ZKP được đăng trên chuỗi sau đó để cung cấp cho bạn một bằng chứng mật mã rằng chương trình đã chạy đúng.
5/ Động cơ đứng sau nó được gọi là SP1 - một zkVM có thể chạy logic phức tạp, xác minh chữ ký, mô phỏng rollups, hoặc hoạt động như một khách nhẹ cho các chuỗi khác.
SP1 được tối ưu hóa cho tốc độ, tái sử dụng và xác minh onchain với chi phí thấp. Các bằng chứng nhỏ và rẻ để xác minh (khoảng 200k gas trên Ethereum).
6/ SP1 zkVM đã hoạt động. Các nhà phát triển có thể xác minh chứng chỉ trên chuỗi và triển khai các ứng dụng đạt tiêu chuẩn sản xuất bằng SP1.
Nhưng Mạng Chứng Thực Ngắn Gọn - lớp phi tập trung nơi bất kỳ ai cũng có thể chạy một chứng thực viên và kiếm tiền - vẫn đang ở giai đoạn cuối của testnet (Giai đoạn 2.5).
Mainnet cho Mạng Chứng Thực đang đến gần.
7/ Boundless, mặt khác, biến việc chứng minh thành một dịch vụ công. Bất kỳ chuỗi nào cũng có thể yêu cầu nó chứng minh điều gì đó. Bất kỳ ứng dụng nào cũng có thể thuê ngoài logic phức tạp cho nó.
Nó không chỉ là một mạng lưới, mà là một lớp hoàn toàn cho tính toán có thể xác minh.
Bạn có thể tưởng tượng Boundless như điện toán đám mây với biên nhận mã hóa.
8/ Được xây dựng trên RISC Zero, Boundless cũng chạy mã Rust hoặc C++ trong một zkVM.
Nhưng nó bọc lại bằng một giao thức nơi các công việc được đăng trên chuỗi, sau đó được nhận và tính toán ngoài chuỗi bởi các prover.
9/ Nó giới thiệu một ý tưởng mới gọi là Proof of Verifiable Work (PoVW). Những người chứng minh sẽ được thưởng dựa trên mức độ tính toán thực tế mà họ thực hiện.
Nó giống như khai thác, nhưng thay vì băm các số ngẫu nhiên, họ đang chứng minh công việc hữu ích, chạy các chương trình thực tế.
Boundless gọi nó là zk-mining.
10/ Trường hợp sử dụng trực tiếp đầu tiên của Boundless là The Signal trên Mainnet Beta, một khách hàng đồng thuận ZK chứng minh tính cuối cùng của Ethereum thành một bằng chứng có thể xác minh duy nhất.
Bằng chứng đó có thể được bất kỳ chuỗi nào đọc, cho phép các ứng dụng crosschain đọc trạng thái Ethereum mà không cần multi-sigs hoặc oracles.
The Signal sẽ chứng minh nhiều chuỗi hơn tiếp theo khi mạng lưới mở rộng.
11/ Sự khác biệt là gì?
Ngắn gọn: đấu giá nhanh, ngoài chuỗi → một người chứng minh thắng công việc → nộp chứng minh trên chuỗi. Bạn nhận được độ trễ thấp và kết quả có thể xác minh nhanh chóng.
Vô hạn: các nhiệm vụ được đăng trên chuỗi → bất kỳ người chứng minh nào cũng có thể tính toán ngoài chuỗi → nộp chứng minh trên chuỗi → PoVW thưởng cho các người chứng minh. Cạnh tranh mở cho người chứng minh và hoàn toàn không cần tin cậy ngay từ đầu.
12/ Ai đang sử dụng chúng?
- @Mantle_Official → Nâng cấp từ Optimistic sang zkRollup sử dụng SP1 zkVM của Succinct để có độ hoàn tất nhanh và tương thích EVM.
- Các nền tảng Rollup-as-a-Service (Conduit, AltLayer, Caldera, Alchemy, Gelato) → Cung cấp ZK rollups thông qua OP-Succinct, cho phép các nhà phát triển khởi chạy L2 với nâng cấp độ hoàn tất SP1 chỉ với 1 cú nhấp chuột.
- @Agglayer của Polygon → Sử dụng SP1 để giúp triển khai một lớp zk-unification trên các rollup của Polygon, nâng cao khả năng kết hợp giữa các rollup.
- @celestia (Blobstream DA Bridge) → SP1 xác minh sự bao gồm khối của Celestia cho việc cầu nối DA không cần tin cậy, cho phép các rollup thanh toán trên Ethereum với các blob của Celestia.
13/ - @eigenlayer → Sử dụng Boundless để tính toán cập nhật giá trị đã đặt cược ngoài chuỗi, đăng tải các bằng chứng ZK giúp giảm gas L1 khoảng ~99.9%.
- @hibachi_xyz → Xây dựng sàn giao dịch có thể chứng minh đầu tiên. Việc khớp ngoài chuỗi được thực hiện với tần suất cao; mỗi lô đều được chứng minh bằng R0VM trên Boundless.
- @citrea_xyz (Bitcoin zkRollup) → Sử dụng Boundless để chứng minh các giao dịch Bitcoin theo lô, cho phép các zk rollup tương thích với EVM trên Bitcoin.
- @build_on_bob → Boundless cung cấp năng lượng cho L2 hybrid của BOB, mang lại hợp đồng thông minh EVM và các rollup được chứng minh cho Bitcoin.
14/ Ai sẽ thắng trong trò chơi ZK?
Họ không phải là đối thủ trực tiếp. Thực tế, cách tiếp cận của họ có thể bổ sung cho nhau.
Điều rõ ràng là: cơ sở hạ tầng ZK đang trở nên mô-đun. Tính toán nhanh, toàn cầu và không cần tin cậy không còn là khoa học viễn tưởng, nó đang diễn ra ngay bây giờ.
17,08 N
8
Nội dung trên trang này được cung cấp bởi các bên thứ ba. Trừ khi có quy định khác, OKX không phải là tác giả của bài viết được trích dẫn và không tuyên bố bất kỳ bản quyền nào trong các tài liệu. Nội dung được cung cấp chỉ nhằm mục đích thông tin và không thể hiện quan điểm của OKX. Nội dung này không nhằm chứng thực dưới bất kỳ hình thức nào và không được coi là lời khuyên đầu tư hoặc lời chào mời mua bán tài sản kỹ thuật số. Việc sử dụng AI nhằm cung cấp nội dung tóm tắt hoặc thông tin khác, nội dung do AI tạo ra có thể không chính xác hoặc không nhất quán. Vui lòng đọc bài viết trong liên kết để biết thêm chi tiết và thông tin. OKX không chịu trách nhiệm về nội dung được lưu trữ trên trang web của bên thứ ba. Việc nắm giữ tài sản kỹ thuật số, bao gồm stablecoin và NFT, có độ rủi ro cao và có thể biến động rất lớn. Bạn phải cân nhắc kỹ lưỡng xem việc giao dịch hoặc nắm giữ tài sản kỹ thuật số có phù hợp hay không dựa trên tình hình tài chính của bạn.