0xPARC maintains a list of learning resources here:
They come with the following caveat:
ZK stuff is still quite immature/low-level right now, so a solid grasp on ~intro number theory is a prereq for making meaningful progress on many/most potential zk projects
Via @matheus23
I’m interested to hear what people have to say about this! I haven’t had the chance to try it out myself, but I’ve heard people liked using circom: GitHub - iden3/circom: zkSnark circuit compiler
Video
An Evolution of Models for Zero-Knowledge Proofs with Sarah Meiklejohn
Papers
some of these may be useful to split out into their own pages