Succinct, đã huy động được 5500 triệu nhân dân tệ tiền tài trợ, là một dự án ZK hàng đầu với hai vòng đầu tư do paradigm dẫn đầu.
Sản phẩm cốt lõi của dự án ZK hàng đầu này là SP1, đây cũng là zkVM nhanh nhất hiện nay.
• Hiệu suất hàng đầu, với tốc độ kiểm tra nhanh hơn tới 28 lần so với các zkVM khác và chỉ tốn một phần nhỏ chi phí.
• Hỗ trợ viết ZKP bằng Rust, tái sử dụng cơ sở mã hiện có và tăng hiệu quả phát triển lên 100 lần.
• Hỗ trợ các trường hợp sử dụng ở cấp độ sản xuất, đã trải qua kiểm toán cấp cao nhất và đã được các dự án lớn như Polygon và Celestia áp dụng.
1. SP1 là gì?
SP1 là máy ảo không cần kiến thức (zkVM) đa năng cho phép các nhà phát triển viết mã thông thường bằng Rust (hoặc bất kỳ ngôn ngữ nào hỗ trợ biên dịch LLVM) và tạo ra Bằng chứng không tri thức hiệu quả để xác minh việc thực thi chính xác của chương trình.
Nói một cách đơn giản, SP1 cho phép các nhà phát triển nhanh chóng xây dựng các ứng dụng điện toán có thể xác minh được với bảo mật mật mã bằng các ngôn ngữ lập trình quen thuộc mà không cần phải đi sâu vào lý thuyết mật mã phức tạp.
Cải tiến cốt lõi của SP1 là nó làm giảm đáng kể ngưỡng phát triển của Bằng chứng không tri thức trong khi vẫn duy trì hiệu suất và tính linh hoạt ở mức cao nhất. Làm cho ZKP đơn giản như viết phần mềm thông thường và làm cho cơ sở hạ tầng blockchain(như Rollup, cầu nối xuyên chuỗi, oracle, v.v.) có thể xác minh được thông qua mã có thể bảo trì được.
Bằng chứng không tri thức(ZKP) có thể chứng minh tính đúng đắn của phép tính mà không làm rò rỉ bất kỳ dữ liệu đầu vào nào. Khả năng này có vô số ứng dụng trong blockchain:
- Mở rộng năng lực: Thông qua Rollup, ZKP có thể nén lượng lớn giao dịch thành một bằng chứng, giảm đáng kể gánh nặng cho Chuỗi chính.
- Khả năng tương tác: ZKP có thể xác minh trạng thái của Chuỗi khác nhau và tạo điều kiện thuận lợi cho việc giao tiếp giữa các Chuỗi.
- Quyền riêng tư: ZKP đảm bảo tính riêng tư của các giao dịch hoặc trạng thái và bảo vệ dữ liệu của người dùng.
- Cầu nối và Oracle : ZKP cho phép dữ liệu hoặc tính toán Chuỗi được xác minh một cách đáng tin cậy trên Chuỗi. Tuy nhiên, sự phức tạp của quá trình phát triển ZKP truyền thống có thể được mô tả như một “cơn ác mộng”. Nó đòi hỏi một đội ngũ mật mã chuyên nghiệp, nhiều năm phát triển và chi phí bảo trì cao.
Sự xuất hiện của SP1 đã hoàn toàn thay đổi tình hình này.
2. Tính năng của SP1
1. ZkVM nhanh nhất và mạnh mẽ nhất
Nó nhanh hơn từ 4-28 lần so với các zkVM khác về khối lượng công việc blockchain thực tế (chẳng hạn như xác minh máy trạm nhẹ, Rollup, v.v.) và thậm chí còn tương đương với các mạch chuyên dụng được tối ưu hóa thủ công. Phiên bản mới nhất, SP1 Turbo (v4.0.0), có thể xác minh các khối mạng chủ Ethereum chỉ trong 40 giây khi chạy trên cụm GPU, với chi phí chỉ vài xu.
2. Hỗ trợ viết ZKP trong Rust
SP1 cho phép các nhà phát triển viết logic ZKP trong Rust và trực tiếp tái sử dụng các thư viện hệ sinh thái Rust hiện có (như revm, reth, alloy, v.v.).
Các nhà phát triển có thể dễ dàng sửa đổi mã nút blockchain hiện có để tạo ZKP, loại bỏ rắc rối khi phải viết các mạch phức tạp từ đầu.
3. Biên dịch trước: Vũ khí bí mật của hiệu suất
SP1 đã giới thiệu cơ chế "tiền biên dịch" được tối ưu hóa cao cho các hoạt động crypto phổ biến (như keccak, sha256, xác minh chữ ký, v.v.). Những biên dịch trước này giúp giảm đáng kể chi phí tính toán, giúp SP1 thậm chí còn mạnh mẽ hơn khi xử lý khối lượng công việc blockchain phức tạp. Ví dụ, SP1 chạy máy trạm nhẹ ZK Tendermint, giúp giảm trực tiếp thời gian xác minh từ 2,2 giờ xuống còn 4,6 phút.
4.100% mã nguồn mở, bảo mật mã
SP1 là mã nguồn mở 100% (giấy phép MIT/Apache 2.0). Kiến trúc mô-đun của nó cho phép các nhà phát triển tùy chỉnh "tiền biên dịch" để tối ưu hóa hiệu suất cho các trường hợp sử dụng cụ thể. Không giống như zkVM nguồn đóng truyền thống, SP1 chào đón những đóng góp của cộng đồng và thu hút các nhà phát triển từ đội ngũ như Polygon , Celestia và Sovereign Labs cùng làm việc hoàn thiện .
SP1 đã được nhiều công ty bảo mật ZK hàng đầu kiểm toán lần và đạt kết quả xuất sắc là "không có lỗ hổng rủi ro cao" trong các cuộc thi kiểm toán công khai.
5. Đối tác chất lượng cao
Polygon , Celestia, Avail, Taiko, v.v. đã áp dụng SP1 của Succinct để xây dựng ZKP, bảo vệ hơn 1 tỷ đô la Mỹ tài sản Chuỗi (TVL). Từ Rollup đến cầu nối xuyên chuỗi, từ oracle đến giao thức bảo mật, SP1 đang trở thành tiêu chuẩn cho cơ sở hạ tầng blockchain.
3. Các kịch bản ứng dụng của SP1
SP1 triển khai nhiều trường hợp sử dụng trong blockchain:
- Rollup: Sử dụng SP1 để xây dựng ZK Rollup, tạo Bằng chứng không tri thức về quá trình chuyển đổi trạng thái, kết nối với Chuỗi chính như Ethereum hoặc Bitcoin và đạt được thông lượng cao và chi phí thấp. Ví dụ, OP Succinct sử dụng SP1 để cung cấp công cụ kiểm thử cấp sản xuất cho OP Stack.
- Cầu nối xuyên chuỗi: SP1 có thể xác minh sự đồng thuận của Lớp 1 (như Tendermint hoặc Ethereum light máy trạm) và xây dựng một cầu nối xuyên chuỗi an toàn và hiệu quả. Ví dụ, SP1 Blobstream xác minh gốc dữ liệu của Celestia trên Ethereum và SP1 Vector chuyển tiếp gốc Merkle của Avail tới Ethereum.
- Khả năng tương tác: Với SP1, Rollup có thể đạt được tính hoàn thiện và khả năng tương tác nhanh chóng, hỗ trợ các dự án như AggLayer của Polygon .
- Oracle: SP1 hỗ trợ tính toán ngoài Chuỗi quy mô lớn (như truy vấn trạng thái lịch sử, học máy Chuỗi) và tạo ra các bằng chứng có thể xác minh trên Chuỗi, giúp giảm đáng kể chi phí Gas .
- Quyền riêng tư: SP1 cho phép các giao dịch và trạng thái riêng tư, đảm bảo an toàn cho dữ liệu người dùng.
- Tổng hợp: SP1 có thể tổng hợp các ZKP tương tự để giảm thêm chi phí xác minh Chuỗi. Các dự án như Nebra đang khám phá hướng này.
