News for hackers. Stuff that matters.

A comment on The Hunting of the SNARK – Zero-Knowledge Proofs Introduction.

Re:The Hunting of the SNARK – Zero-Knowledge Proofs Introduc... by tantalor on Monday July 17, 2017 @02:31PM (#14791146)
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

[ Parent | on HN ]
Re:The Hunting of the SNARK – Zero-Knowledge Proofs Introduc... by kobigurk on Monday July 17, 2017 @03:54PM (#14791819)
Indeed! zkSNARK is a more exact term for one of the technologies we utilize, but we didn't want to miss a chance to reference https://en.wikipedia.org/wiki/The_Hunting_of_the_Snark.
[ Parent | on HN ]