Điểm:1

Các mô hình và giả định trong thế giới hậu lượng tử

lá cờ tl

Tôi hiện đang cố gắng tìm hiểu tổng quan về mật mã hậu lượng tử. Bây giờ tôi đang vật lộn với các mối tương quan và điều chỉnh của thế giới PQ và thế giới mật mã hiện đại.

Những câu hỏi của tôi:

  1. Bạn có thể cung cấp cho tôi một cái nhìn tổng quan ngắn gọn về các giả định quan trọng mới trong thế giới PQ (ví dụ: một cái gì đó tương tự như giả định logarit hóa hoặc logarit rời rạc) không?

  2. Bạn có thể cung cấp cho tôi tổng quan về các mô hình/điều chỉnh mới đối với các mô hình hiện tại (ví dụ: tiên tri ngẫu nhiên so với tiên tri ngẫu nhiên lượng tử) không?

Một lời giải thích ngắn cũng sẽ tốt đẹp. Nhưng đối với tôi, điều quan trọng là phải có cái nhìn tổng quan, để tôi không quên bất cứ điều gì có liên quan. Cảm ơn bạn trước!

Điểm:3
lá cờ in

Bạn có thể cung cấp cho tôi một cái nhìn tổng quan ngắn gọn về các giả định quan trọng mới trong thế giới PQ (ví dụ: một cái gì đó tương tự như giả định logarit hóa hoặc logarit rời rạc) không?

Bài toán phân tích thừa số và logarit rời rạc là các "bài toán" toán học được sử dụng để tạo cơ sở bảo mật cho các thuật toán RSA và DH. Bạn có thể nghĩ rằng các thuật toán dựa trên những vấn đề này là "họ" của các thuật toán. Trong trường hợp đó, DH và ECDH sẽ là một phần của cùng một họ vì chúng sử dụng cùng một bài toán, mặc dù chúng sử dụng các miền riêng biệt để đạt được mục tiêu của mình.

Các họ tương tự được biết đến với Mã hóa lượng tử sau:

  • Dựa trên lưới (ví dụ: CRYSTALS-Kyber và CRYSTALS-Dilithium);
  • Dựa trên mã (ví dụ: Classic-McEliece);
  • Dựa trên Isogeny (ví dụ: SIKE);
  • Dựa trên nhiều biến thể (ví dụ: Cầu vồng);
  • Dựa trên hàm băm (ví dụ: SPHINCS+);

Bạn có thể cung cấp cho tôi tổng quan về các mô hình/điều chỉnh mới đối với các mô hình hiện tại (ví dụ: tiên tri ngẫu nhiên so với tiên tri ngẫu nhiên lượng tử) không?

Mô hình Oracle ngẫu nhiên (ROM) không thể phản ánh khả năng thực hiện phân tích lượng tử. Do đó, một mô hình mới gọi là Phương pháp Oracle ngẫu nhiên có thể truy cập lượng tử có thể được sử dụng để thay thế. Điều này bao phủ ROM với các khả năng mới được cung cấp bởi điện toán lượng tử và các thuật toán có thể được chứng minh bằng QROM mà ROM không thể bao phủ.

Lưu ý rằng không có mô hình nào cung cấp bằng chứng trong mô hình tiêu chuẩn, tức là các thuật toán được chứng minh là an toàn chỉ an toàn trong mô hình cụ thể đó. Điều đó được mong đợi; RSA và ECDSA cũng không thể được chứng minh là an toàn trong mô hình tiêu chuẩn, vì chúng ta không thể chứng minh rằng việc phân tích thừa số hoặc giải bài toán logarit rời rạc thực sự khó.


Bạn có thể tìm thêm thông tin trong bài báo "Những lời tiên đoán ngẫu nhiên trong một thế giới lượng tử" bởi ENISA danh sách tác giả nào bao gồm, ví dụ: Tanja Lange. Bài báo ENISA tham khảo bài báo "Những lời tiên đoán ngẫu nhiên trong một thế giới lượng tử" của tác giả chính Dan Boneh. Tanja đã đăng một loạt video về họ PQC trên YouTube nếu bạn muốn tìm hiểu sâu hơn về toán học đằng sau các họ khác nhau.

Titanlord avatar
lá cờ tl
Vì vậy, không có mô hình hoặc điều chỉnh "mới" nào khác đối với các khái niệm hiện đại, ngoại trừ ROM/QROM?
Maarten Bodewes avatar
lá cờ in
Chà, tôi sẽ xem xét chuyển đổi FO, chuyển đổi FS, OTS (Chữ ký một lần) và FTS, nhưng chúng không phải là nhiều mô hình mà là các cấu trúc được sử dụng để có được bảo mật. Toàn bộ chương 3 của bài báo ENISA là về chủ đề ở đây: KHÁI NIỆM BẢO MẬT VÀ BIẾN CHUYỂN TỔNG QUÁT.

Đăng câu trả lời

Hầu hết mọi người không hiểu rằng việc đặt nhiều câu hỏi sẽ mở ra cơ hội học hỏi và cải thiện mối quan hệ giữa các cá nhân. Ví dụ, trong các nghiên cứu của Alison, mặc dù mọi người có thể nhớ chính xác có bao nhiêu câu hỏi đã được đặt ra trong các cuộc trò chuyện của họ, nhưng họ không trực giác nhận ra mối liên hệ giữa câu hỏi và sự yêu thích. Qua bốn nghiên cứu, trong đó những người tham gia tự tham gia vào các cuộc trò chuyện hoặc đọc bản ghi lại các cuộc trò chuyện của người khác, mọi người có xu hướng không nhận ra rằng việc đặt câu hỏi sẽ ảnh hưởng—hoặc đã ảnh hưởng—mức độ thân thiện giữa những người đối thoại.