Abstract:The Schnorr identification and signature schemes have been among the most influential cryptographic protocols of the past 3 decades. Unfortunately, although the best-known attacks on these two schemes are via discrete logarithm computation, the known approaches for basing their security on the hardness of the discrete logarithm problem encounter the "square-root barrier." In particular, in any group of order p where Shoup's generic hardness result for the discrete logarithm problem is believed to hold (and is thus used for setting concrete security parameters), the best-known t -time attacks on the Schnorr identification and signature schemes have success probability , whereas existing proofs of security only rule out attacks with success probabilities and , respectively, where denotes the number of random oracle queries issued by the attacker. We establish tighter security guarantees for identification and signature schemes which result from -protocols with special soundness based on the hardness of their underlying relation, and in particular for Schnorr's schemes based on the hardness of the discrete logarithm problem. We circumvent the square-root barrier by introducing a high-moment generalization of the classic forking lemma, relying on the assumption that the underlying relation is " d -moment hard": The success probability of any algorithm in the task of producing a witness for a random instance is dominated by the d th moment of the algorithm's running time. In the concrete context of the discrete logarithm problem, already Shoup's original proof shows that the discrete logarithm problem is 2-moment hard in the generic group model, and thus, our assumption can be viewed as a highly plausible strengthening of the discrete logarithm assumption in any group where no better-than-generic algorithms are currently known. Applying our high-moment forking lemma in this context shows that, assuming the 2-moment hardness of the discrete logarithm problem, any t -time attacker breaks the security of the Schnorr identification and signature schemes with probabilities at most and , respectively.

Koopman interpretation and analysis of a public-key cryptosystem: Diffie-Hellman key exchange

Decrypting Nonlinearity: Koopman Interpretation and Analysis of Cryptosystems

Lattice-based PKEs/KEMs

Koopman analysis of quantum systems

Modern Koopman Theory for Dynamical Systems

Koopman operator approach for computing structure of solutions and Observability of non-linear finite state system

Equivariance and partial observations in Koopman operator theory for partial differential equations

Group-Convolutional Extended Dynamic Mode Decomposition

Koopman principle eigenfunctions and linearization of diffeomorphisms

Koopman spectral analysis of skew-product dynamics on Hilbert $C^*$-modules

Koopman analysis of isolated fronts and solitons

Numerical methods to evaluate Koopman matrix from system equations

Constructive Non-Linear Polynomial Cryptanalysis of a Historical Block Cipher

Koopman Theory for Partial Differential Equations

A data driven Koopman-Schur decomposition for computational analysis of nonlinear dynamics

Tighter Security for Schnorr Identification and Signatures: A High-Moment Forking Lemma for -Protocols

Cryptanalysis of Novel Extended Multivariate Public Key Cryptosystem

Differential and Linear Cryptanalysis Using Mixed-Integer Linear Programming

Smooth Koopman eigenfunctions

Koopman Operator Methods for Global Phase Space Exploration of Equivariant Dynamical Systems

Limits and Powers of Koopman Learning