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 một công nghệ có tên là Hệ thống ràng buộc hạng 1 thư giãn (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 ích chính của Nova nằm ở công nghệ R1CS thoải mái mà nó sử dụng. Các hệ thống R1CS truyền thống cần sử dụng một lượng lớn ngẫu nhiên trong quá trình chứng minh, điều này dẫn đến quá trình tạo và xác minh chứng minh rất phức tạp và tốn thời gian. Nova giải quyết vấn đề này bằng cách sử dụng R1CS thoải mái, cho phép sử dụng ít ngẫu nhiên hơn trong chứng minh, từ đó cải thiện đáng kể hiệu quả của chứng minh.
Nova cũng hỗ trợ tính toán gia tăng, điều này có nghĩa là có thể tính toán từng bước các hàm phức tạp, mà không cần phải tính toàn bộ hàm một lần. Điều này rất hữu ích khi xử lý dữ liệu quy mô lớn hoặc thực hiện các phép tính phức tạp. Hơn nữa, Nova còn hỗ trợ tính toán đa thức, điều này giúp nó có thể xử lý các nhiệm vụ chứng minh phức tạp hơn.
Nhược điểm của Nova là, do sử dụng R1CS lỏng, nên chứng minh của nó có thể không mạnh mẽ như các hệ thống R1CS truyền thống. Điều này là do R1CS lỏng cho phép sử dụng ít ngẫu nhiên hơn trong chứng minh, điều này có thể làm giảm độ an toàn của chứng minh. Tuy nhiên, các nhà phát triển của Nova đã thực hiện một số biện pháp để giải quyết vấn đề này, chẳng hạn như sử 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 tương đối phức tạp, điều này có thể làm tăng độ khó trong việc sử dụng và bảo trì. Nova sử dụng nhiều công nghệ mật mã tiên tiến, như tính toán đa thức, thao tác nhóm và oracle ngẫu nhiên, điều này cần hiểu sâu về những công nghệ này để có thể sử dụng và sửa đổi Nova một cách hiệu quả.
Mặc dù có những thách thức này, Nova vẫn giữ một vị trí quan trọng trong lĩnh vực zk-SNARK. Sự xuất hiện của nó đã mở ra những con đường mới cho sự phát triển của zk-SNARK. Công nghệ R1CS thoải mái mà Nova áp dụng giúp quá trình tạo và xác minh chứng minh trở nên hiệu quả hơn, điều này rất quan trọng cho các ứng dụng zk-SNARK quy mô lớn. Hơn nữa, Nova còn hỗ trợ tính toán gia tăng và tính toán đa thức, điều này cho phép nó xử lý các nhiệm vụ chứng minh phức tạp hơn, mở rộng thêm phạm vi ứng dụng của zk-SNARK.
Mã nguồn của dự án Nova chủ yếu bao gồm một số mô-đun quan trọng sau:
bellperson: đã hiện thực hóa việc tạo ra R1CS( Rank-1 Constraint Systems).
gadgets: Bao gồm nhiều công cụ dùng để xây dựng zk-SNARK chứng minh.
provider: Cung cấp một số chức năng cơ bản như hàm băm.
spartan: đã thực hiện các chức năng liên quan đến giao thức Spartan.
traits: Định nghĩa một số giao diện và đặc điểm chung.
circuit: định nghĩa mạch nâng cao trong giao thức Nova.
r1cs: đã triển khai các loại và phương thức liên quan đến R1CS.
Các mô-đun này tạo thành chức năng cốt lõi của Nova, bao gồm xây dựng R1CS, tạo và xác minh chứng, tính toán đa thức, v.v. Nova thông qua sự kết hợp khéo léo của các mô-đun này, đã đạt được hệ thống chứng minh không kiến thức hiệu quả.
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.
Nova: Hệ thống chứng minh không biết hiệu quả do Microsoft phát triển
Nova: Một hệ thống zk-SNARK hiệu quả
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 một công nghệ có tên là Hệ thống ràng buộc hạng 1 thư giãn (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 ích chính của Nova nằm ở công nghệ R1CS thoải mái mà nó sử dụng. Các hệ thống R1CS truyền thống cần sử dụng một lượng lớn ngẫu nhiên trong quá trình chứng minh, điều này dẫn đến quá trình tạo và xác minh chứng minh rất phức tạp và tốn thời gian. Nova giải quyết vấn đề này bằng cách sử dụng R1CS thoải mái, cho phép sử dụng ít ngẫu nhiên hơn trong chứng minh, từ đó cải thiện đáng kể hiệu quả của chứng minh.
Nova cũng hỗ trợ tính toán gia tăng, điều này có nghĩa là có thể tính toán từng bước các hàm phức tạp, mà không cần phải tính toàn bộ hàm một lần. Điều này rất hữu ích khi xử lý dữ liệu quy mô lớn hoặc thực hiện các phép tính phức tạp. Hơn nữa, Nova còn hỗ trợ tính toán đa thức, điều này giúp nó có thể xử lý các nhiệm vụ chứng minh phức tạp hơn.
Nhược điểm của Nova là, do sử dụng R1CS lỏng, nên chứng minh của nó có thể không mạnh mẽ như các hệ thống R1CS truyền thống. Điều này là do R1CS lỏng cho phép sử dụng ít ngẫu nhiên hơn trong chứng minh, điều này có thể làm giảm độ an toàn của chứng minh. Tuy nhiên, các nhà phát triển của Nova đã thực hiện một số biện pháp để giải quyết vấn đề này, chẳng hạn như sử 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 tương đối phức tạp, điều này có thể làm tăng độ khó trong việc sử dụng và bảo trì. Nova sử dụng nhiều công nghệ mật mã tiên tiến, như tính toán đa thức, thao tác nhóm và oracle ngẫu nhiên, điều này cần hiểu sâu về những công nghệ này để có thể sử dụng và sửa đổi Nova một cách hiệu quả.
Mặc dù có những thách thức này, Nova vẫn giữ một vị trí quan trọng trong lĩnh vực zk-SNARK. Sự xuất hiện của nó đã mở ra những con đường mới cho sự phát triển của zk-SNARK. Công nghệ R1CS thoải mái mà Nova áp dụng giúp quá trình tạo và xác minh chứng minh trở nên hiệu quả hơn, điều này rất quan trọng cho các ứng dụng zk-SNARK quy mô lớn. Hơn nữa, Nova còn hỗ trợ tính toán gia tăng và tính toán đa thức, điều này cho phép nó xử lý các nhiệm vụ chứng minh phức tạp hơn, mở rộng thêm phạm vi ứng dụng của zk-SNARK.
Mã nguồn của dự án Nova chủ yếu bao gồm một số mô-đun quan trọng sau:
bellperson: đã hiện thực hóa việc tạo ra R1CS( Rank-1 Constraint Systems).
gadgets: Bao gồm nhiều công cụ dùng để xây dựng zk-SNARK chứng minh.
provider: Cung cấp một số chức năng cơ bản như hàm băm.
spartan: đã thực hiện các chức năng liên quan đến giao thức Spartan.
traits: Định nghĩa một số giao diện và đặc điểm chung.
circuit: định nghĩa mạch nâng cao trong giao thức Nova.
r1cs: đã triển khai các loại và phương thức liên quan đến R1CS.
Các mô-đun này tạo thành chức năng cốt lõi của Nova, bao gồm xây dựng R1CS, tạo và xác minh chứng, tính toán đa thức, v.v. Nova thông qua sự kết hợp khéo léo của các mô-đun này, đã đạt được hệ thống chứng minh không kiến thức hiệu quả.