Les Scientifiques Quantiques Ont Construit une Nouvelle Mathématique de la Cryptographie

Quantum Scientists Have Built a New Math of Cryptography

Les Scientifiques Quantiques Ont Construit une Nouvelle Mathématique de la Cryptographie

Les problèmes complexes ne sont généralement pas les bienvenus. Mais les cryptographes les adorent. En effet, certaines équations mathématiques difficiles sous-tendent la sécurité du chiffrement moderne. Toute astuce ingénieuse pour les résoudre pourrait anéantir la plupart des formes de cryptographie. Il y a quelques années, des chercheurs ont découvert une approche radicalement nouvelle du chiffrement, éliminant cette faille potentielle. Cette méthode exploite les particularités de la physique quantique. Contrairement aux anciens schémas de chiffrement quantique, limités à quelques tâches spécifiques, cette nouvelle approche couvre un éventail bien plus large d’applications. Elle pourrait même fonctionner si tous les problèmes au cœur de la cryptographie « classique » s’avéraient facilement solubles.

Cependant, cette découverte reposait sur des hypothèses irréalistes. « C’était plutôt une preuve de concept », explique Fermi Ma, chercheur en cryptographie à l’Institut Simons pour la Théorie du Calcul à Berkeley, en Californie. « Cela ne reflète pas la réalité. » Aujourd’hui, un nouvel article rédigé par deux cryptographes ouvre la voie à une cryptographie quantique sans ces hypothèses farfelues. « Cet article démontre que si certaines autres conjectures sont vraies, alors la cryptographie quantique doit exister », affirme Ma.

Imaginez la cryptographie moderne comme une tour composée de trois éléments essentiels. Le premier est la fondation profonde, constituée de problèmes mathématiques ardus. La tour elle-même représente le deuxième élément, abritant des protocoles cryptographiques spécifiques permettant d’envoyer des messages privés, de signer des documents numériques, ou encore de voter secrètement. Entre les deux se trouve une base faite de blocs appelés fonctions à sens unique, assurant l’asymétrie inhérente à tout schéma de chiffrement. « C’est à sens unique parce que vous pouvez chiffrer des messages, mais pas les déchiffrer », explique Mark Zhandry, cryptographe chez NTT Research.

Dans les années 1980, des chercheurs ont prouvé que la cryptographie reposant sur des fonctions à sens unique garantirait la sécurité pour de nombreuses tâches. Mais des décennies plus tard, ils ne sont toujours pas certains que cette fondation soit assez solide. Le problème vient du fait que cette base repose sur des problèmes NP, dont la particularité est qu’il est facile de vérifier si une solution proposée est correcte. Bien que ces problèmes semblent intrinsèquement difficiles, les informaticiens n’ont pas pu le prouver. Si quelqu’un découvrait un algorithme ingénieux pour résoudre rapidement les problèmes NP les plus complexes, toute la tour s’effondrerait.

Malheureusement, il est impossible de déplacer cette tour ailleurs. La fondation – les fonctions à sens unique – ne peut reposer que sur des problèmes NP. Pour construire une tour sur des problèmes plus ardus, les cryptographes auraient besoin d’une nouvelle fondation. Cela semblait impossible jusqu’à il y a quelques années, lorsque des chercheurs ont réalisé que la physique quantique pouvait aider. Tout a commencé avec un article publié en 2021 par un étudiant nommé William Kretschmer, qui a attiré l’attention sur un problème étrange concernant les propriétés des systèmes quantiques. Les chercheurs ont rapidement montré que ce problème pouvait remplacer les fonctions à sens unique comme fondation d’une nouvelle tour de protocoles cryptographiques.

L’année suivante, Kretschmer et d’autres ont prouvé que cette approche alternative pouvait fonctionner même sans problèmes NP difficiles. Soudain, il semblait possible de construire une forteresse cryptographique bien plus robuste. Mais où la bâtir ? Le problème quantique utilisé par Kretschmer impliquait des dispositifs hypothétiques appelés oracles, capables de répondre instantanément à des questions spécifiques. Les oracles sont utiles en théorie, mais n’existent pas en réalité. Les preuves de Kretschmer ressemblaient à un plan pour construire un château dans les airs. Comment le ramener sur terre ?

À l’automne 2022, cette question a attiré l’attention de Dakshita Khurana, cryptographe à l’Université de l’Illinois à Urbana-Champaign et chez NTT Research. Khurana et son étudiant Kabir Tomer se sont lancés dans la construction d’une nouvelle tour cryptographique. Leur première étape a été de créer une nouvelle fondation utilisant des blocs quantiques au lieu de fonctions classiques à sens unique. Ils ont ensuite dû prouver que cette fondation pouvait soutenir une tour d’autres protocoles cryptographiques. Une fois cela établi, il leur restait à trouver un socle solide – des problèmes du monde réel encore plus difficiles que les problèmes NP utilisés en cryptographie classique.

Các Nhà Khoa Học Lượng Tử Xây Dựng Nền Tảng Toán Học Mới Cho Mật Mã

Những bài toán khó thường không được chào đón. Nhưng các nhà mật mã học lại yêu thích chúng. Bởi lẽ, một số vấn đề toán học phức tạp chính là nền tảng cho sự an toàn của mã hóa hiện đại. Bất kỳ phương pháp tinh vi nào để giải quyết chúng đều có thể đe dọa phần lớn các hình thức mật mã. Vài năm trước, các nhà nghiên cứu đã tìm ra một cách tiếp cận hoàn toàn mới, loại bỏ điểm yếu tiềm tàng này. Phương pháp này khai thác các đặc tính kỳ lạ của vật lý lượng tử. Khác với các hệ thống mã hóa lượng tử trước đây chỉ áp dụng cho một số nhiệm vụ đặc biệt, cách tiếp cận mới này có thể thực hiện được nhiều ứng dụng đa dạng hơn. Thậm chí, nó vẫn hoạt động ngay cả khi tất cả các vấn đề cốt lõi của mật mã "cổ điển" trở nên dễ giải quyết.

