MIT IAP 2023 Modern Zero Knowledge Cryptography Lecture 2: Circom 1 (Brain Gu) Review zkSNARKs Properies zk: hides inputsSuccinct: generates short proofs that can be verified quicklyNoninteractive