from Hacker News

The Hunting of the SNARK – Zero-Knowledge Proofs Introduction

by kobigurk on 7/17/17, 2:13 PM with 8 comments

• by tantalor on 7/17/17, 6:31 PM

  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

• by bonzi_buddy on 7/17/17, 8:41 PM

  For those, like me, who needed a good primer on SNARKs, this reference they linked is great https://blog.cryptographyengineering.com/2014/11/27/zero-kno...

• by kushti on 7/17/17, 4:56 PM

  How can I compile my scheme? What are the tools available? (doc for libsnark is not very good I need to say)

• by kobigurk on 7/17/17, 2:34 PM

  As part of the QED-it team - I hope you enjoy and we'd love any feedback :)