Kibernetyka ta Systemnyi Analiz
BEYOND POST-QUANTUM CRYPTOGRAPHY: CRYPTOSYSTEMS SECURE IN CERTAIN MODELS OF COMPUTATION
V. K. Zadiraka, Антон Михайлович Кудін, I. A. Kudin, Інна Віталіївна Швідченко
Abstract
The problem of assessing the stability of cryptographic transformations in modern cryptography, which is usually implemented using an axiomatic or proof-based approach, is considered. Since the quantum computing model changes the complexity of certain computational problems (for example, integer factorization problems), cryptography studies classes of algorithms that will remain stable in the quantum computing model—the so-called “post-quantum cryptographic algorithms.” A generalization of this problem statement is the study of computational models containing cryptanalysis algorithms, the best of which has exponential complexity or complexity close to it. The generalization of the problem of the existence of cryptosystems that are secure in the post-quantum world, namely, cryptosystems that are secure in certain computational models, as well as the possibility of practical application of such models, is considered. The main result of the work is the creation of a universal computational model that generalizes a whole class of promising computational models, including quantum ones, and the construction of a cryptosystem that is stable within such a computational model. Keywords: post-quantum cryptography, relativized cryptography, computing models, genetic algorithms, reversible computing, blockchain.