I have basically zero knowledge why the hyphen moves as well, but from having talked with someone a while back who was very excited about ZK-SNARKs, I think the

I have basically zero knowledge why the hyphen moves as well, but from having talked with someone a while back who was very excited about ZK-SNARKs, I think they're named to refer to the Lewis Carroll poem The Hunting of the Snark. (And as far as I know, https://en.m.wikipedia.org/wiki/Snark_(graph_theory) https://en.m.wikipedia.org/wiki/Snark_(graph_theory) is unrelated.)