Covers MPC-in-the-head proofs, Fiat–Shamir signatures, Picnic-style designs, and their reliance on symmetric primitives. Learners trace a small proof transcript and compare conservative assumptions with signature size.
