This is a cross post of @cryptosimplify/zero-knowledge-proof-what-is-this by @phusionphil.How a ZKP works.