Nova: một hệ thống zk-SNARK hiệu quả

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

Những lợi thế chính của Nova

• Sử dụng công nghệ R1CS lỏng lẻo, giảm tính ngẫu nhiên trong quá trình chứng minh, nâng cao hiệu suất
• 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
• 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 tạo và xác minh chứng minh hiệu quả hơn, phù hợp với các ứng dụng quy mô lớn

Giới hạn của Nova

• Do việc sử dụng R1CS lỏng lẻo, độ an toàn của chứng minh có thể hơi thấp hơn so với hệ thống R1CS truyền thống.
• Thực hiện khá phức tạp, cần hiểu sâu về tính toán đa thức, các thao tác nhóm và các kỹ thuật mật mã học nâng cao khác.

Vị trí quan trọng của Nova

Nova đã mở ra một hướng phát triển mới cho zk-SNARK. Tính hiệu quả và linh hoạt của nó cho phép zk-SNARK được áp dụng trong nhiều lĩnh vực rộng lớn hơn, chẳng hạn như xác thực, blockchain và tính toán an toàn.

Các thành phần cốt lõi của Nova

1. Mô-đun R1CS: đã triển khai hệ thống R1CS lỏng.

2. Mô-đun tính toán đa thức: đã triển khai cam kết và đánh giá đa thức

3. Thuật toán Sumcheck: xác minh tổng đa thức

4. Cam kết kế hoạch: đã thực hiện nhiều cam kết đa thức

5. Động cơ đánh giá: đã thực hiện đánh giá đa thức

6. mô-đun zkSNARK: đã triển khai hệ thống chứng minh không kiến thức

Nova thông qua sự hợp tác của các module này, đã đạt được chứng minh không kiến thức hiệu quả. Nó không chỉ nâng cao hiệu quả của chứng minh mà còn đảm bảo đủ mức độ an toàn, đóng góp quan trọng cho sự phát triển của công nghệ chứng minh không kiến thức.