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. Nó sử dụng công nghệ (Relaxed R1CS) với các ràng buộc bậc một được nới lỏng, nâng cao đáng kể hiệu quả và tính linh hoạt của chứng minh. Các đặc điểm chính của Nova bao gồm:
Sử dụng R1CS thư giãn, giảm yêu cầu ngẫu nhiên trong quá trình chứng minh, nâng cao hiệu suất một cách đá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 mà không cần hoàn thành 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
Ứng dụng các 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, v.v.
Nova có vị trí quan trọng trong lĩnh vực zk-SNARK. Nó mở ra những khả năng mới cho các ứng dụng zk-SNARK quy mô lớn, mở rộng phạm vi ứng dụng của zk-SNARK.
Các thành phần cốt lõi của Nova bao gồm:
Hệ thống R1CS: định nghĩa cấu trúc và phép toán của hệ thống ràng buộc
Tính toán đa thức: đã triển khai đa thức phương trình, đa thức đa tuyến tính, v.v.
Cam kết giải pháp: dùng để ẩn thông tin nhưng có thể xác minh tính chính xác của nó
Thuật toán Sumcheck: xác minh tính chính xác của phép cộng đa thức
Giải pháp gập không tương tác: được sử dụng để chứng minh tính chính xác của tính toán gia tăng
Nova còn triển khai một quy trình hoàn chỉnh để tạo và xác minh chứng minh, bao gồm ba giai đoạn: thiết lập, chứng minh và xác minh.
Tổng thể, Nova là một hệ thống zk-SNARK hiệu quả và linh hoạt, cung cấp nền tảng vững chắc cho việc xây dựng các ứng dụng zk-SNARK phức tạp. Nó mang lại khả năng mới cho các lĩnh vực như blockchain, xác thực, đồng thời bảo vệ quyền riêng tư.
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.
15 thích
Phần thưởng
15
7
Chia sẻ
Bình luận
0/400
StablecoinArbitrageur
· 07-20 00:35
*điều chỉnh kính đọc* hmm... R1CS tối ưu hóa với các ràng buộc lỏng? tín hiệu kiểm tra lùi của tôi cho thấy tiềm năng arb khổng lồ ở đây
Xem bản gốcTrả lời0
FlashLoanLarry
· 07-19 16:00
wen zkms token ser?
Trả lời0
LuckyHashValue
· 07-18 16:55
Một hệ thống khác được cho là hiệu quả? Hãy chờ xem kết quả.
Xem bản gốcTrả lời0
¯\_(ツ)_/¯
· 07-18 02:15
Ôi trời ơi, Microsoft cũng tham gia vào đây rồi.
Xem bản gốcTrả lời0
DegenApeSurfer
· 07-18 02:06
Ôi, cuối cùng cũng có Giant Hard xuống sân làm zk.
Nova: Hệ thống bằng chứng không kiến thức hiệu quả do Microsoft phát triển đạt được bước tiến đột phá
Nova: Hệ thống zk-SNARK hiệu quả
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. Nó sử dụng công nghệ (Relaxed R1CS) với các ràng buộc bậc một được nới lỏng, nâng cao đáng kể hiệu quả và tính linh hoạt của chứng minh. Các đặc điểm chính của Nova bao gồm:
Nova có vị trí quan trọng trong lĩnh vực zk-SNARK. Nó mở ra những khả năng mới cho các ứng dụng zk-SNARK quy mô lớn, mở rộng phạm vi ứng dụng của zk-SNARK.
Các thành phần cốt lõi của Nova bao gồm:
Nova còn triển khai một quy trình hoàn chỉnh để tạo và xác minh chứng minh, bao gồm ba giai đoạn: thiết lập, chứng minh và xác minh.
Tổng thể, Nova là một hệ thống zk-SNARK hiệu quả và linh hoạt, cung cấp nền tảng vững chắc cho việc xây dựng các ứng dụng zk-SNARK phức tạp. Nó mang lại khả năng mới cho các lĩnh vực như blockchain, xác thực, đồng thời bảo vệ quyền riêng tư.