Nova là một hệ thống chứng minh không biết mới được phát triển bởi Microsoft, sử dụng công nghệ Hệ thống Ràng buộc Cấp 1 Thư giãn (Relaxed Rank-1 Constraint Systems, Relaxed R1CS) để cải thiện hiệu suất và tính linh hoạt của chứng minh.
Lợi thế chính của Nova
Sử dụng công nghệ R1CS được thư giãn, cho phép sử dụng ít ngẫu nhiên hơn trong chứng minh, từ đó cải thiện đá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ẽ như hệ thống R1CS truyền thống, có thể sẽ làm giảm một chút tính bảo mật.
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, các phép toán nhóm và các kỹ thuật mật mã tiên tiến như máy tiên đoán ngẫu nhiên.
Nova trong lĩnh vực zk-SNARK có tầm quan trọng như thế nào
Mở ra một con đường mới cho sự phát triển của zk-SNARK.
Nâng cao hiệu suất tạo và xác minh chứng minh, điều này rất quan trọng cho các ứng dụng quy mô lớ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à R1CS mềm: Hệ thống ràng buộc được sử dụng để xây dựng zk-SNARK.
Công cụ đánh giá đa thức: được sử dụng để chứng minh giá trị đánh giá của đa thức tại một điểm nào đó.
Cam kết kế hoạch: Cho phép người chứng minh cam kết một giá trị mà không ngay lập tức tiết lộ nó.
Thuật toán Sumcheck: được sử dụng để xác minh tổng đa thức.
Hàm bước tính toán gia tăng: cho phép tính toán từng bước các hàm phức tạp.
Những đổi mới của Nova đã mang lại khả năng mới cho hệ thống zk-SNARK, hứa hẹn thúc đẩy ứng dụng công nghệ này trong nhiều lĩnh vực rộng lớn hơn.
Xem bản gốc
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
17 thích
Phần thưởng
17
7
Chia sẻ
Bình luận
0/400
GetRichLeek
· 12giờ trước
Ừm zk盘 lại gửi lì xì rồi, sắp mua đáy thôi!
Xem bản gốcTrả lời0
WhaleStalker
· 12giờ trước
Microsoft cũng đã lên zk rồi, có chút điều gì đó.
Xem bản gốcTrả lời0
MelonField
· 12giờ trước
Hiệu quả cao một chút thì tốt, an toàn thì nói sau~
Xem bản gốcTrả lời0
MetaEggplant
· 12giờ trước
An toàn hơn một chút? Dám công bố điều này sao?
Xem bản gốcTrả lời0
CascadingDipBuyer
· 13giờ trước
Có ý tưởng không đáng tin, nhưng chơi thì xong.
Xem bản gốcTrả lời0
gas_fee_therapist
· 13giờ trước
Lại một lần nữa hy sinh an toàn để đổi lấy hiệu quả?
Nova: Hệ thống mới nâng cao hiệu quả zk-SNARK
Nova: Một hệ thống zk-SNARK mới
Nova là một hệ thống chứng minh không biết mới được phát triển bởi Microsoft, sử dụng công nghệ Hệ thống Ràng buộc Cấp 1 Thư giãn (Relaxed Rank-1 Constraint Systems, Relaxed R1CS) để cải thiện hiệu suất và tính linh hoạt của chứng minh.
Lợi thế chính của Nova
Sử dụng công nghệ R1CS được thư giãn, cho phép sử dụng ít ngẫu nhiên hơn trong chứng minh, từ đó cải thiện đá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ẽ như hệ thống R1CS truyền thống, có thể sẽ làm giảm một chút tính bảo mật.
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, các phép toán nhóm và các kỹ thuật mật mã tiên tiến như máy tiên đoán ngẫu nhiên.
Nova trong lĩnh vực zk-SNARK có tầm quan trọng như thế nào
Mở ra một con đường mới cho sự phát triển của zk-SNARK.
Nâng cao hiệu suất tạo và xác minh chứng minh, điều này rất quan trọng cho các ứng dụng quy mô lớ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à R1CS mềm: Hệ thống ràng buộc được sử dụng để xây dựng zk-SNARK.
Công cụ đánh giá đa thức: được sử dụng để chứng minh giá trị đánh giá của đa thức tại một điểm nào đó.
Cam kết kế hoạch: Cho phép người chứng minh cam kết một giá trị mà không ngay lập tức tiết lộ nó.
Thuật toán Sumcheck: được sử dụng để xác minh tổng đa thức.
Hàm bước tính toán gia tăng: cho phép tính toán từng bước các hàm phức tạp.
Những đổi mới của Nova đã mang lại khả năng mới cho hệ thống zk-SNARK, hứa hẹn thúc đẩy ứng dụng công nghệ này trong nhiều lĩnh vực rộng lớn hơn.