Tuy nhiên, phát hiện đột phá này dựa trên những giả định không thực tế. "Đó giống như một bằng chứng khái niệm hơn," Fermi Ma, nhà nghiên cứu mật mã tại Viện Lý thuyết Tính toán Simons ở Berkeley, California, cho biết. "Nó không phản ánh thực tế." Giờ đây, một bài báo mới của hai nhà mật mã học đã vạch ra con đường để xây dựng mật mã lượng tử mà không cần những giả định phi thực tế đó. "Bài báo này khẳng định rằng nếu một số giả thuyết khác là đúng, thì mật mã lượng tử chắc chắn tồn tại," Ma nói.

Hãy hình dung mật mã hiện đại như một tòa tháp với ba phần cốt lõi. Phần đầu tiên là nền móng sâu bên dưới, được tạo thành từ các bài toán khó. Bản thân tòa tháp là phần thứ hai – nơi chứa các giao thức mật mã cụ thể, cho phép gửi tin nhắn riêng tư, ký tài liệu số, bỏ phiếu kín và hơn thế nữa. Ở giữa, kết nối các ứng dụng hàng ngày với nền tảng toán học, là một lớp nền được xây dựng từ các khối gọi là hàm một chiều. Chúng tạo ra sự bất đối xứng vốn có trong mọi hệ thống mã hóa. "Nó là một chiều vì bạn có thể mã hóa thông điệp, nhưng không thể giải mã chúng," Mark Zhandry, nhà mật mã học tại NTT Research, giải thích.

Vào những năm 1980, các nhà nghiên cứu đã chứng minh rằng mật mã dựa trên hàm một chiều sẽ đảm bảo an toàn cho nhiều nhiệm vụ khác nhau. Nhưng hàng thập kỷ sau, họ vẫn không chắc chắn liệu nền móng này có đủ vững chắc hay không. Vấn đề nằm ở chỗ nền tảng này được xây dựng từ các bài toán NP, có đặc điểm là dễ dàng kiểm tra tính đúng đắn của một giải pháp đề xuất. (Ví dụ, phân tích một số thành các thừa số nguyên tố là một bài toán NP: khó thực hiện với số lớn, nhưng dễ kiểm tra.) Dù những bài toán này có vẻ rất khó, các nhà khoa học máy tính vẫn chưa thể chứng minh điều đó. Nếu ai đó tìm ra một thuật toán tinh vi để giải nhanh các bài toán NP khó nhất, nền móng sẽ sụp đổ, kéo theo cả tòa tháp.

Đáng tiếc, bạn không thể đơn giản di chuyển tòa tháp đi nơi khác. Nền tảng của nó – các hàm một chiều – chỉ có thể đặt trên nền móng là các bài toán NP. Để xây dựng một tòa tháp trên các bài toán khó hơn, các nhà mật mã học cần một nền tảng mới không phải là hàm một chiều. Điều này dường như bất khả thi cho đến vài năm trước, khi các nhà nghiên cứu nhận ra rằng vật lý lượng tử có thể giúp ích. Mọi chuyện bắt đầu từ một bài báo năm 2021 của nghiên cứu sinh William Kretschmer, thu hút sự chú ý đến một vấn đề kỳ lạ về tính chất của hệ thống lượng tử. Các nhà nghiên cứu nhanh chóng chỉ ra rằng vấn đề này có thể thay thế hàm một chiều làm nền tảng cho một tòa tháp mới của các giao thức mật mã.

Năm sau đó, Kretschmer và các cộng sự đã chứng minh rằng cách tiếp cận này vẫn hoạt động ngay cả khi không có các bài toán NP khó. Đột nhiên, có vẻ như việc xây dựng một pháo đài mật mã kiên cố hơn là khả thi. Nhưng xây dựng ở đâu? Bài toán lượng tử mà Kretschmer sử dụng liên quan đến các thiết bị tính toán giả định gọi là oracle, có thể trả lời ngay lập tức các câu hỏi cụ thể. Oracle là công cụ lý thuyết hữu ích, nhưng chúng không tồn tại trong thực tế. Các chứng minh của Kretschmer giống như bản vẽ xây dựng một lâu đài trên mây. Làm thế nào để biến nó thành hiện thực?

Vào mùa thu năm 2022, câu hỏi này đã thu hút sự chú ý của Dakshita Khurana, nhà mật mã học tại Đại học Illinois ở Urbana-Champaign và NTT Research. Khurana cùng nghiên cứu sinh Kabir Tomer bắt tay vào xây dựng một tòa tháp mật mã mới. Bước đầu tiên của họ là tạo ra một nền tảng mới sử dụng các khối lượng tử thay vì hàm một chiều cổ điển. Sau đó, họ cần chứng minh rằng nền tảng này có thể hỗ trợ một tòa tháp gồm các giao thức mật mã khác. Khi đã chứng minh được điều đó, họ phải tìm một vị trí vững chắc để đặt toàn bộ công trình – một nền móng gồm các bài toán thực tế còn khó hơn cả bài toán NP trong mật mã cổ điển.