Oddly, YouTube recommended me a Numberphile video about this a couple of days ago - "Zero Knowledge Proof (Avi Wigderson)" from Feb 2021. Covers the same kind of ground although extended to "you can turn any proof into a 3 colour graph and use that in your zero knowledge proof" areas (in which I am completely bereft of knowledge.)

https://www.youtube.com/watch?v=5ovdoxnfFVc