Succinct ra mắt SP1: Máy ảo không biết với hiệu suất hàng đầu
Succinct là một dự án zero-knowledge được chú ý, sản phẩm cốt lõi của nó là SP1 được coi là zkVM mạnh nhất hiện nay.
SP1 có những đặc điểm nổi bật sau:
• Tốc độ chứng minh nhanh hơn tối đa 28 lần so với các zkVM khác, chi phí giảm đáng kể
• Hỗ trợ sử dụng ngôn ngữ Rust để viết chứng minh không kiến thức, nâng cao hiệu suất phát triển gấp trăm lần
• Đã được nhiều cuộc kiểm toán an ninh thông qua, được nhiều dự án nổi tiếng áp dụng
Giới thiệu SP1
SP1 là một máy ảo không biết (zkVM), cho phép các nhà phát triển sử dụng các ngôn ngữ chính như Rust để viết mã và tạo ra các chứng minh không biết hiệu quả, được sử dụng để xác minh việc thực thi đúng đắn của chương trình.
Sự đổi mới cốt lõi của nó nằm ở việc giảm đáng kể rào cản phát triển chứng minh không biết (zero-knowledge proof), đồng thời duy trì hiệu suất và tính linh hoạt hàng đầu. SP1 làm cho việc phát triển ứng dụng không biết trở nên đơn giản như viết phần mềm thông thường, cung cấp hỗ trợ khả năng xác minh cho hạ tầng blockchain ( như Rollup, cầu nối chuỗi chéo, oracle, v.v. ).
Chứng minh không kiến thức ( ZKP ) có thể chứng minh tính chính xác của tính toán mà không tiết lộ dữ liệu đầu vào, có ứng dụng rộng rãi trong lĩnh vực blockchain:
• Mở rộng thông qua Rollup
• Thúc đẩy khả năng tương tác giữa các chuỗi
• Bảo vệ quyền riêng tư giao dịch
• Xác thực dữ liệu ngoài chuỗi
Độ phức tạp của việc phát triển ZKP truyền thống cao, chu kỳ dài và chi phí cao. Sự xuất hiện của SP1 đã thay đổi hoàn toàn tình hình này.
Đặc điểm chính của SP1
Hiệu suất hàng đầu trong ngành
Trên khối lượng công việc blockchain thực tế, SP1 nhanh hơn 4-28 lần so với các zkVM khác. Phiên bản mới nhất SP1 Turbo xác minh các khối mạng chính Ethereum trên cụm GPU chỉ mất 40 giây, chi phí giảm xuống còn vài xu.
Hỗ trợ phát triển Rust
SP1 cho phép viết logic ZKP trực tiếp bằng Rust và 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 chuyển đổi mã của các nút blockchain hiện có thành ứng dụng ZKP.
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. ), nâng cao đáng kể hiệu suất. Ví dụ, thời gian xác thực của SP1 khi chạy ZK Tendermint client nhẹ đã giảm từ 2.2 giờ xuống còn 4.6 phút.
Mã nguồn mở an toàn
SP1 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 tùy chỉnh tiền biên dịch, tối ưu hiệu suất cho các tình huống cụ thể. SP1 đã thu hút nhiều nhà phát triển từ các dự án nổi tiếng tham gia hoàn thiện.
SP1 đã được nhiều công ty an ninh ZK hàng đầu kiểm toán và đạt được kết quả không có lỗ hổng cao trong cuộc thi kiểm toán công khai.
Được áp dụng rộng rãi
Nhiều dự án nổi tiếng đã áp dụng SP1 để xây dựng ZKP, đảm bảo hơn 1 tỷ USD tài sản trên chuỗi (TVL). SP1 đang trở thành thành phần tiêu chuẩn trong cơ sở hạ tầng blockchain.
Ứng dụng của SP1
SP1 có nhiều ứng dụng trong lĩnh vực blockchain:
• Rollup: Xây dựng ZK Rollup, tạo bằng chứng chuyển đổi trạng thái, kết nối với các chuỗi chính như Ethereum.
• Cầu chuỗi chéo: Xác thực sự đồng thuận của các chuỗi khác nhau, xây dựng cầu chuỗi chéo an toàn và hiệu quả.
• Tính tương tác: Thực hiện tính chắc chắn và tương tác nhanh chóng giữa các Rollup
• Oracle: Hỗ trợ tính toán quy mô lớn ngoài chuỗi và tạo ra các chứng minh có thể xác minh trên chuỗi
• Bảo vệ quyền riêng tư: Thực hiện giao dịch và trạng thái riêng tư
• Chứng minh tổng hợp: Tổng hợp ZKP cùng loại, giảm thêm chi phí xác minh trên chuỗi.
SP1 đang mang lại những thay đổi cách mạng cho hệ sinh thái blockchain, làm cho công nghệ chứng minh không biết (zero-knowledge proof) dễ sử dụng hơn, hiệu quả hơn và phổ biến hơn.
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.
SP1: Succinct ra mắt Máy ảo zero-knowledge hiệu suất hàng đầu
Succinct ra mắt SP1: Máy ảo không biết với hiệu suất hàng đầu
Succinct là một dự án zero-knowledge được chú ý, sản phẩm cốt lõi của nó là SP1 được coi là zkVM mạnh nhất hiện nay.
SP1 có những đặc điểm nổi bật sau:
• Tốc độ chứng minh nhanh hơn tối đa 28 lần so với các zkVM khác, chi phí giảm đáng kể • Hỗ trợ sử dụng ngôn ngữ Rust để viết chứng minh không kiến thức, nâng cao hiệu suất phát triển gấp trăm lần • Đã được nhiều cuộc kiểm toán an ninh thông qua, được nhiều dự án nổi tiếng áp dụng
Giới thiệu SP1
SP1 là một máy ảo không biết (zkVM), cho phép các nhà phát triển sử dụng các ngôn ngữ chính như Rust để viết mã và tạo ra các chứng minh không biết hiệu quả, được sử dụng để xác minh việc thực thi đúng đắn của chương trình.
Sự đổi mới cốt lõi của nó nằm ở việc giảm đáng kể rào cản phát triển chứng minh không biết (zero-knowledge proof), đồng thời duy trì hiệu suất và tính linh hoạt hàng đầu. SP1 làm cho việc phát triển ứng dụng không biết trở nên đơn giản như viết phần mềm thông thường, cung cấp hỗ trợ khả năng xác minh cho hạ tầng blockchain ( như Rollup, cầu nối chuỗi chéo, oracle, v.v. ).
Chứng minh không kiến thức ( ZKP ) có thể chứng minh tính chính xác của tính toán mà không tiết lộ dữ liệu đầu vào, có ứng dụng rộng rãi trong lĩnh vực blockchain:
• Mở rộng thông qua Rollup • Thúc đẩy khả năng tương tác giữa các chuỗi • Bảo vệ quyền riêng tư giao dịch • Xác thực dữ liệu ngoài chuỗi
Độ phức tạp của việc phát triển ZKP truyền thống cao, chu kỳ dài và chi phí cao. Sự xuất hiện của SP1 đã thay đổi hoàn toàn tình hình này.
Đặc điểm chính của SP1
Trên khối lượng công việc blockchain thực tế, SP1 nhanh hơn 4-28 lần so với các zkVM khác. Phiên bản mới nhất SP1 Turbo xác minh các khối mạng chính Ethereum trên cụm GPU chỉ mất 40 giây, chi phí giảm xuống còn vài xu.
SP1 cho phép viết logic ZKP trực tiếp bằng Rust và 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 chuyển đổi mã của các nút blockchain hiện có thành ứng dụng ZKP.
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. ), nâng cao đáng kể hiệu suất. Ví dụ, thời gian xác thực của SP1 khi chạy ZK Tendermint client nhẹ đã giảm từ 2.2 giờ xuống còn 4.6 phút.
SP1 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 tùy chỉnh tiền biên dịch, tối ưu hiệu suất cho các tình huống cụ thể. SP1 đã thu hút nhiều nhà phát triển từ các dự án nổi tiếng tham gia hoàn thiện.
SP1 đã được nhiều công ty an ninh ZK hàng đầu kiểm toán và đạt được kết quả không có lỗ hổng cao trong cuộc thi kiểm toán công khai.
Nhiều dự án nổi tiếng đã áp dụng SP1 để xây dựng ZKP, đảm bảo hơn 1 tỷ USD tài sản trên chuỗi (TVL). SP1 đang trở thành thành phần tiêu chuẩn trong cơ sở hạ tầng blockchain.
Ứng dụng của SP1
SP1 có nhiều ứng dụng trong lĩnh vực blockchain:
• Rollup: Xây dựng ZK Rollup, tạo bằng chứng chuyển đổi trạng thái, kết nối với các chuỗi chính như Ethereum. • Cầu chuỗi chéo: Xác thực sự đồng thuận của các chuỗi khác nhau, xây dựng cầu chuỗi chéo an toàn và hiệu quả. • Tính tương tác: Thực hiện tính chắc chắn và tương tác nhanh chóng giữa các Rollup • Oracle: Hỗ trợ tính toán quy mô lớn ngoài chuỗi và tạo ra các chứng minh có thể xác minh trên chuỗi • Bảo vệ quyền riêng tư: Thực hiện giao dịch và trạng thái riêng tư • Chứng minh tổng hợp: Tổng hợp ZKP cùng loại, giảm thêm chi phí xác minh trên chuỗi.
SP1 đang mang lại những thay đổi cách mạng cho hệ sinh thái blockchain, làm cho công nghệ chứng minh không biết (zero-knowledge proof) dễ sử dụng hơn, hiệu quả hơn và phổ biến hơn.