# SNARKS or succinct non-interactive arguments of knowledge
## Tutorials
### Based on Arithmetic Circuits
* [Medium.com Vitalik Buterin 1: Start with x^3+x+5=35 and end up with Quadratic Arithmetic Circuits (QAP)](https://medium.com/@VitalikButerin/quadratic-arithmetic-programs-from-zero-to-hero-f6d558cea649)
* [Medium.com Vitalik Buterin 2: Next step with SNARK: Exploring Elliptic Curve Pairings](https://medium.com/@VitalikButerin/exploring-elliptic-curve-pairings-c73c1864e627)
* [Medium.com Vitalik Buterin 3: Zk-SNARKs: Under the Hood](https://medium.com/@VitalikButerin/zk-snarks-under-the-hood-b33151a013f6)
### Based on RAM
* [Medium.com Mike Hearn: vnTinyRAM (Continues Medium Buterin 1)](https://blog.plan99.net/vntinyram-7b9d5b299097)
### ZCash
* [ZCash Blog part 1-7](https://z.cash/blog/snark-explain.html)
## Videos
* [GM17 Presentation: Snarky Signatures and Square Arithmetic Program Simulation Extractable SNARK (SE-SNAKR)](https://www.youtube.com/watch?v=vknpykYjFCs)
  * [GM17 Paper](https://eprint.iacr.org/2017/540.pdf)
  * [GM17 London Crypto Day 2017 slides](http://www.cs.ucl.ac.uk/staff/J.Groth/LondonCryptoDay2017.pptx)
## Library
* [libsnark github](https://github.com/scipr-lab/libsnark)
  * [libsnark pairing gadget including miller loop](https://github.com/scipr-lab/libsnark/tree/master/libsnark/gadgetlib1/gadgets/pairing)
* [libsnark tutorial](https://github.com/howardwu/libsnark-tutorial)
## Slides
* [Telaviv Universitäy: BIU Winter School on Verifiable Computation and Special Encryption](https://cyber.biu.ac.il/wp-content/uploads/2017/01/3-2.pdf)
* [GM17 London Crypto Day 2017 slides](http://www.cs.ucl.ac.uk/staff/J.Groth/LondonCryptoDay2017.pptx)