For anyone interested in diving deep into zero knowledge proof systems, this recent book by Thaler appears to be *very* thorough and comprehensive:
https://people.cs.georgetown.edu/jthaler/ProofsArgsAndZK.pdf
Wish there was something as good as this last decade!
