Nova: Một hệ thống zk-SNARK mới

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

Ưu điểm chính của Nova bao gồm:

• Sử dụng công nghệ R1CS lỏng lẻo, có thể sử dụng ít ngẫu nhiên hơn trong chứng minh, tăng cường hiệu quả chứng minh một cách đáng kể
• Hỗ trợ tính toán gia tăng, có thể tính toán các hàm phức tạp từng bước.
• 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

Nova cũng có một số nhược điểm:

• Do việc sử dụng R1CS lỏng lẻo, chứng minh có thể không mạnh mẽ như 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ì.

Mặc dù vậy, Nova vẫn giữ vị trí quan trọng trong lĩnh vực zk-SNARK. Nó đã mở ra những con đường mới cho sự phát triển của zk-SNARK, làm cho quá trình tạo và xác minh chứng minh trở nên hiệu quả hơn, có thể xử lý các nhiệm vụ chứng minh phức tạp hơn, từ đó mở rộng hơn nữa phạm vi ứng dụng của zk-SNARK.

Nova có các triển khai cốt lõi bao gồm:

• Định nghĩa và triển khai R1CS và R1CS lỏng.
• Cấu trúc dữ liệu và thuật toán liên quan đến tính toán đa thức
• Triển khai giao thức Sumcheck
• Triển khai giải pháp gập không tương tác (NIFS)
• Giải pháp cam kết đa thức dựa trên chứng minh tích phân

Những thành phần này cùng nhau tạo thành hệ thống zk-SNARK hiệu quả của Nova, đóng góp quan trọng vào sự tiến bộ của công nghệ zk-SNARK.