I was confused how this related to graph theory until I realized "snark" is overloaded in mathematics,

1. Succinct Non-interactive ARgument of Knowledge https://en.wikipedia.org/wiki/Non-interactive_zero-knowledge...

2. Simple, connected, bridgeless cubic graph with chromatic index equal to 4 https://en.wikipedia.org/wiki/Snark_(graph_theory)

3. SRI's New Automated Reasoning Kit https://en.wikipedia.org/wiki/SNARK_(theorem_prover)

4. 90° stable glider reflector http://conwaylife.com/wiki/Snark