Cuộc chiến giành vị trí dẫn đầu trên thị trường ZK Proof: Ngắn gọn so với Không giới hạn

Tác giả: yyy Nguồn: X, @y_cryptoanalyst

So với @SuccinctLabs, @boundless_xyz chưa nhận được sự chú ý và tầm quan trọng xứng đáng từ thị trường, nhưng giống như Succinct, nó có tiềm năng trở thành đơn vị dẫn đầu trong lĩnh vực cơ sở hạ tầng chung của zk. Đây cũng chính là mục đích ban đầu của tôi khi viết bài giới thiệu chi tiết nhất về toàn bộ khu vực Trung Quốc.

Hiện tại, giao thức có tiếng nói nhất trong phân khúc thị trường bằng chứng ZK chắc chắn là @SuccinctLabs. Sự kiện ngôi sao theo lời mời dành cho người chơi C-end đã nhanh chóng khiến Succinct trở nên phổ biến. Nhưng đồng thời, mạng lưới zk proof @boundless_xyz được @RiscZero hỗ trợ cũng đang trên đà phát triển, và theo tôi, đây chính là đối thủ cạnh tranh lớn nhất của Succinct trong phân khúc mà họ đang nhắm tới.

Bài tweet này thảo luận ngắn gọn về điểm tương đồng, khác biệt và lợi thế cạnh tranh giữa @SuccinctLabs và @boundless_xyz. Người ta vẫn chưa biết công ty nào sẽ trở thành công ty dẫn đầu trong lĩnh vực này.

zkVM là điều tất yếu

Dù là @SuccinctLabs hay @boundless_xyz, thì việc triển khai kỹ thuật của họ cũng không thể tránh khỏi zkVM. Sự khác biệt là Succinct sử dụng máy ảo SP1, trong khi Boundless sử dụng máy ảo R0VM do RISC phát triển?

Vậy zkVM là gì?

zkVM là máy ảo không cần kiến ​​thức cho phép các nhà phát triển chứng minh việc thực thi bất kỳ chương trình nào dựa trên Rust (hoặc ngôn ngữ lập trình LLVM khác).

Nói một cách đơn giản, các nhà phát triển dựa trên zkVM không cần phải thực hiện quy trình tạo bằng chứng zk tốn nhiều tính toán (xây dựng và tối ưu hóa mạch thủ công). Việc tạo bản in thử sẽ được tự động hoàn tất ở chế độ nền, giúp rút ngắn đáng kể thời gian phát triển bản in thử zk.

Succinct: SP1 so với Boundless: R0VM

Máy ảo zkVM trừu tượng hóa sự phức tạp của bằng chứng không kiến ​​thức bằng cách tạo ra một môi trường khách quan, giúp việc tạo bằng chứng trở nên đơn giản như điện toán truyền thống.

SP1 của Succinct và R0VM của Boundless đều dựa trên bộ lệnh RISC-V và cả hai đều hỗ trợ viết bằng ngôn ngữ Rust và tạo bản chứng minh ZK tự động. Và tất cả đều phù hợp với các tình huống tính toán chung.

Phân biệt:

1) Tính độc đáo của công nghệ cơ bản;

Hệ thống chứng minh cơ bản của @SuccinctLabs SP1 dựa trên bộ công cụ chứng minh ZK dạng mô-đun Plonky3 do nhóm Polygon phát triển. Đây là bản nâng cấp lặp đi lặp lại của Plonky2 sớm nhất vào đầu năm 2022, với mức độ hoàn thiện kỹ thuật cao hơn. Succinct tương đương với việc đứng trên vai gã khổng lồ Polygon;

@boundless_xyz R0VM dựa trên công nghệ tự phát triển của công ty mẹ RISC. Sau khi phiên bản R0VM 1.0 được ra mắt vào tháng 6 năm 2024, nó cũng đã trải qua nhiều lần lặp lại kỹ thuật (1.1.0-1.1.2) và hiện đang lặp lại đến phiên bản R0VM 2.0 mới nhất.

2) Mức độ mã nguồn mở;

@SuccinctLabs SP1 tuyên bố là zkVM mã nguồn mở 100% đầu tiên. Tôi đã tìm kiếm thông tin có liên quan và thấy rằng R0VM của RISC là mã nguồn mở một phần khi lần đầu tiên ra mắt và cũng được công bố là mã nguồn mở hoàn toàn 100% vào tháng 8 năm 2024.

3) Hiệu suất;

Hiệu suất là một trong những chỉ số cốt lõi của zkVM, thường đề cập đến thời gian tạo và thời gian xác minh bằng chứng zk. Vì dữ liệu này tương đối nhạy cảm và Succinct và Boundless là đối thủ cạnh tranh trực tiếp nên dữ liệu họ công bố có thể không công bằng (chẳng hạn như dữ liệu thử nghiệm cho một môi trường cụ thể, v.v.). Tôi chưa tìm thấy dữ liệu có thẩm quyền và đáng tin cậy từ bên thứ ba trung lập, vì vậy tôi sẽ không tiết lộ để đảm bảo dữ liệu khách quan và cụ thể.

Quan điểm chính thống hiện nay trong ngành là @SuccinctLabs SP1 hoạt động tốt hơn trong các tác vụ băm chuyên sâu (chẳng hạn như xác minh máy khách nhẹ Tendermint), điều này được phản ánh trong thời gian tạo bằng chứng nhanh hơn; R0VM của @boundless_xyz phù hợp hơn với các tình huống tính toán chung và có lợi thế rõ ràng về quản lý bộ nhớ.

