Skip to content

Instantly share code, notes, and snippets.

@feidens

feidens/README.md

Last active February 1, 2018 11:52
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save feidens/cb5804bbbae32c8effe6f4d9ec332d2d to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save feidens/cb5804bbbae32c8effe6f4d9ec332d2d to your computer and use it in GitHub Desktop.
Download ZIP

Revisions

  1. feidens revised this gist Feb 1, 2018. 1 changed file with 1 addition and 0 deletions.
    1 change: 1 addition & 0 deletions README.md
    View file
    Original file line number Diff line number Diff line change
    @@ -1,3 +1,4 @@
    # 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)
  2. feidens revised this gist Feb 1, 2018. 1 changed file with 3 additions and 1 deletion.
    4 changes: 3 additions & 1 deletion README.md
    View file
    Original file line number Diff line number Diff line change
    @@ -10,9 +10,11 @@
    ## 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)
    ## Lecture Slides
    ## 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)
  3. feidens revised this gist Feb 1, 2018. 1 changed file with 2 additions and 0 deletions.
    2 changes: 2 additions & 0 deletions README.md
    View file
    Original file line number Diff line number Diff line change
    @@ -14,3 +14,5 @@
    * [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)
    ## Lecture 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)
  4. feidens revised this gist Feb 1, 2018. 1 changed file with 1 addition and 1 deletion.
    2 changes: 1 addition & 1 deletion README.md
    View file
    Original file line number Diff line number Diff line change
    @@ -4,7 +4,7 @@
    * [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 Hearn: vnTinyRAM (Continues Medium Buterin 1)](https://blog.plan99.net/vntinyram-7b9d5b299097)
    * [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
  5. feidens revised this gist Feb 1, 2018. 1 changed file with 3 additions and 3 deletions.
    6 changes: 3 additions & 3 deletions README.md
    View file
    Original file line number Diff line number Diff line change
    @@ -1,8 +1,8 @@
    ## Tutorials
    ### Based on Arithmetic Circuits
    * [Medium.com 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 Buterin 2: Next step with SNARK: Exploring Elliptic Curve Pairings](https://medium.com/@VitalikButerin/exploring-elliptic-curve-pairings-c73c1864e627)
    * [Medium.com Buterin 3: Zk-SNARKs: Under the Hood](https://medium.com/@VitalikButerin/zk-snarks-under-the-hood-b33151a013f6)
    * [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 Hearn: vnTinyRAM (Continues Medium Buterin 1)](https://blog.plan99.net/vntinyram-7b9d5b299097)
    ### ZCash
  6. feidens revised this gist Feb 1, 2018. 1 changed file with 4 additions and 4 deletions.
    8 changes: 4 additions & 4 deletions README.md
    View file
    Original file line number Diff line number Diff line change
    @@ -1,10 +1,10 @@
    ## Tutorials
    ### Based on Arithmetic Circuits
    * [Medium 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 Buterin 2: Next step with SNARK: Exploring Elliptic Curve Pairings](https://medium.com/@VitalikButerin/exploring-elliptic-curve-pairings-c73c1864e627)
    * [Medium Buterin 3: Zk-SNARKs: Under the Hood](https://medium.com/@VitalikButerin/zk-snarks-under-the-hood-b33151a013f6)
    * [Medium.com 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 Buterin 2: Next step with SNARK: Exploring Elliptic Curve Pairings](https://medium.com/@VitalikButerin/exploring-elliptic-curve-pairings-c73c1864e627)
    * [Medium.com Buterin 3: Zk-SNARKs: Under the Hood](https://medium.com/@VitalikButerin/zk-snarks-under-the-hood-b33151a013f6)
    ### Based on RAM
    * [Medium Hearn: vnTinyRAM (Continues Medium Buterin 1)](https://blog.plan99.net/vntinyram-7b9d5b299097)
    * [Medium.com 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
  7. feidens revised this gist Feb 1, 2018. 1 changed file with 3 additions and 3 deletions.
    6 changes: 3 additions & 3 deletions README.md
    View file
    Original file line number Diff line number Diff line change
    @@ -9,8 +9,8 @@
    * [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 Paper](https://eprint.iacr.org/2017/540.pdf)
    ## Library
    * [libsnark github:](https://github.com/scipr-lab/libsnark)
    * [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)
    * [libsnark tutorial](https://github.com/howardwu/libsnark-tutorial)
  8. feidens revised this gist Feb 1, 2018. No changes.
  9. feidens revised this gist Feb 1, 2018. 1 changed file with 1 addition and 2 deletions.
    3 changes: 1 addition & 2 deletions README.md
    View file
    Original file line number Diff line number Diff line change
    @@ -4,8 +4,7 @@
    * [Medium Buterin 2: Next step with SNARK: Exploring Elliptic Curve Pairings](https://medium.com/@VitalikButerin/exploring-elliptic-curve-pairings-c73c1864e627)
    * [Medium Buterin 3: Zk-SNARKs: Under the Hood](https://medium.com/@VitalikButerin/zk-snarks-under-the-hood-b33151a013f6)
    ### Based on RAM
    * [Medium Hearn](https://blog.plan99.net/vntinyram-7b9d5b299097)
    * [DynamoDB](#dynamodb)
    * [Medium 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
  10. feidens revised this gist Feb 1, 2018. 1 changed file with 0 additions and 1 deletion.
    1 change: 0 additions & 1 deletion Test.md
    View file
    Original file line number Diff line number Diff line change
    @@ -1 +0,0 @@
    -
  11. feidens revised this gist Feb 1, 2018. 1 changed file with 1 addition and 0 deletions.
    1 change: 1 addition & 0 deletions Test.md
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1 @@
    -
  12. feidens created this gist Feb 1, 2018.
    17 changes: 17 additions & 0 deletions README.md
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,17 @@
    ## Tutorials
    ### Based on Arithmetic Circuits
    * [Medium 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 Buterin 2: Next step with SNARK: Exploring Elliptic Curve Pairings](https://medium.com/@VitalikButerin/exploring-elliptic-curve-pairings-c73c1864e627)
    * [Medium Buterin 3: Zk-SNARKs: Under the Hood](https://medium.com/@VitalikButerin/zk-snarks-under-the-hood-b33151a013f6)
    ### Based on RAM
    * [Medium Hearn](https://blog.plan99.net/vntinyram-7b9d5b299097)
    * [DynamoDB](#dynamodb)
    ### 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)
    ## 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)