Nova là một hệ thống zk-SNARK mới do Microsoft phát triển, nó sử dụng công nghệ Relaxed R1CS( để nâng cao hiệu quả và tính linh hoạt của các chứng minh.
Những ưu điểm chính của Nova
Sử dụng công nghệ R1CS thư giãn, cho phép sử dụng ít ngẫu nhiên hơn trong chứng minh, làm tăng đáng kể hiệu quả của chứng minh.
Hỗ trợ tính toán gia tăng, 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 toàn bộ hàm một lầ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 tiềm năng của Nova
Do việc sử dụng R1CS lỏng lẻo, chứng minh có thể không mạnh mẽ bằng hệ thống R1CS truyền thống, có thể sẽ giảm nhẹ độ an toàn.
Thực hiện tương đối phức tạp, cần hiểu sâu về tính toán đa thức, thao tác nhóm và các kỹ thuật mật mã cao cấp khác.
Vị trí quan trọng của Nova
Nova đã mở ra một con đường mới cho sự phát triển của zk-SNARK. Công nghệ mà nó sử dụng khiến cho quá trình tạo ra 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. Đồng thời, Nova còn mở rộng phạm vi ứng dụng của zk-SNARK, có thể xử lý các nhiệm vụ chứng minh phức tạp hơn.
Các thành phần cốt lõi của Nova
R1CS và Relaxed R1CS: hệ thống ràng buộc được sử dụng để xây dựng zk-SNARK.
Giải pháp cam kết đa thức: Được sử dụng để chứng minh giá trị đánh giá của đa thức mà không tiết lộ chính đa thức.
Thuật toán Sumcheck: được sử dụng để xác minh tổng đa thức.
Tính toán gia tăng: cho phép tính toán các hàm phức tạp từng bước.
Giải pháp gập không tương tác ) NIFS (: được sử dụng để chứng minh tính chính xác của từng bước trong tính toán gia tăng.
Nova đã kết hợp các công nghệ này một cách sáng tạo, tạo ra một hệ thống zk-SNARK hiệu quả và linh hoạt, cung cấp công cụ mạnh mẽ cho blockchain, tính toán an toàn và các lĩnh vực khác.
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.
12 thích
Phần thưởng
12
4
Chia sẻ
Bình luận
0/400
BoredRiceBall
· 07-16 18:38
Microsoft cũng đã làm zk à? Tránh xa rồi.
Xem bản gốcTrả lời0
CryptoCross-TalkClub
· 07-14 03:53
Hệ thống chứng minh đã được nới lỏng, đồ ngốc trên chuỗi hãy nhanh chóng mở khóa cách thu hoạch mới.
Xem bản gốcTrả lời0
RugpullSurvivor
· 07-14 03:49
Microsoft lần này có chút điều thú vị!
Xem bản gốcTrả lời0
GasWhisperer
· 07-14 03:33
hmm... relaxed r1cs cảm giác như đang xem sóng gas trong thời gian thấp điểm... thanh lịch nhưng có chút rủi ro thật sự
Nova: Công nghệ R1CS thư giãn dẫn dắt kỷ nguyên mới của zk-SNARK
Nova: Một hệ thống zk-SNARK đổi mới
Nova là một hệ thống zk-SNARK mới do Microsoft phát triển, nó sử dụng công nghệ Relaxed R1CS( để nâng cao hiệu quả và tính linh hoạt của các chứng minh.
Những ưu điểm chính của Nova
Sử dụng công nghệ R1CS thư giãn, cho phép sử dụng ít ngẫu nhiên hơn trong chứng minh, làm tăng đáng kể hiệu quả của chứng minh.
Hỗ trợ tính toán gia tăng, 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 toàn bộ hàm một lầ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 tiềm năng của Nova
Do việc sử dụng R1CS lỏng lẻo, chứng minh có thể không mạnh mẽ bằng hệ thống R1CS truyền thống, có thể sẽ giảm nhẹ độ an toàn.
Thực hiện tương đối phức tạp, cần hiểu sâu về tính toán đa thức, thao tác nhóm và các kỹ thuật mật mã cao cấp khác.
Vị trí quan trọng của Nova
Nova đã mở ra một con đường mới cho sự phát triển của zk-SNARK. Công nghệ mà nó sử dụng khiến cho quá trình tạo ra 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. Đồng thời, Nova còn mở rộng phạm vi ứng dụng của zk-SNARK, có thể xử lý các nhiệm vụ chứng minh phức tạp hơn.
Các thành phần cốt lõi của Nova
R1CS và Relaxed R1CS: hệ thống ràng buộc được sử dụng để xây dựng zk-SNARK.
Giải pháp cam kết đa thức: Được sử dụng để chứng minh giá trị đánh giá của đa thức mà không tiết lộ chính đa thức.
Thuật toán Sumcheck: được sử dụng để xác minh tổng đa thức.
Tính toán gia tăng: cho phép tính toán các hàm phức tạp từng bước.
Giải pháp gập không tương tác ) NIFS (: được sử dụng để chứng minh tính chính xác của từng bước trong tính toán gia tăng.
Nova đã kết hợp các công nghệ này một cách sáng tạo, tạo ra một hệ thống zk-SNARK hiệu quả và linh hoạt, cung cấp công cụ mạnh mẽ cho blockchain, tính toán an toàn và các lĩnh vực khác.