$\newcommand{\F}{\mathbb{F}}$ $\newcommand{\mle}[1]{\widetilde{#1}}$ $\newcommand{\inn}{\text{in}}$ $\newcommand{\add}{\text{add}}$ $\newcommand{\mult}{\text{mult}}$ $\newcommand{\poly}{\text{poly}}$ We follow Justin Thaler's book Proofs, Arguments, and Zero-Knowledge. Overview