Trò chơi cuối cùng của ZK: Boundless vs. Succinct Mùa ZK đã đến, và thị trường hạ tầng ZK dự kiến sẽ phát triển lên >10 tỷ USD vào năm 2030. Trong khi đó, Boundless và Succinct đang hình thành để trở thành những người thống trị trong việc chứng minh. Tuy nhiên, nhiều người không hiểu rằng mặc dù tương tự, nhưng chúng lại khác nhau. Hãy để tôi giải thích điều này ↓ Boundless: "Uber cho Tính toán ZK" - Mô hình Thực thi: Cung cấp một thị trường toàn cầu nơi các công việc được đăng trên chuỗi (có thể trên bất kỳ chuỗi nào mà không cần cầu nối, điều này là một điểm khác biệt chính), đấu giá Hà Lan ngược, và Chứng minh Công việc Có thể Xác minh (PoVW) để tạo ra một thị trường cạnh tranh kết nối những người yêu cầu chứng minh và những người chứng minh, đồng thời thưởng cho những người sau dựa trên số chu kỳ tính toán thực tế mà họ thực hiện. Boundless sử dụng kiến trúc ba lớp: Bento (chứng minh địa phương), Broker (giao diện thị trường), và thanh toán trên chuỗi. - Hiệu suất & Sự chấp nhận: Thị trường chứng minh mở cung cấp năng lượng cho R0 zkVM (dựa trên RISC-V) của RiscZero, giảm chi phí chứng minh từ hàng nghìn xuống chỉ còn vài đô la, và tạo ra các chứng minh nhỏ hơn 7 lần so với SP1 (zkVM của Succinct), làm cho nó lý tưởng cho xác minh trên chuỗi và khối lượng công việc nhỏ hơn. Boundless đã có >1,700 người chứng minh hoạt động trên mạng chính beta và >391k chứng minh được yêu cầu từ "The Signal" (các chứng minh trạng thái ZK cho lợi ích công cộng tương tác) một mình. Succinct: Nền tảng Phát triển Hiệu suất Cao - Mô hình Thực thi: Mạng lưới hiệu suất cao, nhẹ nhàng hoạt động như một "API cho các chứng minh ZK", được cung cấp bởi SP1 zkVM của nó (cũng dựa trên RISC-V) và một nhà đấu giá nhanh ngoài chuỗi để ghép nối/giao một người chứng minh cho mỗi công việc, tối ưu hóa cho độ trễ thấp, và cho phép các nhà phát triển tạo ra các chứng minh từ mã Rust tiêu chuẩn mà sau đó được xác minh trên chuỗi (trên Ethereum). Succinct chạy SP1 thông qua chứng minh địa phương hoặc API mạng người chứng minh được lưu trữ của họ. - Hiệu suất & Sự chấp nhận: Mạng lưới người chứng minh hiệu suất cao của SP1 xuất sắc trong các hoạt động mật mã phức tạp nhờ kiến trúc biên dịch trước của nó. Nó hoàn toàn sẵn sàng cho sản xuất và ví dụ giảm một chứng minh Tendermint >2h xuống chỉ còn vài phút. Mạng lưới người chứng minh đã tạo ra gần 5 triệu chứng minh với thời gian hoạt động 99.9%+, và lưu trữ >1,600 chương trình. Những điểm chính cần rút ra là gì? Mặc dù cả hai cuối cùng đều cố gắng làm cho việc chứng minh ZK hiệu quả hơn và dễ tiếp cận hơn cho các nhà xây dựng, nhưng họ có cách tiếp cận khác nhau đối với sứ mệnh đó ở cấp độ kỹ thuật. Ví dụ, Boundless là một mạng lưới mở hơn, nơi bất kỳ người chứng minh nào cũng có thể tính toán ngoài chuỗi trong khi tất cả các chứng minh được nộp trên chuỗi, và với các hợp đồng thị trường trên tất cả các hệ sinh thái/chuỗi chính. Trong khi đó, PoVW đảm bảo phần thưởng cho người chứng minh được đo lường dựa trên tính toán thực tế được thực hiện. Nó cũng là hạ tầng không phụ thuộc vào hệ thống chứng minh, và như một thị trường không cần giấy phép, nhằm trở thành cửa hàng một điểm cho tất cả các nhu cầu tính toán và chứng minh có thể xác minh (ngoài việc cung cấp toàn bộ bộ sản phẩm ZK của RiscZero bao gồm R0 zkVM, Kailua, bộ xử lý đồng thép của nó, v.v. hoặc gần đây hơn là "The Signal" của Boundless). Toàn bộ hệ sinh thái RiscZero xung quanh Boundless cung cấp một giải pháp phát triển ZK toàn diện. Ngược lại, trên mạng lưới người chứng minh của Succinct, hệ thống đấu giá của mạng lưới tìm người chứng minh rẻ nhất trong thời gian thực, với một người chứng minh duy nhất thắng công việc, và xác minh trên chuỗi tiếp theo của chứng minh đã được giao, với các thành phần trên chuỗi sống trên Ethereum. Nó đặc biệt tập trung vào việc cung cấp năng lượng cho SP1, zkVM hiệu suất cao của Succinct, và các công cụ phát triển xung quanh nó. Rất nhiều sự chấp nhận hiện tại của Succinct đến từ việc "ZKfiyng" các rollup với khung OP Succinct của nó hoặc cung cấp năng lượng cho các chuỗi ứng dụng ZK (ví dụ: Hibachi) với sự tập trung vào hệ sinh thái mô-đun. Họ có phải là đối thủ không? Phần lớn là có, vì thực tế là cả @boundless_xyz và @SuccinctLabs cuối cùng đều cung cấp dịch vụ chứng minh, cũng có nghĩa là sẽ không thể tránh khỏi việc có các sản phẩm được xây dựng trên hạ tầng đó mà cuối cùng cạnh tranh với nhau về mức độ chấp nhận (và nhu cầu chứng minh tích lũy cho hạ tầng cơ sở). Một số ví dụ ở đây, là các zkVM của họ (R0 và SP1), và nhiều trường hợp sử dụng được kích hoạt bởi chúng, bao gồm khung OP Kailua của RiscZero cho các chứng minh gian lận ZK hybrid cạnh tranh với OP Succinct (khung ZK của Succinct cho các chuỗi OP), hai phiên bản ZK được cung cấp năng lượng của Blobstream (cầu DA cho Celestia) mà cả hai đội đã xây dựng trên hạ tầng của họ, hoặc các bộ xử lý đồng ZK nội bộ của họ (Steel so với SP1-CC), v.v. Tuy nhiên, tôi tin rằng thị trường hạ tầng chứng minh ZK đủ lớn cho hai (hoặc nhiều hơn?) người chơi chính, và đặc biệt trong trường hợp các ứng dụng có rủi ro cao (ví dụ: DeFi tổ chức, một số trường hợp sử dụng AI, v.v.), hoặc các chuỗi phục vụ cho các lĩnh vực này, các hệ thống đa người chứng minh sẽ trở nên phổ biến hơn (cải thiện độ bền và bảo mật), có thể dẫn đến việc tích hợp đôi với cả hai mạng lưới. Chúng ta cũng sẽ thấy các lớp tổng hợp được xây dựng trên nhiều thị trường/mạng lưới chứng minh, điều này cuối cùng sẽ dẫn đến việc các lớp hạ tầng này hoạt động song song với nhau ở một mức độ nào đó. ZK là trò chơi cuối cùng. Mùa ZK đã đến. Hãy nghiên cứu ZK.