How do modern zero-knowledge proofs, and PLONK specifically, work? (videos)

I initially thought this would be another usenet story.