Nova: Hệ thống chứng minh không biết (zk-SNARK) hiệu quả và linh hoạt do Microsoft phát triển

2025-08-11 12:18:00

Đang tạo bản tóm tắt

Nova - Hệ thống zk-SNARK hiệu quả và linh hoạt

Nova là một hệ thống chứng minh không kiến thức mới được phát triển bởi Microsoft, nó sử dụng công nghệ Hệ thống Ràng buộc Hạng 1 Thoải mái (Relaxed Rank-1 Constraint Systems, Relaxed R1CS) để nâng cao hiệu quả và tính linh hoạt của chứng minh.

Lợi thế chính của Nova

Sử dụng công nghệ R1CS lỏng lẻo, giảm đáng kể tính ngẫu nhiên cần thiết trong quá trình chứng minh, từ đó cải thiện hiệu suất tạo và xác minh chứng minh.
Hỗ trợ tính toán gia tăng, có thể tính toán từng bước các hàm phức tạp mà không cần hoàn tất toàn bộ quá trình tính toán ngay lập tức. Điều này đặc biệt hữu ích khi xử lý dữ liệu lớn hoặc thực hiện các phép tính phức tạp.
Hỗ trợ tính toán đa thức, có khả năng xử lý các nhiệm vụ chứng minh phức tạp hơn.

Hạn chế của Nova

Do việc sử dụng R1CS lỏng lẻo, bằng chứng của Nova có thể không mạnh mẽ như hệ thống R1CS truyền thống. Để giải quyết vấn đề này, các nhà phát triển của Nova đã áp dụng các thuật toán mật mã mạnh mẽ hơn và các chiến lược chứng minh phức tạp hơn.
Việc triển khai Nova khá phức tạp, liên quan đến nhiều kỹ thuật mật mã nâng cao, như tính toán đa thức, thao tác nhóm và máy tiên tri ngẫu nhiên, v.v. Điều này có thể làm tăng độ khó trong việc sử dụng và duy trì.

Vị thế của Nova trong lĩnh vực zk-SNARK

Nova đã mở ra một con đường mới cho sự phát triển của zk-SNARK. Quy trình tạo ra và xác minh chứng minh hiệu quả của nó rất quan trọng cho các ứng dụng zk-SNARK quy mô lớn. Nova hỗ trợ các đặc tính tính toán gia tăng và tính toán đa thức, mở rộng thêm phạm vi ứng dụng của zk-SNARK.

Phân tích mã nguồn Nova

Mã nguồn của Nova chủ yếu bao gồm các mô-đun chính sau đây:

bellperson: đã triển khai các chức năng liên quan đến R1CS (Hệ thống ràng buộc hạng 1).
gadgets: Bao gồm các công cụ xây dựng chứng zk-SNARK.
provider: Cung cấp các triển khai của nhiều nguyên thủy mật mã khác nhau, chẳng hạn như hàm băm Keccak.
spartan: Đã triển khai các chức năng liên quan đến giao thức Spartan.
traits：định nghĩa các hành vi và giao diện công cộng khác nhau.

Tài liệu cốt lõi src/circuit.rs định nghĩa các mạch tăng cường trong giao thức Nova, bao gồm mạch bước và mạch xác thực. src/nifs.rs triển khai phương án gập không tương tác (Non-Interactive Folding Scheme, NIFS) để chứng minh tính chính xác của từng bước trong tính toán gia tăng.

Dự án Nova đã sử dụng rộng rãi các tính năng của ngôn ngữ Rust, chẳng hạn như traits và lập trình tổng quát, để cung cấp các triển khai linh hoạt và hiệu quả. Dự án liên quan đến các khái niệm và kỹ thuật mật mã phức tạp, bao gồm mật mã đường cong ellip, cam kết đa thức, oracle ngẫu nhiên, v.v., thể hiện sự phức tạp và sức mạnh của các hệ thống chứng minh không kiến thức hiện đại.

ZK-4.46%

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.

16 thích