Nova: Hệ thống zk-SNARK đệ quy hiệu quả

Nova là một hệ thống chứng minh kiến thức không tương tác ngắn gọn và không kiến thức mới dạng đệ quy zk-SNARK(, được phát triển bởi Viện Nghiên cứu Microsoft. Nó sử dụng một kỹ thuật gọi là Hệ thống ràng buộc hạng 1 thư giãn)Relaxed Rank-1 Constraint Systems, Relaxed R1CS( để cải thiện hiệu suất và tính linh hoạt của việc chứng minh.

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

• Sử dụng công nghệ R1CS thư giãn, giảm nhu cầu ngẫu nhiên, cải thiện đáng kể hiệu suất chứng minh
• Hỗ trợ tính toán gia tăng, có thể tính toán từ từ các hàm phức tạp, không cần hoàn thành toàn bộ tính toán một lần.
• Hỗ trợ tính toán đa thức, có thể xử lý các nhiệm vụ chứng minh phức tạp hơn
• Quá trình sinh và xác minh chứng nhận trở nên hiệu quả hơn, phù hợp với các tình huống ứng dụng quy mô lớn.

Những giới hạn tiềm năng của Nova

• R1CS lỏng lẻo có thể dẫn đến độ an toàn của chứng minh thấp hơn một chút so với hệ thống R1CS truyền thống
• Thực hiện tương đối phức tạp, khó sử dụng và bảo trì.
• Cần phải hiểu sâu về công nghệ mật mã cao cấp để có thể sử dụng và sửa đổi hiệu quả.

Thành phần cốt lõi của Nova

1. R1CS và R1CS lỏng: Hệ thống ràng buộc được sử dụng để xây dựng chứng minh không kiến thức

2. Giải pháp cam kết đa thức: dùng để chứng minh giá trị đánh giá đa thức

3. Giải pháp gập không tương tác ) NIFS (: dùng để chứng minh tính chính xác của từng bước tính toán gia tăng.

4. Thuật toán Sumcheck: được sử dụng để xác minh tổng đa thức

5. Mật mã đường ellip ) ECC (: Cung cấp nguyên lý mật mã cơ bản

6. Hàm băm Keccak256: được sử dụng để xử lý biên bản trong quá trình chứng minh

7. Phép toán số nguyên lớn: Hỗ trợ tính toán vượt quá phạm vi số nguyên thông thường.

Nova thông qua sự kết hợp đổi mới của những thành phần này, đã đạt được hệ thống chứng minh đệ quy hiệu quả, đặt nền tảng cho việc ứng dụng quy mô lớn của công nghệ chứng minh không biết.