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, sử dụng công nghệ hệ thống ràng buộc bậc một lỏng lẻo để nâng cao hiệu quả và tính linh hoạt của chứng minh. Nó có vị trí quan trọng trong lĩnh vực chứng minh không kiến thức, mở ra những khả năng mới cho ứng dụng quy mô lớn.
Lợi thế cốt lõi
Sử dụng công nghệ R1CS thư giãn, giảm thiểu việc sử dụng ngẫu nhiên, nâng cao hiệu quả chứng minh đáng kể.
Hỗ trợ tính toán gia tăng, có thể tính toán dần dần 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
Các mô-đun chính
Mã nguồn của Nova chủ yếu bao gồm một số mô-đun quan trọng sau:
bellperson: Thực hiện chức năng tạo R1CS liên quan
mạch: Định nghĩa mạch nâng cao của giao thức Nova
gadgets: thực hiện các gadget cho các nguyên lý mật mã khác nhau
nifs: Triển khai giải pháp gập không tương tác
nhà cung cấp: Cung cấp các thành phần cơ bản như cam kết đa thức, hàm băm, v.v.
r1cs: Định nghĩa các cấu trúc dữ liệu và thao tác liên quan đến R1CS
spartan: Thực hiện giao thức Spartan
traits: Định nghĩa các giao diện đặc trưng khác nhau
Cấu trúc dữ liệu chính
R1CSShape: Biểu thị hình dạng của ma trận R1CS
R1CSWitness: Biểu thị nhân chứng của một trường hợp R1CS
R1CSInstance: Biểu thị một phiên bản R1CS
RelaxedR1CSWitness: đại diện cho nhân chứng của trường hợp R1CS được làm mềm.
RelaxedR1CSInstance: Biểu thị một实例松弛R1CS
Thuật toán cốt lõi
Thuật toán Sumcheck: được sử dụng để xác minh tổng đa thức
Đánh giá đa thức: Chứng minh giá trị của đa thức tại một điểm
Gập không tương tác: Gộp nhiều chứng minh thành một chứng minh
Giá trị ứng dụng
Hệ thống Nova cung cấp công cụ mạnh mẽ để xây dựng bằng chứng không kiến thức hiệu quả, có thể được ứng dụng rộng rãi trong các lĩnh vực blockchain, tính toán bảo mật, v.v., thúc đẩy việc áp dụng công nghệ không kiến thức trên quy mô lớn.
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.
Nova: Phân tích hệ thống zk-SNARK mới được phát triển bởi Microsoft
Phân tích dự án Nova
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, sử dụng công nghệ hệ thống ràng buộc bậc một lỏng lẻo để nâng cao hiệu quả và tính linh hoạt của chứng minh. Nó có vị trí quan trọng trong lĩnh vực chứng minh không kiến thức, mở ra những khả năng mới cho ứng dụng quy mô lớn.
Lợi thế cốt lõi
Các mô-đun chính
Mã nguồn của Nova chủ yếu bao gồm một số mô-đun quan trọng sau:
bellperson: Thực hiện chức năng tạo R1CS liên quan
mạch: Định nghĩa mạch nâng cao của giao thức Nova
gadgets: thực hiện các gadget cho các nguyên lý mật mã khác nhau
nifs: Triển khai giải pháp gập không tương tác
nhà cung cấp: Cung cấp các thành phần cơ bản như cam kết đa thức, hàm băm, v.v.
r1cs: Định nghĩa các cấu trúc dữ liệu và thao tác liên quan đến R1CS
spartan: Thực hiện giao thức Spartan
traits: Định nghĩa các giao diện đặc trưng khác nhau
Cấu trúc dữ liệu chính
Thuật toán cốt lõi
Giá trị ứng dụng
Hệ thống Nova cung cấp công cụ mạnh mẽ để xây dựng bằng chứng không kiến thức hiệu quả, có thể được ứng dụng rộng rãi trong các lĩnh vực blockchain, tính toán bảo mật, v.v., thúc đẩy việc áp dụng công nghệ không kiến thức trên quy mô lớn.