現在のセキュリティ基盤に使用されている暗号系は、量子計算機によってそのほとんどが破綻する危険がある。本研究は、量子計算のこの潜在的な能力が現実になる前に、破綻を回避するための理論基盤と対抗策を構築しようというものである。その対抗策とは、現在の暗号系の安全性の根拠となっている問題と別のより困難な問題を融合させて、量子計算機といえども困難な領域に問題を移動させることが基本となっている。本研究ではこれを「リフティング」と呼んでいる。本研究により、リフトされるべき問題の範囲とその計算量理論的性質、リフトに使われるより難しい問題との関係などが明らかにされた。
|