Prof. Avi Wigderson discussing the highlights along the journey that started with the invention of Interactive Proofs.
Recursion in proof systems, as applied to recursive STARKs.