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