Microsoft Research giới thiệu Magnetar để xác minh chương trình bằng bằng chứng zero-knowledge
Microsoft Research đã giới thiệu Magnetar, một hệ thống bằng chứng zero-knowledge được thiết kế để xác minh các chương trình đa dụng đã chạy đúng mà không cần chạy lại hoặc tiết lộ dữ liệu đầu vào riêng tư. Hệ thống hỗ trợ các chương trình viết bằng Rust, Go và C; nhóm nghiên cứu cho biết Magnetar nhanh hơn trung bình từ 10 đến 39 lần so với các hệ thống tương đương nhanh nhất trước đây. Bằng chứng có thể được kiểm tra trong vài mili giây, giúp xác minh kết quả mà không cần tin tưởng người hoặc dịch vụ đã tạo ra kết quả đó. Magnetar giải quyết ba rào cản lâu nay của công nghệ này: chi phí tạo bằng chứng cao, yêu cầu viết lại chương trình thông thường thành các mạch mật mã chuyên dụng và lo ngại về độ an toàn trong dài hạn. Thiết kế của nó xác minh các chương trình đã biên dịch thông thường và chỉ dựa trên các hàm băm tiêu chuẩn, thay vì mật mã đường cong elliptic hoặc những giả định mật mã mới, chưa được kiểm chứng lâu năm. Về sau, công nghệ này có thể giúp các tác nhân AI chứng minh rằng hành động của chúng tuân thủ một chính sách, hoặc giúp các tổ chức tài chính xác minh giao dịch mà không công khai dữ liệu gốc.
Magnetar đáng chú ý với các nhà phát triển hệ thống bảo mật, tài chính và hạ tầng dữ liệu hơn là người dùng phổ thông: nó hướng tới việc chứng minh một chương trình đã chạy đúng mà không cần tiết lộ dữ liệu đầu vào. Công nghệ này vẫn chủ yếu ở giai đoạn nghiên cứu, nên các nhóm phát triển nên theo dõi thêm trước khi cân nhắc ứng dụng thực tế.
Đọc bài gốc