- The physical demonstrations at 1:16 and 3:48 were helpful

- thinking of proofs as between a prover and a verifier, not as classical deterministic proofs

- insight into the name "zero-knowledge", as in "you can already predict the answer, so you're not gaining any knowledge from that interaction"