Máy tính sử dụng chung dựa trên bằng chứng với Magnetar
Proof-based general-purpose computing with Magnetar
Đoạn trích bài viết
Các bằng chứng không có kiến thức có thể xác minh kết quả máy tính mà không cần chạy lại khối lượng công việc hoặc phơi bày dữ liệu nhạy cảm. Magnetar giúp đưa chúng vào dòng chính với hỗ trợ cho ngôn ngữ lập trình tiêu chuẩn, tăng tốc độ lớn và bảo mật kháng lượng tử.
Toàn văn bài viết
Mở bài viết gốc
Đọc bài viết đầy đủ trên microsoft
Mở bài gốc để xem trọn vẹn chi tiết và dẫn chứng.