Nova là một hệ thống zk-SNARK mới được phát triển bởi Microsoft, nó sử dụng công nghệ Relaxed R1CS( để cải thiện hiệu quả và tính linh hoạt của việc chứng minh.
Ưu điểm của Nova
Ưu điểm chính của Nova là sử dụng công nghệ R1CS được làm nhẹ. Hệ thống R1CS truyền thống yêu cầu một lượng lớn tính ngẫu nhiên trong quá trình chứng minh, dẫn đến quá trình tạo và xác minh chứng minh trở nên phức tạp và tốn thời gian. Nova bằng cách sử dụng R1CS được làm nhẹ, cho phép sử dụng ít tính ngẫu nhiên hơn trong chứng minh, từ đó nâng cao hiệu quả chứng minh một cách đáng kể.
Nova còn 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 mà không cần phải tính toán 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 tính toán phức tạp. Ngoài ra, Nova còn 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.
Nhược điểm của Nova
Nova sử dụng R1CS được nới lỏng, chứng minh của nó có thể không mạnh mẽ như hệ thống R1CS truyền thống. R1CS nới lỏng sử dụng ít ngẫu nhiên hơn, có thể làm giảm tính an toàn của chứng minh. Tuy nhiên, các nhà phát triển Nova đã thực hiện các 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.
Thứ hai, việc thực hiện Nova tương đối phức tạp, có thể làm tăng độ khó trong việc sử dụng và bảo trì. Nova sử dụng nhiều kỹ thuật mật mã tiên tiến, chẳng hạn như tính toán đa thức, thao tác nhóm và oracle ngẫu nhiên, cần phải hiểu sâu về những kỹ thuật này để có thể sử dụng và sửa đổi Nova một cách hiệu quả.
Vị trí quan trọng của Nova trong lĩnh vực zk-SNARK
Nova chiếm vị trí quan trọng trong lĩnh vực zk-SNARK. Nó đã mở ra con đường mới cho sự phát triển của zk-SNARK. Công nghệ R1CS được thư giãn mà Nova áp dụng giúp quá trình tạo và xác minh chứng minh hiệu quả hơn, điều này là rất quan trọng cho các ứng dụng zk-SNARK quy mô lớn. Hơn nữa, Nova hỗ trợ tính toán gia tăng và 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, từ đó mở rộng phạm vi ứng dụng của zk-SNARK.
Giải thích mã nguồn của Nova
Mã nguồn của Nova chủ yếu bao gồm các mô-đun quan trọng sau:
bellperson: Thực hiện việc tạo ra Hệ thống ràng buộc Rank-1 (R1CS) ).
gadgets: Bao gồm các công cụ để xây dựng zk-SNARK.
provider: Bao gồm mã của một số nhà cung cấp, chẳng hạn như việc triển khai hàm băm Keccak.
spartan: Chứa mã liên quan đến giao thức Spartan.
traits: Định nghĩa một số hành vi chung của các traits Rust.
Cốt lõi của Nova bao gồm:
Triển khai R1CS và R1CS lỏng
Giải pháp cam kết đa thức
Thuật toán Sumcheck
Giải pháp gập không tương tác (NIFS)
Hoạt động mật mã đường cong elip
Công cụ chuyển đổi
Các thành phần này tạo thành hệ thống zk-SNARK của Nova, cho phép nó tạo ra và xác minh các chứng minh của các phép toán phức tạp một cách hiệu quả, đồng thời đảm bảo tính bảo mật và quyền riêng tư của chứng minh.
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.
17 thích
Phần thưởng
17
8
Chia sẻ
Bình luận
0/400
DefiEngineerJack
· 07-27 05:09
*thở dài* microsoft cố gắng tối ưu hóa zk một lần nữa... hiển thị cho tôi xác minh chính thức hoặc đó chỉ là một hũ mật ong L2 khác
Xem bản gốcTrả lời0
tx_pending_forever
· 07-26 11:14
Lại đang đồn thổi về bằng chứng không biết? An toàn thì giảm giá thì còn dùng được không?
Xem bản gốcTrả lời0
TestnetScholar
· 07-25 14:13
Công nghệ lại trở nên phức tạp rồi
Xem bản gốcTrả lời0
RugpullTherapist
· 07-25 03:30
Đồ mới lại làm tôi bị bệnh cũ.. chẳng phải là bẫy tay không sao?
Xem bản gốcTrả lời0
liquiditea_sipper
· 07-25 03:26
Hàng tốt, Microsoft đã cân bằng rất tốt trong đợt này.
Xem bản gốcTrả lời0
Rugpull幸存者
· 07-25 03:25
Cái này chẳng đáng giá, không bằng dùng Stark
Xem bản gốcTrả lời0
MoonMathMagic
· 07-25 03:20
Một hệ thống khác hy sinh an toàn để đổi lấy hiệu suất.
Nova: Hệ thống zk-SNARK mới nâng cao hiệu suất và tính linh hoạt
Nova: Một hệ thống zk-SNARK mới
Nova là một hệ thống zk-SNARK mới được phát triển bởi Microsoft, nó sử dụng công nghệ Relaxed R1CS( để cải thiện hiệu quả và tính linh hoạt của việc chứng minh.
Ưu điểm của Nova
Ưu điểm chính của Nova là sử dụng công nghệ R1CS được làm nhẹ. Hệ thống R1CS truyền thống yêu cầu một lượng lớn tính ngẫu nhiên trong quá trình chứng minh, dẫn đến quá trình tạo và xác minh chứng minh trở nên phức tạp và tốn thời gian. Nova bằng cách sử dụng R1CS được làm nhẹ, cho phép sử dụng ít tính ngẫu nhiên hơn trong chứng minh, từ đó nâng cao hiệu quả chứng minh một cách đáng kể.
Nova còn 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 mà không cần phải tính toán 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 tính toán phức tạp. Ngoài ra, Nova còn 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.
Nhược điểm của Nova
Nova sử dụng R1CS được nới lỏng, chứng minh của nó có thể không mạnh mẽ như hệ thống R1CS truyền thống. R1CS nới lỏng sử dụng ít ngẫu nhiên hơn, có thể làm giảm tính an toàn của chứng minh. Tuy nhiên, các nhà phát triển Nova đã thực hiện các 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.
Thứ hai, việc thực hiện Nova tương đối phức tạp, có thể làm tăng độ khó trong việc sử dụng và bảo trì. Nova sử dụng nhiều kỹ thuật mật mã tiên tiến, chẳng hạn như tính toán đa thức, thao tác nhóm và oracle ngẫu nhiên, cần phải hiểu sâu về những kỹ thuật này để có thể sử dụng và sửa đổi Nova một cách hiệu quả.
Vị trí quan trọng của Nova trong lĩnh vực zk-SNARK
Nova chiếm vị trí quan trọng trong lĩnh vực zk-SNARK. Nó đã mở ra con đường mới cho sự phát triển của zk-SNARK. Công nghệ R1CS được thư giãn mà Nova áp dụng giúp quá trình tạo và xác minh chứng minh hiệu quả hơn, điều này là rất quan trọng cho các ứng dụng zk-SNARK quy mô lớn. Hơn nữa, Nova hỗ trợ tính toán gia tăng và 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, từ đó mở rộng phạm vi ứng dụng của zk-SNARK.
Giải thích mã nguồn của Nova
Mã nguồn của Nova chủ yếu bao gồm các mô-đun quan trọng sau:
bellperson: Thực hiện việc tạo ra Hệ thống ràng buộc Rank-1 (R1CS) ).
gadgets: Bao gồm các công cụ để xây dựng zk-SNARK.
provider: Bao gồm mã của một số nhà cung cấp, chẳng hạn như việc triển khai hàm băm Keccak.
spartan: Chứa mã liên quan đến giao thức Spartan.
traits: Định nghĩa một số hành vi chung của các traits Rust.
Cốt lõi của Nova bao gồm:
Các thành phần này tạo thành hệ thống zk-SNARK của Nova, cho phép nó tạo ra và xác minh các chứng minh của các phép toán phức tạp một cách hiệu quả, đồng thời đảm bảo tính bảo mật và quyền riêng tư của chứng minh.