Succinct là một dự án ZK hàng đầu, sản phẩm cốt lõi của nó là SP1, hiện là zkVM nhanh nhất. Dự án đã huy động được 55 triệu đô la.
SP1 có những đặc điểm sau:
• Hiệu suất vượt trội, tốc độ chứng minh nhanh hơn tối đa 28 lần so với zkVM khác, chi phí giảm đáng kể.
• Hỗ trợ viết ZKP bằng Rust, có thể tái sử dụng thư viện mã hiện có, hiệu quả phát triển tăng 100 lần.
• Hỗ trợ ứng dụng cấp sản xuất, đã được kiểm toán chuyên nghiệp, được nhiều dự án lớn áp dụng.
Một, Giới thiệu SP1
SP1 là một máy ảo kiến thức không có thông tin chung (zkVM), cho phép các nhà phát triển sử dụng Rust hoặc các ngôn ngữ khác hỗ trợ biên dịch LLVM để viết mã thông thường, tạo ra các chứng minh kiến thức không có thông tin hiệu quả, để xác minh việc thực hiện đúng đắn của chương trình.
Sự đổi mới cốt lõi của SP1 là giảm bớt đáng kể rào cản phát triển chứng minh không biết (ZKP), đồng thời duy trì hiệu suất và tính linh hoạt xuất sắc. Nó khiến việc phát triển ZKP trở nên đơn giản như việc viết phần mềm thông thường, cho phép hạ tầng blockchain ( như Rollup, cầu nối chuỗi chéo, oracle, v.v. ) có thể đạt được tính khả xác minh thông qua mã có thể bảo trì.
Bằng chứng không kiến thức ( ZKP ) có thể chứng minh tính đúng đắn của một phép tính mà không tiết lộ bất kỳ dữ liệu đầu vào nào. Công nghệ này có ứng dụng rộng rãi trong lĩnh vực blockchain, bao gồm mở rộng quy mô, khả năng tương tác, bảo vệ quyền riêng tư cũng như cầu nối và oracle.
Tuy nhiên, việc phát triển ZKP truyền thống rất phức tạp, cần một đội ngũ mật mã chuyên nghiệp, thời gian phát triển dài 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.
Hai, đặc điểm của SP1
1. Hiệu suất vượt trội
Trong khối lượng công việc thực tế của blockchain ( như xác thực khách hàng nhẹ, Rollup, v.v. ), SP1 nhanh hơn 4-28 lần so với các zkVM khác, hiệu suất thậm chí có thể so sánh với 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) khi chạy trên cụm GPU, việc xác thực khối mạng chính Ethereum chỉ mất 40 giây, với chi phí chỉ vài xu.
2. Hỗ trợ phát triển Rust
SP1 cho phép các nhà phát triển sử dụng Rust để viết logic ZKP và trực tiếp tái sử dụng các thư viện sinh thái Rust hiện có. Các nhà phát triển có thể dễ dàng sửa đổi mã của các nút blockchain sẵn có để tạo ra ZKP, loại bỏ phiền phức phải viết lại các mạch phức tạp từ đầu.
3. Cơ chế biên dịch trước
SP1 đã giới thiệu cơ chế "biên dịch trước", tối ưu hóa cao cho các thao tác mã hóa phổ biến ( như keccak, sha256, xác minh chữ ký, v.v. ). Những biên dịch trước này đã giảm đáng kể chi phí tính toán, nâng cao hiệu quả của SP1 trong việc xử lý các khối lượng công việc phức tạp trên blockchain. Ví dụ, SP1 chạy ZK Tendermint khách nhẹ, rút ngắn thời gian xác minh từ 2.2 giờ xuống còn 4.6 phút.
4. Mã nguồn mở và tính bảo mật
SP1 là một dự án hoàn toàn mã nguồn mở ( 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 "biên dịch trước", tối ưu hóa hiệu suất cho các trường hợp sử dụng cụ thể. SP1 đã thu hút các nhà phát triển từ nhiều dự án nổi tiếng cùng nhau hoàn thiện.
Ngoài ra, SP1 đã trải qua nhiều lần kiểm toán bởi các công ty bảo mật ZK hàng đầu và đạt được thành tích xuất sắc với "không có lỗ hổng nghiêm trọng" trong các cuộc thi kiểm toán công khai.
5. Đối tác rộng rãi
Nhiều dự án nổi tiếng đã sử dụng SP1 để xây dựng ZKP, bảo đảm hơn 1 tỷ đô la tài sản trên chuỗi (TVL). Từ Rollup đến cầu nối chuỗi chéo, từ oracle đến giao thức bảo mật, SP1 đang trở thành cấu hình tiêu chuẩn của cơ sở hạ tầng blockchain.
Ba, các ứng dụng của SP1
SP1 có nhiều ứng dụng trong lĩnh vực blockchain:
Rollup: Sử dụng SP1 để xây dựng ZK Rollup, tạo ra bằng chứng không kiến thức cho các chuyển đổi trạng thái, kết nối với các chuỗi chính như Ethereum hoặc Bitcoin, đạt được thông lượng cao và chi phí thấp.
Cầu nối chuỗi chéo: SP1 có thể xác minh sự đồng thuận Layer 1 ( như Tendermint hoặc khách hàng nhẹ Ethereum ), xây dựng cầu nối chuỗi chéo an toàn và hiệu quả.
Tính tương tác: Thông qua SP1, các Rollup có thể đạt được sự xác định nhanh chóng và tính tương tác.
Oracle: SP1 hỗ trợ tính toán quy mô lớn ngoài chuỗi ( như truy vấn trạng thái lịch sử, học máy trên chuỗi ), và tạo ra các chứng minh có thể xác minh trên chuỗi, giảm đáng kể chi phí Gas.
Quyền riêng tư: SP1 có thể thực hiện giao dịch và trạng thái riêng tư, bảo vệ an toàn dữ liệu người dùng.
Tập hợp: SP1 có thể tập hợp các ZKP cùng loại, giảm thêm chi phí xác thực trên chuỗi.
Xem bản gốc
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.
25 thích
Phần thưởng
25
9
Đăng lại
Chia sẻ
Bình luận
0/400
LeekCutter
· 07-29 03:45
chỉ là một lập trình viên vẫn giao dịch tiền điện tử
Xem bản gốcTrả lời0
SchrodingerWallet
· 07-28 07:18
28 lần này có thể nghiền nát hàng chục zkvm.
Xem bản gốcTrả lời0
RugpullTherapist
· 07-26 04:26
zkVM pháp sư lại làm điều gì đó thú vị rồi.
Xem bản gốcTrả lời0
ZkProofPudding
· 07-26 04:25
28 lần nhanh đến mức có chút không dám tin.
Xem bản gốcTrả lời0
GateUser-c802f0e8
· 07-26 04:25
28 lần thực sự đánh bại.
Xem bản gốcTrả lời0
SoliditySlayer
· 07-26 04:20
rust thật tuyệt vời
Xem bản gốcTrả lời0
SnapshotBot
· 07-26 04:13
Cái thằng này To da moon rồi.
Xem bản gốcTrả lời0
NFTArtisanHQ
· 07-26 04:02
giao điểm hấp dẫn của thẩm mỹ không cần biết và các mô hình khả năng mở rộng... thật sự ngoạn mục
Xem bản gốcTrả lời0
Hash_Bandit
· 07-26 04:00
hai mươi tám lần nhanh hơn hả? giống như khai thác asics so với gpu vào năm '13... tối ưu hóa tỷ lệ băm ấn tượng thật.
SP1：Hiệu suất zkVM nhanh nhất hiện tại vượt trội hơn đối thủ 28 lần
SP1 của Succinct: zkVM nhanh nhất hiện nay
Succinct là một dự án ZK hàng đầu, sản phẩm cốt lõi của nó là SP1, hiện là zkVM nhanh nhất. Dự án đã huy động được 55 triệu đô la.
SP1 có những đặc điểm sau:
• Hiệu suất vượt trội, tốc độ chứng minh nhanh hơn tối đa 28 lần so với zkVM khác, chi phí giảm đáng kể.
• Hỗ trợ viết ZKP bằng Rust, có thể tái sử dụng thư viện mã hiện có, hiệu quả phát triển tăng 100 lần.
• Hỗ trợ ứng dụng cấp sản xuất, đã được kiểm toán chuyên nghiệp, được nhiều dự án lớn áp dụng.
Một, Giới thiệu SP1
SP1 là một máy ảo kiến thức không có thông tin chung (zkVM), cho phép các nhà phát triển sử dụng Rust hoặc các ngôn ngữ khác hỗ trợ biên dịch LLVM để viết mã thông thường, tạo ra các chứng minh kiến thức không có thông tin hiệu quả, để xác minh việc thực hiện đúng đắn của chương trình.
Sự đổi mới cốt lõi của SP1 là giảm bớt đáng kể rào cản phát triển chứng minh không biết (ZKP), đồng thời duy trì hiệu suất và tính linh hoạt xuất sắc. Nó khiến việc phát triển ZKP trở nên đơn giản như việc viết phần mềm thông thường, cho phép hạ tầng blockchain ( như Rollup, cầu nối chuỗi chéo, oracle, v.v. ) có thể đạt được tính khả xác minh thông qua mã có thể bảo trì.
Bằng chứng không kiến thức ( ZKP ) có thể chứng minh tính đúng đắn của một phép tính mà không tiết lộ bất kỳ dữ liệu đầu vào nào. Công nghệ này có ứng dụng rộng rãi trong lĩnh vực blockchain, bao gồm mở rộng quy mô, khả năng tương tác, bảo vệ quyền riêng tư cũng như cầu nối và oracle.
Tuy nhiên, việc phát triển ZKP truyền thống rất phức tạp, cần một đội ngũ mật mã chuyên nghiệp, thời gian phát triển dài 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.
Hai, đặc điểm của SP1
1. Hiệu suất vượt trội
Trong khối lượng công việc thực tế của blockchain ( như xác thực khách hàng nhẹ, Rollup, v.v. ), SP1 nhanh hơn 4-28 lần so với các zkVM khác, hiệu suất thậm chí có thể so sánh với 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) khi chạy trên cụm GPU, việc xác thực khối mạng chính Ethereum chỉ mất 40 giây, với chi phí chỉ vài xu.
2. Hỗ trợ phát triển Rust
SP1 cho phép các nhà phát triển sử dụng Rust để viết logic ZKP và trực tiếp tái sử dụng các thư viện sinh thái Rust hiện có. Các nhà phát triển có thể dễ dàng sửa đổi mã của các nút blockchain sẵn có để tạo ra ZKP, loại bỏ phiền phức phải viết lại các mạch phức tạp từ đầu.
3. Cơ chế biên dịch trước
SP1 đã giới thiệu cơ chế "biên dịch trước", tối ưu hóa cao cho các thao tác mã hóa phổ biến ( như keccak, sha256, xác minh chữ ký, v.v. ). Những biên dịch trước này đã giảm đáng kể chi phí tính toán, nâng cao hiệu quả của SP1 trong việc xử lý các khối lượng công việc phức tạp trên blockchain. Ví dụ, SP1 chạy ZK Tendermint khách nhẹ, rút ngắn thời gian xác minh từ 2.2 giờ xuống còn 4.6 phút.
4. Mã nguồn mở và tính bảo mật
SP1 là một dự án hoàn toàn mã nguồn mở ( 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 "biên dịch trước", tối ưu hóa hiệu suất cho các trường hợp sử dụng cụ thể. SP1 đã thu hút các nhà phát triển từ nhiều dự án nổi tiếng cùng nhau hoàn thiện.
Ngoài ra, SP1 đã trải qua nhiều lần kiểm toán bởi các công ty bảo mật ZK hàng đầu và đạt được thành tích xuất sắc với "không có lỗ hổng nghiêm trọng" trong các cuộc thi kiểm toán công khai.
5. Đối tác rộng rãi
Nhiều dự án nổi tiếng đã sử dụng SP1 để xây dựng ZKP, bảo đảm hơn 1 tỷ đô la tài sản trên chuỗi (TVL). Từ Rollup đến cầu nối chuỗi chéo, từ oracle đến giao thức bảo mật, SP1 đang trở thành cấu hình tiêu chuẩn của cơ sở hạ tầng blockchain.
Ba, các ứng dụng của SP1
SP1 có nhiều ứng dụng trong lĩnh vực blockchain:
Rollup: Sử dụng SP1 để xây dựng ZK Rollup, tạo ra bằng chứng không kiến thức cho các chuyển đổi trạng thái, kết nối với các chuỗi chính như Ethereum hoặc Bitcoin, đạt được thông lượng cao và chi phí thấp.
Cầu nối chuỗi chéo: SP1 có thể xác minh sự đồng thuận Layer 1 ( như Tendermint hoặc khách hàng nhẹ Ethereum ), xây dựng cầu nối chuỗi chéo an toàn và hiệu quả.
Tính tương tác: Thông qua SP1, các Rollup có thể đạt được sự xác định nhanh chóng và tính tương tác.
Oracle: SP1 hỗ trợ tính toán quy mô lớn ngoài chuỗi ( như truy vấn trạng thái lịch sử, học máy trên chuỗi ), và tạo ra các chứng minh có thể xác minh trên chuỗi, giảm đáng kể chi phí Gas.
Quyền riêng tư: SP1 có thể thực hiện giao dịch và trạng thái riêng tư, bảo vệ an toàn dữ liệu người dùng.
Tập hợp: SP1 có thể tập hợp các ZKP cùng loại, giảm thêm chi phí xác thực trên chuỗi.