Việc SP1 hỗ trợ biên dịch trước giúp giảm số chu kỳ lệnh RISC-V cần thiết để tạo bằng chứng, do đó tăng tốc thời gian tạo bằng chứng và giảm chi phí tạo bằng chứng. Tuy nhiên, với sự ra mắt của R0VM 2.0, hai biên dịch trước chính mới là BN254 và BLS12-381 đã được thêm vào, điều này cũng sẽ mang lại những cải tiến hiệu suất đáng kể.

Thị trường chứng nhận zk là gì?

Việc tạo ra bằng chứng zk là nền tảng để @SuccinctLabs và @boundless_xyz tiến tới thương mại hóa quy mô lớn. Mục tiêu cuối cùng của họ là trở thành một thị trường chứng minh zk hiệu quả và phi tập trung hơn, biến điện toán có thể xác minh thành một loại hàng hóa phổ biến, không cần tin cậy.

Thị trường đóng vai trò kết nối người mua và người bán. Thị trường zk proof có thể được hiểu là thị trường kết nối giữa nhà cung cấp và người có nhu cầu về zk proof. Nhà cung cấp bằng chứng zk là người tạo ra bằng chứng, thường là người vận hành GPU hoặc các thiết bị phần cứng khác; Người yêu cầu bằng chứng zk chủ yếu là người dùng B-side có nhu cầu xác minh.

Cơ chế khớp lệnh cung cầu thị trường chứng minh của @SuccinctLabs không hề phức tạp. Mạng lưới Succinct bao gồm hai loại người tham gia cốt lõi: người yêu cầu (người đòi hỏi bằng chứng zk) và người chứng minh (người cung cấp bằng chứng zk).

Succinct đóng vai trò là trung gian thanh toán quỹ: người chứng minh ký quỹ thế chấp trên chuỗi để có đủ điều kiện tham gia cuộc thi chứng minh và giao thức Succinct trước tiên sẽ ký quỹ phí cho người yêu cầu để yêu cầu dịch vụ chứng minh; Người chứng minh cạnh tranh thông qua phiên đấu giá bằng chứng và người chiến thắng phiên đấu giá cuối cùng sẽ giao bằng chứng zk cho người yêu cầu và nhận được khoản phí tương ứng. Toàn bộ quá trình ghép đôi hiện đã kết thúc.

Để biết cơ chế triển khai kiến ​​trúc kỹ thuật chi tiết hơn, vui lòng xem tài liệu chính thức của @SuccinctLabs:

https://docs.succinct.xyz/docs/network/architecture/components

@boundless_xyz vừa mới phát hành một sách trắng cách đây không lâu, đóng vai trò như một thị trường bằng chứng zk. Cơ chế triển khai của nó tương tự như @boundless_xyz nên tôi sẽ không đi sâu vào chi tiết ở đây. Để biết thông tin chi tiết về triển khai kỹ thuật, vui lòng xem liên kết đến sách trắng Boundless được đính kèm ở cuối bài viết.

Vị trí người dùng B-end

Là các giao thức cơ sở hạ tầng chung được giới tư bản ưa chuộng, @SuccinctLabs và @SuccinctLabs có nhóm người dùng B-end cốt lõi của riêng mình, hình thành nên phe ủng hộ Succinct và phe ủng hộ RISC (Boundless).

Phe Pro-Succinct:

Giống như Cosmos, tích hợp IBC Eureka một cách tự nhiên để cung cấp các dịch vụ tạo bằng chứng zk, cho phép mở rộng khả năng tương tác chuỗi chéo IBC trong mạng lưới chuỗi không đồng nhất toàn cầu. Bao gồm nhưng không giới hạn ở: Polygon, lớp DA @celestia, @AvailProject, v.v. cung cấp hỗ trợ kỹ thuật sớm;

Phe ủng hộ RISC (Boundless):

Chẳng hạn như thỏa thuận đặt cược lại ETH @eigenlayer, thỏa thuận tương tác chuỗi chéo zk @union_build, Bitcoin zk-Rollup @citrea_xyz, v.v.

Tóm tắt

Vị trí cốt lõi của @boundless_xyz và @SuccinctLabs rất giống nhau và phạm vi kinh doanh của họ cũng rất trùng lặp. Theo tôi, sự cạnh tranh giữa hai bên không phải là sự cạnh tranh về đổi mới công nghệ mà là sự cạnh tranh giành người dùng cốt lõi như người dùng B-end và người dùng C-end.

Cạnh tranh ở phân khúc B khá cân bằng và Succinct có lợi thế rõ ràng ở phân khúc C. Để bù đắp cho những thiếu sót của mình, Boundless rất có thể sẽ tung ra các hoạt động tích điểm/hoạt động mời gọi tương tự để thu hút người dùng C-end.

Cuối cùng

Nếu bạn không thể tưởng tượng được thị trường tiềm năng lớn như thế nào dưới tảng băng chìm của bằng chứng tổng quát zk, thì bạn cũng không thể tưởng tượng được tiềm năng của @SuccinctLabs và @boundless_xyz cao đến mức nào.

Nhưng tất cả những điều này đều có thể theo dõi được. Nếu bây giờ bạn chưa hiểu và chưa nhận ra giá trị của thị trường đã được zk chứng minh, hãy tiếp tục chú ý.

Tôi nghĩ rằng cuối cùng chúng ta sẽ tham gia vào cuộc cách mạng zk này, và bây giờ, cuộc cách mạng này mới chỉ bắt đầu.