Succinct là một dự án ZK hàng đầu đã huy động 55 triệu đô la, sản phẩm cốt lõi SP1 của nó được coi là zkVM nhanh nhất hiện nay.
SP1 có những đặc điểm nổi bật sau:
Hiệu suất vượt trội, tốc độ chứng minh có thể tăng gấp 28 lần so với zkVM khác, chi phí giảm xuống còn vài phần trăm so với ban đầu.
Cho phép các nhà phát triển sử dụng Rust để viết ZKP, có thể tái sử dụng thư viện mã hiện có, nâng cao hiệu quả phát triển một cách đáng kể.
Hỗ trợ các tình huống ứng dụng cấp sản xuất, đã qua kiểm toán an ninh uy tín và đượ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 kiến thức tổng quát (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ừ đó tạo ra các chứng minh không kiến thức hiệu quả để 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 SP1 là giảm đáng kể rào cản phát triển chứng minh không kiến thức, đồng thời duy trì hiệu suất và tính linh hoạt hàng đầu. Nó làm cho 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 cơ sở hạ tầng blockchain (chẳng hạn như Rollup, cầu nối chuỗi chéo, oracle, v.v.) có thể đạt được tính 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. Khả năng này có nhiều ứng dụng trong lĩnh vực blockchain, bao gồm mở rộng quy mô, tương tác giữa các chuỗi, bảo vệ quyền riêng tư, cầu nối và oracle.
Tuy nhiên, sự phức tạp trong phát triển ZKP truyền thống luôn là một vấn đề lớn. Sự xuất hiện của SP1 đã hoàn toàn thay đổi tình hình này.
Đặc điểm chính của SP1
Hiệu suất vượt trội
SP1 nhanh hơn 4-28 lần so với các zkVM khác trong các khối lượng công việc blockchain thực tế (như xác minh khách hàng nhẹ, Rollup, v.v.), hiệu suất thậm chí có thể sánh ngang 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) khi chạy trên cụm GPU, xác minh các khối chính của Ethereum chỉ mất 40 giây, chi phí chỉ từ vài cent.
Hỗ trợ phát triển ngôn ngữ 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ó. Điều này đơn giản hóa quy trình phát triển rất nhiều, các nhà phát triển có thể tận dụng mã nguồn của các nút blockchain có sẵn để điều chỉnh, tạo ra ZKP, tiết kiệm thời gian và công sức so với việc viết lại các mạch phức tạp từ đầu.
Cơ chế tiền biên dịch
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 thực 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 suất của SP1 trong việc xử lý các tải công việc blockchain phức tạp.
Mã nguồn mở và an ninh
SP1 là một dự án hoàn toàn mã nguồn mở, sử dụng 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 hiệu suất cho các trường hợp sử dụng cụ thể. SP1 đã được nhiều công ty bảo mật ZK hàng đầu kiểm toán nhiều lần và đạt được thành tích xuất sắc với "không có lỗ hổng cao" trong các cuộc thi kiểm toán công khai.
Đối tác rộng rãi
Nhiều dự án nổi tiếng đã áp dụng SP1 để xây dựng ZKP, bảo đảm hơn 10 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 một phần quan trọng của hạ tầng blockchain.
Ứ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 chứng minh zero-knowledge cho việc chuyển đổi trạng thái, kết nối với chuỗi chính để đạ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 đồng thuận Layer 1, 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 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.
Tổng thể, SP1 là một dự án zkVM hiệu suất cao, dễ sử dụng, đang cung cấp hỗ trợ quan trọng cho sự phát triển của cơ sở hạ tầng blockchain.
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.
17 thích
Phần thưởng
17
7
Chia sẻ
Bình luận
0/400
DataBartender
· 08-04 23:42
rust bay nhanh
Xem bản gốcTrả lời0
GasGuzzler
· 08-04 22:40
Nhanh chóng phát hành một bản trắng để thu lợi nhuận.
Xem bản gốcTrả lời0
alpha_leaker
· 08-04 12:11
Cuối cùng cũng có thể sử dụng Rust, sướng quá
Xem bản gốcTrả lời0
MEV_Whisperer
· 08-02 21:07
Tốc độ đã nhanh hơn nhiều so với trước đây. Đang mong đợi.
SP1: Dự án zkVM hàng đầu với tốc độ tăng 28 lần đã huy động 55 triệu đô la
Succinct：Dự án zkVM nhanh nhất SP1
Succinct là một dự án ZK hàng đầu đã huy động 55 triệu đô la, sản phẩm cốt lõi SP1 của nó được coi là zkVM nhanh nhất hiện nay.
SP1 có những đặc điểm nổi bật sau:
Giới thiệu SP1
SP1 là một máy ảo không kiến thức tổng quát (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ừ đó tạo ra các chứng minh không kiến thức hiệu quả để 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 SP1 là giảm đáng kể rào cản phát triển chứng minh không kiến thức, đồng thời duy trì hiệu suất và tính linh hoạt hàng đầu. Nó làm cho 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 cơ sở hạ tầng blockchain (chẳng hạn như Rollup, cầu nối chuỗi chéo, oracle, v.v.) có thể đạt được tính 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. Khả năng này có nhiều ứng dụng trong lĩnh vực blockchain, bao gồm mở rộng quy mô, tương tác giữa các chuỗi, bảo vệ quyền riêng tư, cầu nối và oracle.
Tuy nhiên, sự phức tạp trong phát triển ZKP truyền thống luôn là một vấn đề lớn. Sự xuất hiện của SP1 đã hoàn toàn thay đổi tình hình này.
Đặc điểm chính của SP1
SP1 nhanh hơn 4-28 lần so với các zkVM khác trong các khối lượng công việc blockchain thực tế (như xác minh khách hàng nhẹ, Rollup, v.v.), hiệu suất thậm chí có thể sánh ngang 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) khi chạy trên cụm GPU, xác minh các khối chính của Ethereum chỉ mất 40 giây, chi phí chỉ từ vài cent.
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ó. Điều này đơn giản hóa quy trình phát triển rất nhiều, các nhà phát triển có thể tận dụng mã nguồn của các nút blockchain có sẵn để điều chỉnh, tạo ra ZKP, tiết kiệm thời gian và công sức so với việc viết lại các mạch phức tạp từ đầu.
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 thực 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 suất của SP1 trong việc xử lý các tải công việc blockchain phức tạp.
SP1 là một dự án hoàn toàn mã nguồn mở, sử dụng 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 hiệu suất cho các trường hợp sử dụng cụ thể. SP1 đã được nhiều công ty bảo mật ZK hàng đầu kiểm toán nhiều lần và đạt được thành tích xuất sắc với "không có lỗ hổng cao" trong các 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, bảo đảm hơn 10 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 một phần quan trọng của hạ tầng blockchain.
Ứ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 chứng minh zero-knowledge cho việc chuyển đổi trạng thái, kết nối với chuỗi chính để đạ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 đồng thuận Layer 1, 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 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.
Tổng thể, SP1 là một dự án zkVM hiệu suất cao, dễ sử dụng, đang cung cấp hỗ trợ quan trọng cho sự phát triển của cơ sở hạ tầng blockchain.