Nghiên cứu Magnetar của Microsoft cải thiện hiệu quả chứng minh blockchain

Hệ thống Magnetar của Microsoft Research tăng tốc độ chứng minh việc thực thi chương trình bằng cách sử dụng mật mã dựa trên hàm băm tiêu chuẩn. Được công bố vào ngày 15 tháng 10, Magnetar giải quyết chi phí cao trong việc tạo ra các chứng minh không biết (zero-knowledge proofs), xác minh các phép toán mà không cần tin tưởng vào máy thực thi. Hệ thống hỗ trợ mã được biên dịch từ Rust, Go và C, đạt tốc độ nhanh hơn từ 10 đến 39 lần so với một số hệ thống chứng minh hiện có. Việc xác minh mất khoảng 12 mili giây dựa trên các thử nghiệm của Microsoft. Thiết kế của Magnetar, dựa trên các hàm băm tiêu chuẩn, nhằm giảm thiểu sự phụ thuộc vào mật mã có thể dễ bị tấn công lượng tử trong tương lai. Chi phí chứng minh thấp hơn có thể tạo điều kiện cho việc tính toán ngoài chuỗi có thể xác minh và logic ứng dụng phức tạp trong các môi trường blockchain. Tuy nhiên, kết quả kiểm tra không đảm bảo những cải tiến tương tự trong các rollup sản xuất hoặc tất cả các khối lượng công việc hợp đồng thông minh, vì việc tích hợp, điều kiện phần cứng và kích thước chứng minh là những yếu tố quan trọng. Thêm vào đó, công nghệ này có thể cho phép các tổ chức và tác nhân AI tạo ra bằng chứng có thể xác minh về sự tuân thủ phần mềm với các hướng dẫn đã chỉ định trong khi bảo vệ dữ liệu riêng tư. Nghiên cứu chỉ ra một tương lai tiềm năng nơi các chứng minh mật mã được liên kết với các nhiệm vụ tính toán thường xuyên hơn, phụ thuộc vào việc thực hiện thành công ngoài các thiết lập phòng thí nghiệm.