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 công ty 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 nay, giao thức có mức độ phổ biến cao nhất trong phân khúc thị trường zk proof 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 đã khiến Succinct nhanh chóng 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, theo tôi cho rằng đây 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 không thể tránh khỏi
Cho dù là @SuccinctLabs hay @boundless_xyz, triển khai kỹ thuật của họ cũng không thể bỏ qua 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 Bằng chứng không tri 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.
Ngắn gọn: 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 tri thức bằng cách tạo ra một hoàn cảnh 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 Rust và tạo bản kiểm tra 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 Plonky3, một bộ công cụ chứng minh ZK mô-đun do đội ngũ Polygon phát triển. Đây là nâng cấp lặp đi lặp lại của Plonky2 sớm nhất là vào đầu năm 2022, với mức độ hoàn thiện kỹ thuật cao hơn. Ngắn gọn tương đương với việc đứng trên vai người khổng lồ Polygon ;
R0VM của @boundless_xyz dựa trên công nghệ do công ty mẹ RISC tự phát triển. Sau khi phiên bản R0VM 1.0 ra mắt tháng 6 năm 2024, nó cũng đã trải qua lần lần lặp lại kỹ thuật (1.1.0-1.1.2) và hiện đang được lặp lại thành phiên bản R0VM 2.0 mới nhất.
2) Bằng cấp 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ở mở 100% vào tháng 8 năm 2024.
3) Hiệu suất;
Hiệu suất là một trong chỉ báo cốt lõi của zkVM, thường đề cập đến thời gian tạo và thời gian xác minh các 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 hoàn cảnh 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 cho rằng@SuccinctLabs SP1 hoạt động tốt hơn trong nhiệm vụ băm chuyên sâu (như xác minh máy trạm 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 làm 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 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ể.
Chợ chống 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 việc tính toán có thể xác minh thành một mặt hàng phổ biến, không cần tin cậy.
Thị trường đóng nhân vật 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 quyết toán quỹ: người chứng minh ký quỹ thế chấp trên Chuỗi để có tư cách tham gia cuộc thi chứng minh và giao thức Succinct trước tiên sẽ ký quỹ phí của 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 các cuộc đấu giá bằng chứng và người chiến thắng trong cuộc đấu giá cuối cùng sẽ giao bằng chứng zk 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 mai mố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, hãy 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 Sách trắng cách đây không lâu. Cơ chế triển khai hoạt động như một thị trường chứng minh zk tương tự như @boundless_xyz. Tôi sẽ không đi 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.
Người dùng B-side xếp hàng
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 cốt lõi B-side riêng, hình thành nên phe ủng hộ Succinct và phe ủng hộ RISC (Boundless).
Phe ủng hộ sự ngắn gọn:
Ví dụ, Cosmos tích tích hợp IBC Eureka để cung cấp dịch vụ tạo bằng chứng zk, cho phép mở rộng khả năng tương tác giữa các Chuỗi 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ư giao thức reStake ETH @eigenlayer, giao thức tương tác chuỗi Chuỗi 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 việc kinh doanh của họ cũng rất giống nhau. 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.
Sự cạnh tranh ở phân khúc B là ngang 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.
Lời 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 zk-universal, 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ạn không hiểu và không nhận ra giá trị của thị trường zk proof hiện tại, hãy tiếp tục chú ý.
Tôi nghĩ cuối cùng chúng ta sẽ tham gia vào cuộc cách mạng zk này, và hiện tại, cuộc cách mạng này mới chỉ bắt đầu.
