Theoretical foundations: complexity-theory Foundations of Probabilistic proofs: Chiessa’s course proofs-args-and-zk SNARGS from hash: Chiessa book