cronokirby

(2026-04) Cryptanalysis of Hecke-KE; A Linear-Algebra Attack via Hecke Eigenbasis Decomposition

2026-04-19

Abstract

We give a passive attack on the Hecke-KE key-exchange scheme. The scheme proposes using products of Hecke operators on Sk(Γ0(N))S_k(\Gamma_0(N)) as a one-way function. We show that the Hecke algebra acting on any fixed Sk(Γ0(N))S_k(\Gamma_0(N)) is simultaneously diagonalizable over an explicit number field computable from the public parameters alone, and that this diagonalization reduces shared-key recovery to dd scalar divisions over that number field, where d=\dimSk(Γ0(N))d=\dim S_k(\Gamma_0(N)). Our main theorem shows that enlarging dd does not rescue the scheme. The precomputation is a one-time public computation (eigenbasis of Sk(Γ0(N))S_k(\Gamma_0(N)), costing O~(Bd3)\widetilde{O}(B\cdot d^3) rational operations, where B=O(N)B=O(N) is the Sturm bound); the per-session attack cost is then O(d2)O(d^2) field operations, entirely independent of the pool size rr and the number of Hecke factors ss. We verify the attack in SageMath 10.7 against all parameter sets from the paper; in every case the recovered key satisfies K=KK'=K. Furthermore, we prove that the attack runs in time polynomial in d=\dimSk(Γ0(N))d=\dim S_k(\Gamma_0(N)) for every level NN (prime or composite) and every weight kk, while the honest protocol's public-key size is Ω(d)\Omega(d) rationals. Consequently there is no choice of (N,k)(N,k) for which Hecke-KE is secure and implementable: the scheme is unfixable within its design framework.