Постквантовая криптография. Что такое алгоритм Гровера? Математическое обоснование и угрозы для классических алгоритмов