Ngày 15 tháng 10 năm 2026, nhóm Microsoft Research công bố dự án Magnetar, một giải pháp tính toán đa năng dựa trên công nghệ bằng chứng không tiết lộ tri thức (zero-knowledge proofs - ZKP). Công nghệ này cho phép xác thực tính chính xác của các kết quả xử lý dữ liệu phức tạp mà không cần chạy lại toàn bộ khối lượng công việc, đồng thời giữ kín hoàn toàn dữ liệu nhạy cảm của người dùng.
Theo Microsoft Research, rào cản lớn nhất của zero-knowledge proofs từ trước đến nay là độ phức tạp khi triển khai và chi phí tính toán cao. Magnetar được thiết kế để đưa ZKP tiếp cận rộng rãi hơn vào các luồng tính toán phổ thông nhờ khả năng tương thích trực tiếp với các ngôn ngữ lập trình tiêu chuẩn, thay vì buộc lập trình viên phải xây dựng lại thuật toán trên các hệ thống chuyên biệt hay mạch logic tùy biến phức tạp.
Bên cạnh việc đơn giản hóa quá trình phát triển phần mềm, Microsoft Research tuyên bố Magnetar đạt được mức cải thiện tốc độ đáng kể trong quá trình sinh và kiểm tra bằng chứng mã hóa. Đáng chú ý, hệ thống này còn được tích hợp các cơ chế bảo mật có khả năng kháng điện toán lượng tử (quantum-resistant security), giúp bảo vệ kết quả tính toán trước các mối đe dọa giải mã bằng máy tính lượng tử trong tương lai.
Tuy nhiên, Microsoft Research hiện chưa công bố chi tiết về các thông số benchmark hiệu năng cụ thể, loại ngôn ngữ lập trình tiêu chuẩn nào được hỗ trợ đầu tiên, cũng như lộ trình phát hành mã nguồn mở hoặc thương mại hóa giải pháp Magnetar ra môi trường thực tế.