Trong nhiều năm, các chứng minh zero-knowledge (ZKPs) đã được nói đến như là chén thánh của crypto — một cách để chứng minh điều gì đó là đúng mà không tiết lộ mọi chi tiết. Nhưng thực tế thì sao? Chúng đã rất rắc rối. Các nhà phát triển phải học toán học khó hiểu, xây dựng các mạch tùy chỉnh, và chạy các trang trại phần cứng đắt đỏ chỉ để có một chứng minh ra khỏi cửa.
@Succinct Labs muốn thay đổi điều đó. Cách tiếp cận của họ rất đơn giản:
Xây dựng một zkVM gọi là SP1 mà khiến việc viết ứng dụng zk cảm thấy như viết mã bình thường.
Khởi động Mạng Prover, một thị trường phi tập trung nơi bất kỳ ai cũng có thể thuê năng lực chứng minh thay vì tự mình vận hành.
Cùng nhau, hai ý tưởng này đưa ZK từ "khó tiếp cận" đến "cắm và chạy".
SP1: ZK Không Đau Đầu
Với SP1, bạn không cần phải là một nhà mật mã. Bạn viết bằng các ngôn ngữ bạn đã biết (như Rust hoặc C), nó biên dịch xuống RISC-V, và SP1 xử lý việc chứng minh.
Ma thuật bên dưới:
STARKs với đệ quy chia nhỏ các nhiệm vụ lớn và sau đó ghép chúng lại với nhau.
Các lớp SNARK cho phép Ethereum hoặc các blockchain khác xác minh kết quả nhanh chóng và rẻ.
Các precompile tăng cường sức nặng như hashing và toán học đường elliptic.
Và nó không bị khóa lại sau các giấy phép hoặc cổng — SP1 là mã nguồn mở, có giấy phép MIT, và đi kèm với tài liệu và ví dụ mà bạn thực sự có thể theo dõi.
Hiệu suất Quan trọng
Succinct đã đầu tư rất nhiều vào tốc độ. Chứng minh dựa trên GPU của họ đã được đánh giá là rẻ hơn tới 10 lần so với các phương án thay thế trên đám mây, đặc biệt là cho rollup và khách hàng nhẹ.
Tất nhiên, các dự án zkVM khác như RISC Zero đã phản ứng với các tiêu chuẩn của riêng họ tuyên bố rằng họ nhanh hơn. Sự thật? Cả hai đều đang đẩy ranh giới, và sự cạnh tranh đó rất tốt cho các nhà phát triển. Điều rõ ràng là SP1 không chỉ là một món đồ nghiên cứu — nó đang chứng minh các khối lượng công việc blockchain thực tế ngày nay.
Mạng Prover: Thuê Năng Lực Chứng Minh
Bây giờ đây là nơi mọi thứ trở nên thú vị. Thay vì mỗi dự án thiết lập các máy chủ chứng minh tốn kém của riêng họ, Mạng Prover Succinct cho phép bạn thuê ngoài.
Nếu bạn cần một chứng minh, bạn đăng một công việc.
Provers (những người có GPU) đấu thầu cho công việc.
Người chiến thắng giao nộp chứng minh, nhận được thanh toán bằng token, hoặc bị cắt giảm nếu họ thất bại.
Nó hoạt động như một "Uber cho chứng minh" phi tập trung. Và vì SP1 có thể xử lý mã tổng quát, điều này không chỉ giới hạn cho một loại ứng dụng — cầu nối, oracle, rollup, thậm chí các mô hình AI cũng có thể sử dụng cùng một mạng.
Token PROVE
Toàn bộ hệ thống chạy trên token PROVE:
Thanh toán cho các chứng minh hoàn thành.
Staking cho các prover, điều này giữ cho họ trung thực.
Cắt giảm cho những kẻ xấu.
Quản trị, để cộng đồng quyết định cách mạng phát triển.
Có một nguồn cung cố định là 1 tỷ token PROVE, cung cấp cho mạng một nền kinh tế rõ ràng để phát triển.
Ai đang Sử Dụng Nó Rồi
Đây không chỉ là lý thuyết — việc áp dụng là thật:
Mantle đang thử nghiệm stack của Succinct để giảm chi phí rollup.
Những cái tên lớn như Celestia, Polygon, Wormhole, Lido, Gnosis, và Near đang khám phá SP1.
Các nhà điều hành chứng minh nặng ký — A41, Cysic và ZAN — đã tham gia mạng để cung cấp khả năng chứng minh.
Hàng tỷ đô la giá trị đã được bảo vệ thông qua công nghệ của Succinct.
Tại Sao Điều Này Quan Trọng
Succinct đang giải quyết hai cơn đau đầu lớn nhất trong zero-knowledge:
1. Nó quá khó để xây dựng. SP1 khắc phục điều đó.
2. Nó quá đắt để mở rộng. Mạng Prover khắc phục điều đó.
Điều đó có nghĩa là:
Rollup trở nên rẻ hơn.
Cầu nối cuối cùng có thể không cần tin tưởng.
Các oracle có thể chứng minh dữ liệu của họ là thật.
Ngay cả các mô hình AI cũng có thể cho thấy đầu ra của chúng là thật.
Bức Tranh Lớn Hơn
Succinct không chỉ xây dựng một phần khác của cơ sở hạ tầng blockchain. Họ đang thay đổi cách thức xác minh hoạt động trực tuyến. Với SP1 và Mạng Prover, bất kỳ nhà phát triển nào cũng có thể tiếp cận zero-knowledge mà không cần tái phát minh bánh xe, và bất kỳ nhà điều hành nào có phần cứng cũng có thể kiếm tiền bằng cách chứng minh.
Đó là một thế giới mà niềm tin là toán học, không phải tiếp thị — và Succinct đang làm cho thế giới đó dễ dàng hơn để xây dựng. 🚀
