Yup, that's pretty much exactly it.

.hex() is a good idea, and probably has a decent chance of beating gzip, assuming .translate() is fast enough.

The fastest approach for the bitsliced AES impl ended up being pretty cursed: https://github.com/DavidBuchanan314/python-bitsliced-aes/blo...