https://people.cs.georgetown.edu/jthaler/ProofsArgsAndZK.pdf
一本关于 #zk 的教科书，294页