So với @SuccinctLabs, @boundless_xyz vẫn chưa nhận được sự quan tâm và chú ý như thị trường đáng có, nhưng nó cũng có tiềm năng trở thành đầu tàu trong lĩnh vực hạ tầng zk giống như Succinct, đây cũng là lý do tôi viết bài giới thiệu chi tiết nhất hiện tại trên toàn mạng tiếng Trung này.
Hiện tại, giao thức có tiếng gọi cao nhất trong phân khúc thị trường zk chứng minh chắc chắn là @SuccinctLabs, hoạt động mời gọi ngôi sao dành cho người chơi C-end đã giúp Succinct nhanh chóng nổi bật. Nhưng cùng lúc đó, mạng zk chứng minh @boundless_xyz dựa vào @RiscZero đang nổi lên, đây cũng là đối thủ cạnh tranh lớn nhất mà tôi cho rằng Succinct phải đối mặt trong phân khúc mà họ đang định vị.
Bài tweet này nói về những điểm khác biệt và lợi thế cạnh tranh giữa @SuccinctLabs và @boundless_xyz, ai sẽ trở thành người dẫn đầu trong lĩnh vực này vẫn chưa thể biết được.
zkVM không thể tránh
Dù là @SuccinctLabs hay @boundless_xyz, công nghệ của họ đều không thể tránh khỏi zkVM. Điểm khác biệt nằm ở chỗ Succinct sử dụng máy ảo SP1, trong khi Boundless sử dụng máy ảo R0VM phát triển từ RISC?
Vậy zkVM là gì?
zkVM là máy ảo chứng minh không kiến thức, cho phép các nhà phát triển chứng minh việc thực hiện 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 thực hiện quy trình tạo chứng zk tốn nhiều tài nguyên tính toán (xây dựng và tối ưu hóa mạch thủ công), việc tạo chứng sẽ được hoàn thành tự động ở chế độ nền, rút ngắn đáng kể thời gian phát triển chứng zk.
Ngắn gọn: SP1 so với Không giới hạn: R0VM
Máy ảo zkVM tạo ra môi trường khách quan để trừu tượng hóa sự phức tạp của chứng minh không biết, khiến việc tạo chứng minh trở nên đơn giản như tính 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, đều hỗ trợ lập trình bằng ngôn ngữ Rust và tự động tạo ra chứng minh ZK. Đồng thời, chúng đều phù hợp với các tình huống tính toán chung.
Sự khác biệt:
1）Tính nguyên bản của công nghệ nền tảng;
Hệ thống chứng minh nền tảng của @SuccinctLabs SP1 đã tham khảo bộ công cụ chứng minh ZK mô-đun Plonky3 được phát triển bởi đội ngũ Polygon, được nâng cấp từ Plonky2 vào đầu năm 2022, có độ trưởng thành công nghệ cao hơn, Succinct tương đương với việc đứng trên vai những người khổng lồ của Polygon;
R0VM của @boundless_xyz dựa trên công nghệ tự phát triển của công ty mẹ RISC, sau khi ra mắt phiên bản R0VM 1.0 vào tháng 6 năm 2024, cũng đã trải qua nhiều lần cải tiến công nghệ (1.1.0-1.1.2), hiện tại đã phát triển đế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 đầu tiên hoàn toàn mã nguồn mở 100%. Tôi đã tìm kiếm thông tin liên quan và phát hiện ra rằng R0VM của RISC đã được ra mắt một phần mã nguồn mở từ đầu, và vào tháng 8 năm 2024 cũng đã công bố hoàn toàn mã nguồn mở 100%.
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 chỉ thời gian tạo ra và thời gian xác minh zk chứng minh. Do dữ liệu này khá nhạy cảm, Succinct và Boundless lại 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ể nào đó), tôi cũng không tìm thấy dữ liệu so sánh đáng tin cậy từ bên thứ ba trung lập, vì vậy để đảm bảo tính khách quan và cụ thể của dữ liệu, tôi sẽ không tiết lộ.
Hiện nay, quan điểm chính trong ngành cho rằng, @SuccinctLabs SP1 thể hiện tốt hơn trong các tác vụ công việc mật mã nặng (như xác thực khách hàng nhẹ Tendermint) với thời gian tạo chứng minh nhanh hơn; R0VM của @boundless_xyz phù hợp hơn cho các tình huống tính toán tổng quát, với lợi thế rõ ràng trong quản lý bộ nhớ.
Hỗ trợ biên dịch trước của SP1 đã giảm số chu kỳ lệnh RISC-V cần thực hiện để tạo ra chứng minh, từ đó tăng tốc thời gian tạo chứng minh và giảm chi phí tạo chứng minh. Tuy nhiên, với sự ra mắt của phiên bản R0VM 2.0, hai biên dịch trước chính là BN254 và BLS12-381 đã được thêm vào, cũng sẽ mang lại sự cải thiện hiệu suất đáng kể.
Thị trường chứng minh zk là gì?
Việc tạo ra zk chứng minh là nền tảng cho @SuccinctLabs và @boundless_xyz tiến tới thương mại hóa quy mô lớn, với mục tiêu cuối cùng của họ là trở thành một thị trường zk chứng minh hiệu quả hơn và phi tập trung, biến tính toán có thể xác minh thành một hàng hóa phổ quát, không cần tin cậy.
Thị trường đóng vai trò như một cầu nối giữa bên mua và bên bán, thị trường zk chứng minh có thể được hiểu là một thị trường kết nối bên cung cấp zk chứng minh và bên có nhu cầu. Bên cung cấp zk chứng minh là những người tạo ra chứng minh, thường là các nhà điều hành chạy GPU hoặc các thiết bị phần cứng khác; bên có nhu cầu zk chứng minh chủ yếu là các người dùng B đầu có nhu cầu xác thực.
Cơ chế ghép nối giữa bên cung và bên cầu của thị trường chứng minh @SuccinctLabs không phức tạp, Mạng Succinct được cấu thành từ 2 loại người tham gia chính: Người yêu cầu (bên cầu chứng minh zk) và Người chứng minh (bên cung chứng minh zk).
Succinct đóng vai trò là trung gian thanh toán: Người chứng minh gửi tài sản thế chấp lên chuỗi để đủ điều kiện tham gia cuộc thi chứng minh, giao thức Succinct sẽ giữ tiền phí dịch vụ chứng minh mà người yêu cầu yêu cầu; người chứng minh cạnh tranh thông qua hình thức đấu giá chứng minh, bên thắng cuộc cuối cùng sẽ giao zk chứng minh cho người yêu cầu và nhận được lợi nhuận phí tương ứng. Toàn bộ quá trình kết nối đến đây là khép kín.
Cơ chế thực hiện kiến trúc công nghệ chi tiết hơn có thể xem tại tài liệu chính thức của @SuccinctLabs:
@boundless_xyz vừa mới phát hành whitepaper, đóng vai trò là cơ chế thực hiện của thị trường zk proof và @boundless_xyz không khác nhiều, ở đây không nói lại, chi tiết kỹ thuật có thể xem tại liên kết whitepaper Boundless được đính kèm ở cuối.
Người dùng B đầu tư
Là một giao thức cơ sở hạ tầng chung được các nhà đầu tư ưa chuộng, @SuccinctLabs và @SuccinctLabs đều có nhóm người dùng B端 cốt lõi của riêng họ, hình thành nên nhóm ủng hộ Succinct và nhóm ủng hộ RISC(Boundless).
Thân Succinct派：
Như Cosmos, tích hợp gốc IBC Eureka cung cấp dịch vụ tạo chứng zk, thực hiện khả năng tương tác xuyên chuỗi IBC trong mạng lưới chuỗi phi tập trung toàn cầu. Bao gồm nhưng không giới hạn: cung cấp hỗ trợ công nghệ ban đầu từ Polygon, lớp DA @celestia, @AvailProject, v.v.;
亲RISC(Boundless)派：
Như giao thức staking lại ETH @eigenlayer, giao thức tương tác xuyên chuỗi zk @union_build, Bitcoin zk-Rollup @citrea_xyz, v.v.
Tóm tắt
@boundless_xyz và @SuccinctLabs có sự tương đồng rất cao về định vị cốt lõi, độ chồng lấp trong lĩnh vực kinh doanh cũng rất lớn. Theo tôi, sự cạnh tranh giữa hai bên không chủ yếu là sự cạnh tranh về đổi mới công nghệ, mà là cuộc chiến giành người dùng cốt lõi giữa người dùng B và người dùng C.
Cạnh tranh ở phía B rất cân bằng, trong khi phía C của Succinct đang có lợi thế rõ rệt. Boundless cần phải khắc phục điểm yếu, có khả năng sẽ tung ra các hoạt động tích điểm hoặc hoạt động mời gọi tương tự để giành lấy người dùng phía C.
Viết ở cuối
Nếu bạn không thể tưởng tượng được kích thước của thị trường tiềm năng bên dưới bề nổi của zk chứng minh tổng quát, bạn cũng không thể tưởng tượng được trần tiềm năng của @SuccinctLabs và @boundless_xyz cao đến mức nào.
Nhưng mọi thứ sẽ có dấu vết, nếu bạn không hiểu hoặc không công nhận giá trị của thị trường zk chứng minh ngay bây giờ, chỉ cần giữ sự chú ý.
Tôi nghĩ rằng cuối cùng chúng ta sẽ bị cuốn 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.
Nội dung chỉ mang tính chất tham khảo, không phải là lời chào mời hay đề nghị. Không cung cấp tư vấn về đầu tư, thuế hoặc pháp lý. Xem Tuyên bố miễn trừ trách nhiệm để biết thêm thông tin về rủi ro.
Cuộc chiến lãnh đạo thị trường ZK chứng minh: Succinct vs. Boundless
Tác giả: yyy Nguồn: X, @y_cryptoanalyst
So với @SuccinctLabs, @boundless_xyz vẫn chưa nhận được sự quan tâm và chú ý như thị trường đáng có, nhưng nó cũng có tiềm năng trở thành đầu tàu trong lĩnh vực hạ tầng zk giống như Succinct, đây cũng là lý do tôi viết bài giới thiệu chi tiết nhất hiện tại trên toàn mạng tiếng Trung này.
Hiện tại, giao thức có tiếng gọi cao nhất trong phân khúc thị trường zk chứng minh chắc chắn là @SuccinctLabs, hoạt động mời gọi ngôi sao dành cho người chơi C-end đã giúp Succinct nhanh chóng nổi bật. Nhưng cùng lúc đó, mạng zk chứng minh @boundless_xyz dựa vào @RiscZero đang nổi lên, đây cũng là đối thủ cạnh tranh lớn nhất mà tôi cho rằng Succinct phải đối mặt trong phân khúc mà họ đang định vị.
Bài tweet này nói về những điểm khác biệt và lợi thế cạnh tranh giữa @SuccinctLabs và @boundless_xyz, ai sẽ trở thành người dẫn đầu trong lĩnh vực này vẫn chưa thể biết được.
zkVM không thể tránh
Dù là @SuccinctLabs hay @boundless_xyz, công nghệ của họ đều không thể tránh khỏi zkVM. Điểm khác biệt nằm ở chỗ Succinct sử dụng máy ảo SP1, trong khi Boundless sử dụng máy ảo R0VM phát triển từ RISC?
Vậy zkVM là gì?
zkVM là máy ảo chứng minh không kiến thức, cho phép các nhà phát triển chứng minh việc thực hiện 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 thực hiện quy trình tạo chứng zk tốn nhiều tài nguyên tính toán (xây dựng và tối ưu hóa mạch thủ công), việc tạo chứng sẽ được hoàn thành tự động ở chế độ nền, rút ngắn đáng kể thời gian phát triển chứng zk.
Ngắn gọn: SP1 so với Không giới hạn: R0VM
Máy ảo zkVM tạo ra môi trường khách quan để trừu tượng hóa sự phức tạp của chứng minh không biết, khiến việc tạo chứng minh trở nên đơn giản như tính 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, đều hỗ trợ lập trình bằng ngôn ngữ Rust và tự động tạo ra chứng minh ZK. Đồng thời, chúng đều phù hợp với các tình huống tính toán chung.
Sự khác biệt:
1）Tính nguyên bản của công nghệ nền tảng;
Hệ thống chứng minh nền tảng của @SuccinctLabs SP1 đã tham khảo bộ công cụ chứng minh ZK mô-đun Plonky3 được phát triển bởi đội ngũ Polygon, được nâng cấp từ Plonky2 vào đầu năm 2022, có độ trưởng thành công nghệ cao hơn, Succinct tương đương với việc đứng trên vai những người khổng lồ của Polygon;
R0VM của @boundless_xyz dựa trên công nghệ tự phát triển của công ty mẹ RISC, sau khi ra mắt phiên bản R0VM 1.0 vào tháng 6 năm 2024, cũng đã trải qua nhiều lần cải tiến công nghệ (1.1.0-1.1.2), hiện tại đã phát triển đế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 đầu tiên hoàn toàn mã nguồn mở 100%. Tôi đã tìm kiếm thông tin liên quan và phát hiện ra rằng R0VM của RISC đã được ra mắt một phần mã nguồn mở từ đầu, và vào tháng 8 năm 2024 cũng đã công bố hoàn toàn mã nguồn mở 100%.
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 chỉ thời gian tạo ra và thời gian xác minh zk chứng minh. Do dữ liệu này khá nhạy cảm, Succinct và Boundless lại 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ể nào đó), tôi cũng không tìm thấy dữ liệu so sánh đáng tin cậy từ bên thứ ba trung lập, vì vậy để đảm bảo tính khách quan và cụ thể của dữ liệu, tôi sẽ không tiết lộ.
Hiện nay, quan điểm chính trong ngành cho rằng, @SuccinctLabs SP1 thể hiện tốt hơn trong các tác vụ công việc mật mã nặng (như xác thực khách hàng nhẹ Tendermint) với thời gian tạo chứng minh nhanh hơn; R0VM của @boundless_xyz phù hợp hơn cho các tình huống tính toán tổng quát, với lợi thế rõ ràng trong quản lý bộ nhớ.
Hỗ trợ biên dịch trước của SP1 đã giảm số chu kỳ lệnh RISC-V cần thực hiện để tạo ra chứng minh, từ đó tăng tốc thời gian tạo chứng minh và giảm chi phí tạo chứng minh. Tuy nhiên, với sự ra mắt của phiên bản R0VM 2.0, hai biên dịch trước chính là BN254 và BLS12-381 đã được thêm vào, cũng sẽ mang lại sự cải thiện hiệu suất đáng kể.
Thị trường chứng minh zk là gì?
Việc tạo ra zk chứng minh là nền tảng cho @SuccinctLabs và @boundless_xyz tiến tới thương mại hóa quy mô lớn, với mục tiêu cuối cùng của họ là trở thành một thị trường zk chứng minh hiệu quả hơn và phi tập trung, biến tính toán có thể xác minh thành một hàng hóa phổ quát, không cần tin cậy.
Thị trường đóng vai trò như một cầu nối giữa bên mua và bên bán, thị trường zk chứng minh có thể được hiểu là một thị trường kết nối bên cung cấp zk chứng minh và bên có nhu cầu. Bên cung cấp zk chứng minh là những người tạo ra chứng minh, thường là các nhà điều hành chạy GPU hoặc các thiết bị phần cứng khác; bên có nhu cầu zk chứng minh chủ yếu là các người dùng B đầu có nhu cầu xác thực.
Cơ chế ghép nối giữa bên cung và bên cầu của thị trường chứng minh @SuccinctLabs không phức tạp, Mạng Succinct được cấu thành từ 2 loại người tham gia chính: Người yêu cầu (bên cầu chứng minh zk) và Người chứng minh (bên cung chứng minh zk).
Succinct đóng vai trò là trung gian thanh toán: Người chứng minh gửi tài sản thế chấp lên chuỗi để đủ điều kiện tham gia cuộc thi chứng minh, giao thức Succinct sẽ giữ tiền phí dịch vụ chứng minh mà người yêu cầu yêu cầu; người chứng minh cạnh tranh thông qua hình thức đấu giá chứng minh, bên thắng cuộc cuối cùng sẽ giao zk chứng minh cho người yêu cầu và nhận được lợi nhuận phí tương ứng. Toàn bộ quá trình kết nối đến đây là khép kín.
Cơ chế thực hiện kiến trúc công nghệ chi tiết hơn có thể xem tại tài liệu chính thức của @SuccinctLabs:
@boundless_xyz vừa mới phát hành whitepaper, đóng vai trò là cơ chế thực hiện của thị trường zk proof và @boundless_xyz không khác nhiều, ở đây không nói lại, chi tiết kỹ thuật có thể xem tại liên kết whitepaper Boundless được đính kèm ở cuối.
Người dùng B đầu tư
Là một giao thức cơ sở hạ tầng chung được các nhà đầu tư ưa chuộng, @SuccinctLabs và @SuccinctLabs đều có nhóm người dùng B端 cốt lõi của riêng họ, hình thành nên nhóm ủng hộ Succinct và nhóm ủng hộ RISC(Boundless).
Thân Succinct派：
Như Cosmos, tích hợp gốc IBC Eureka cung cấp dịch vụ tạo chứng zk, thực hiện khả năng tương tác xuyên chuỗi IBC trong mạng lưới chuỗi phi tập trung toàn cầu. Bao gồm nhưng không giới hạn: cung cấp hỗ trợ công nghệ ban đầu từ Polygon, lớp DA @celestia, @AvailProject, v.v.;
亲RISC(Boundless)派：
Như giao thức staking lại ETH @eigenlayer, giao thức tương tác xuyên chuỗi zk @union_build, Bitcoin zk-Rollup @citrea_xyz, v.v.
Tóm tắt
@boundless_xyz và @SuccinctLabs có sự tương đồng rất cao về định vị cốt lõi, độ chồng lấp trong lĩnh vực kinh doanh cũng rất lớn. Theo tôi, sự cạnh tranh giữa hai bên không chủ yếu là sự cạnh tranh về đổi mới công nghệ, mà là cuộc chiến giành người dùng cốt lõi giữa người dùng B và người dùng C.
Cạnh tranh ở phía B rất cân bằng, trong khi phía C của Succinct đang có lợi thế rõ rệt. Boundless cần phải khắc phục điểm yếu, có khả năng sẽ tung ra các hoạt động tích điểm hoặc hoạt động mời gọi tương tự để giành lấy người dùng phía C.
Viết ở cuối
Nếu bạn không thể tưởng tượng được kích thước của thị trường tiềm năng bên dưới bề nổi của zk chứng minh tổng quát, bạn cũng không thể tưởng tượng được trần tiềm năng của @SuccinctLabs và @boundless_xyz cao đến mức nào.
Nhưng mọi thứ sẽ có dấu vết, nếu bạn không hiểu hoặc không công nhận giá trị của thị trường zk chứng minh ngay bây giờ, chỉ cần giữ sự chú ý.
Tôi nghĩ rằng cuối cùng chúng ta sẽ bị cuốn 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.