SuperNova là một hệ thống chứng minh đệ quy mới để từng bước tạo ra các bằng chứng ngắn gọn về việc thực thi chính xác các chương trình trên một máy có trạng thái với một tập lệnh cụ thể.
Đây dường như là những tính năng tuyệt vời. Bài viết này sẽ chủ yếu giải thích cách các tính năng này được triển khai.
Nội dung
- gấp là gì?
- Biểu diễn tính toán với R1CS
- Nova: NIVC cho một lệnh
- SuperNova: NIVC cho nhiều hướng dẫn (ZKVM)
- Khác với đệ quy khác
Để biết chi tiết về bài viết này, hãy xem Đánh giá công nghệ Sin7y (34): Kế hoạch gấp của SuperNova có phải là Trò chơi kết thúc cho ZK không?
Nếu bạn có bất kỳ câu hỏi nào về Kế hoạch gấp của SuperNova, vui lòng liên hệ với chúng tôi tại < contact@sin7y.org >. Chào mừng bạn theo dõi Twitter chính thức của Ola, tham gia máy chủ Discord của chúng tôi và nhận các bản cập nhật mới nhất từ Ola!
Về
Báo cáo hàng tuần này nhằm mục đích cung cấp thông tin cập nhật về những phát triển và tin tức mới nhất liên quan đến Sin7y — Ola và mật mã không kiến thức , có tiềm năng cách mạng hóa cách chúng ta tiếp cận quyền riêng tư và bảo mật trong thời đại kỹ thuật số. Chúng tôi sẽ tiếp tục theo dõi và đưa tin về những diễn biến mới nhất trong lĩnh vực này. Vui lòng viết thư cho < contact@sin7y.org > nếu bạn muốn tham gia hoặc hợp tác với chúng tôi.
Giữ nguyên
Trang web | Whitepaper | GitHub 1 | Twitter | Bất hòa | LinkedIn | YouTube | HackMD | Trung bình | HackerBuổi trưa
