Homomorphic static analysis

Enjoyed reading through!

Noticed a minor typo: the latter does not admit any kind of static analysis, while the latter does.

It would be nice to have a clearer link to your previous post; I think it’s a good idea to obviously link together these posts (and Chris’s) since they all work together to give a clearer picture.