Academic Introduction to ZKPs and SNARKs?


#1

I have a modest background in modern cryptography and a master's degree in mathematics, but no experience with ZKPs. I'm eager to dive into this stuff head first and would very much appreciate a recommendation of any books and/or online resources that you consider worthwhile.

To be clear, I am not looking for 'Intro to Cryptography' books. I am already comfortable analyzing modern crypto protocols, writing reduction proofs, and reading rigorous mathematics.

I'm specifically looking for material that will introduce me to ZKPs and SNARKs.

I appreciate any good leads.


#2

Have you read this https://bitcoincore.org/en/2016/02/26/zero-knowledge-contingent-payments-announcement/


#3

https://tahoe-lafs.org/trac/tahoe-lafs/wiki/SNARKs


#4

That's a great of list resources, thank you.

I've started my journey all the way back at first-principals:

https://people.csail.mit.edu/silvio/Selected%20Scientific%20Papers/Proof%20Systems/The_Knowledge_Complexity_Of_Interactive_Proof_Systems.pdf

This is some very interesting stuff.


#5

what about this http://www.metzdowd.com/pipermail/cryptography/2016-March/028634.html