Reflections on Trusting Trust (1984) [pdf] (cs.cmu.edu)

One way to reestablish trust would be if one could guarantee that a toolchain were fully homomorphic. Optimization would then be lost, but presumably this would only have to occur at a single stage in a bootstrap to avoid the attack.