@SuccinctLabs Labs đang trong một sứ mệnh để “$PROVE phần mềm của thế giới”—biến các bằng chứng không kiến thức (ZKPs) không chỉ là một chuyên môn của các nhà mật mã, mà còn là một công cụ thân thiện với nhà phát triển cho các ứng dụng hàng ngày.
Họ đạt được điều này thông qua hai đổi mới đột phá:
1. SP1 (Bộ xử lý ngắn gọn 1): Một zkVM hiệu suất cao
SP1 là một máy ảo không biết (zero-knowledge virtual machine) mã nguồn mở, đa mục đích (zkVM) có khả năng biên dịch mã từ các ngôn ngữ phổ biến như Rust hoặc bất kỳ ngôn ngữ tương thích LLVM nào thành các chứng minh có thể xác minh. Bởi vì nó trừu tượng hóa thiết kế mạch và các động tác mật mã chuyên biệt, các nhà phát triển có thể viết mã thông thường—sau đó biên dịch, chứng minh và xác minh mà không cần học cú pháp ZK tùy chỉnh. Về hiệu suất, SP1 mang lại những cải tiến đáng kể: tốc độ tạo bằng chứng nhanh hơn tới 28 lần, các nguyên thủy mã hóa được tối ưu hóa với tốc độ tăng cường từ 5 đến 10 lần, và việc chứng minh dựa trên GPU có thể giảm chi phí tới 10 lần và giảm thời gian tạo bằng chứng chỉ còn một phần mười xu. Sự kết hợp giữa khả năng tiếp cận, tốc độ, giá cả phải chăng và tính minh bạch tạo điều kiện cho việc áp dụng rộng rãi ZK trong nhiều trường hợp sử dụng khác nhau - từ zkEVM và rollup đến danh tính bảo mật, khối lượng công việc AI và các giải pháp tương tác.
2. Mạng Prover Ngắn Gọn: Một Thị Trường ZK Phi Tập Trung
Thay vì buộc các nhà phát triển xây dựng và vận hành hạ tầng chứng minh tốn kém, Succinct cung cấp một Mạng Chứng Minh phi tập trung, dựa trên Ethereum. Đây là một thị trường hai chiều không cần sự cho phép, nơi các nhà phát triển gửi yêu cầu chứng minh và các nhà chứng minh độc lập cạnh tranh—thông qua cơ chế đấu giá ngoài chuỗi—với việc thanh toán và tính cuối cùng trên chuỗi.
Mạng lưới này mở cửa cho tất cả—từ các nhà vận hành GPU cá nhân đến các nhà cung cấp trung tâm dữ liệu—và khuyến khích sự tham gia thông qua việc staking và giá cả cạnh tranh, trong khi vẫn duy trì tính phi tập trung và kháng lại kiểm soát trung ương. Các triển khai trong thế giới thực đã bắt đầu, phục vụ cho các trường hợp sử dụng như rollups, cầu nối, tác nhân AI, oracle, trò chơi, bộ đồng xử lý, và hơn thế nữa.
Trang này có thể chứa nội dung của bên thứ ba, được cung cấp chỉ nhằm mục đích thông tin (không phải là tuyên bố/bảo đảm) và không được coi là sự chứng thực cho quan điểm của Gate hoặc là lời khuyên về tài chính hoặc chuyên môn. Xem Tuyên bố từ chối trách nhiệm để biết chi tiết.
@SuccinctLabs Labs đang trong một sứ mệnh để “$PROVE phần mềm của thế giới”—biến các bằng chứng không kiến thức (ZKPs) không chỉ là một chuyên môn của các nhà mật mã, mà còn là một công cụ thân thiện với nhà phát triển cho các ứng dụng hàng ngày.
Họ đạt được điều này thông qua hai đổi mới đột phá:
1. SP1 (Bộ xử lý ngắn gọn 1): Một zkVM hiệu suất cao
SP1 là một máy ảo không biết (zero-knowledge virtual machine) mã nguồn mở, đa mục đích (zkVM) có khả năng biên dịch mã từ các ngôn ngữ phổ biến như Rust hoặc bất kỳ ngôn ngữ tương thích LLVM nào thành các chứng minh có thể xác minh.
Bởi vì nó trừu tượng hóa thiết kế mạch và các động tác mật mã chuyên biệt, các nhà phát triển có thể viết mã thông thường—sau đó biên dịch, chứng minh và xác minh mà không cần học cú pháp ZK tùy chỉnh.
Về hiệu suất, SP1 mang lại những cải tiến đáng kể: tốc độ tạo bằng chứng nhanh hơn tới 28 lần, các nguyên thủy mã hóa được tối ưu hóa với tốc độ tăng cường từ 5 đến 10 lần, và việc chứng minh dựa trên GPU có thể giảm chi phí tới 10 lần và giảm thời gian tạo bằng chứng chỉ còn một phần mười xu.
Sự kết hợp giữa khả năng tiếp cận, tốc độ, giá cả phải chăng và tính minh bạch tạo điều kiện cho việc áp dụng rộng rãi ZK trong nhiều trường hợp sử dụng khác nhau - từ zkEVM và rollup đến danh tính bảo mật, khối lượng công việc AI và các giải pháp tương tác.
2. Mạng Prover Ngắn Gọn: Một Thị Trường ZK Phi Tập Trung
Thay vì buộc các nhà phát triển xây dựng và vận hành hạ tầng chứng minh tốn kém, Succinct cung cấp một Mạng Chứng Minh phi tập trung, dựa trên Ethereum. Đây là một thị trường hai chiều không cần sự cho phép, nơi các nhà phát triển gửi yêu cầu chứng minh và các nhà chứng minh độc lập cạnh tranh—thông qua cơ chế đấu giá ngoài chuỗi—với việc thanh toán và tính cuối cùng trên chuỗi.
Mạng lưới này mở cửa cho tất cả—từ các nhà vận hành GPU cá nhân đến các nhà cung cấp trung tâm dữ liệu—và khuyến khích sự tham gia thông qua việc staking và giá cả cạnh tranh, trong khi vẫn duy trì tính phi tập trung và kháng lại kiểm soát trung ương.
Các triển khai trong thế giới thực đã bắt đầu, phục vụ cho các trường hợp sử dụng như rollups, cầu nối, tác nhân AI, oracle, trò chơi, bộ đồng xử lý, và hơn thế nữa.
#SuccinctLabs