> 128-bit key, but this gets compressed to 56 bits before it encrypts traffic

A5/1 had a similar issue in which the weakness was deliberately added. I have some notes and references on it. Super interesting

https://github.com/alexander-hanel/asm-examples/tree/master/...