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:

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_proof 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) https://en.wikipedia.org/wiki/Snark_(graph_theory) 3. SRI's New Automated Reasoning Kit https://en.wikipedia.org/wiki/SNARK_(theorem_prover) https://en.wikipedia.org/wiki/SNARK_(theorem_prover) 4. 90° stable glider reflector http://conwaylife.com/wiki/Snark http://conwaylife.com/wiki/Snark