Nova: Phân tích hệ thống zk-SNARK mới được phát triển bởi Microsoft

robot
Đang tạo bản tóm tắt

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

  • 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:

  1. bellperson: Thực hiện chức năng tạo R1CS liên quan

  2. mạch: Định nghĩa mạch nâng cao của giao thức Nova

  3. gadgets: thực hiện các gadget cho các nguyên lý mật mã khác nhau

  4. nifs: Triển khai giải pháp gập không tương tác

  5. 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.

  6. r1cs: Định nghĩa các cấu trúc dữ liệu và thao tác liên quan đến R1CS

  7. spartan: Thực hiện giao thức Spartan

  8. 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.
  • Phần thưởng
  • 5
  • Chia sẻ
Bình luận
0/400
SerumSquirtervip
· 20giờ trước
Cuối cùng Microsoft cũng đã nhận ra.
Xem bản gốcTrả lời0
OldLeekMastervip
· 20giờ trước
Đợt này Microsoft chơi lớn thật đấy.
Xem bản gốcTrả lời0
MEVVictimAlliancevip
· 20giờ trước
Microsoft thật sự rất bull trong đợt này.
Xem bản gốcTrả lời0
NotSatoshivip
· 20giờ trước
Đây lại là kiến thức không biết, hehe
Xem bản gốcTrả lời0
UncleLiquidationvip
· 21giờ trước
Kiến thức ẩn giấu làm nhiều như vậy để làm gì?
Xem bản gốcTrả lời0
Giao dịch tiền điện tử mọi lúc mọi nơi
qrCode
Quét để tải xuống ứng dụng Gate
Cộng đồng
Tiếng Việt
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)