Nghiên cứu Magnetar của Microsoft có thể giúp giảm chi phí tạo bằng chứng cho blockchain
-
Lý do để tin tưởng Cách chúng tôi làm tin Chính sách biên tập nghiêm ngặt, chú trọng tính chính xác, mức độ liên quan và tính khách quan Tuyên bố miễn trừ trách nhiệm quảng cáo Morbi pretium leo et nisl aliquam mollis. Quisque arcu lorem, ultricies quis pellentesque nec, ullamcorper eu odio.
Tóm tắt: Microsoft Research cho biết hệ thống Magnetar giúp tạo bằng chứng về quá trình thực thi các chương trình thông thường nhanh hơn, đồng thời dựa vào mật mã tiêu chuẩn sử dụng hàm băm. Các hệ thống không tiết lộ thông tin (zero-knowledge) hứa hẹn cho phép kiểm tra một phép tính mà không cần tin tưởng vào cỗ máy đã thực hiện phép tính đó.
Một lý do khiến các hệ thống này vẫn khó được triển khai là chi phí tạo ra những bằng chứng đó. Thông báo về Magnetar của Microsoft Research ngày 15 tháng 10 hướng đến việc giải quyết nút thắt này bằng một máy ảo được thiết kế để tạo bằng chứng cho các chương trình thông thường.
Các nhà nghiên cứu cho biết Magnetar hỗ trợ mã được biên dịch từ Rust, Go và C, đồng thời đạt tốc độ trung bình nhanh hơn từ 10 đến 39 lần so với một số hệ thống tạo bằng chứng tương đương trong các bài kiểm tra của họ.
-
© Newsbtc
-
Lý do để tin tưởng Cách chúng tôi làm tin Chính sách biên tập nghiêm ngặt, chú trọng tính chính xác, mức độ liên quan và tính khách quan Tuyên bố miễn trừ trách nhiệm quảng cáo Morbi pretium leo et nisl aliquam mollis. Quisque arcu lorem, ultricies quis pellentesque nec, ullamcorper eu odio.
Tóm tắt: Microsoft Research cho biết hệ thống Magnetar giúp tạo bằng chứng về quá trình thực thi các chương trình thông thường nhanh hơn, đồng thời dựa vào mật mã tiêu chuẩn sử dụng hàm băm. Các hệ thống không tiết lộ thông tin (zero-knowledge) hứa hẹn cho phép kiểm tra một phép tính mà không cần tin tưởng vào cỗ máy đã thực hiện phép tính đó.
Một lý do khiến các hệ thống này vẫn khó được triển khai là chi phí tạo ra những bằng chứng đó. Thông báo về Magnetar của Microsoft Research ngày 15 tháng 10 hướng đến việc giải quyết nút thắt này bằng một máy ảo được thiết kế để tạo bằng chứng cho các chương trình thông thường.
Các nhà nghiên cứu cho biết Magnetar hỗ trợ mã được biên dịch từ Rust, Go và C, đồng thời đạt tốc độ trung bình nhanh hơn từ 10 đến 39 lần so với một số hệ thống tạo bằng chứng tương đương trong các bài kiểm tra của họ.
-
© Newsbtc

