We made a video on zero-knowledge proofs, which may seem simple but are actually quite complex. The video covers various applications and struggles with going in-depth. The content didn’t include topics on reducing satisfiability to coloring or exploring voting and transactions without trusted authorities. A significant aspect is the concept of noninteractive proofs, where randomness plays a crucial role. The publication highlights a theorem by Goldreich, Micali, and Wigderson that shows tasks can be achieved without trusted authorities. Surprisingly, zero-knowledge proofs are integral to this process, even in implementing blockchain technology. Overall, the discussions point towards a future where tasks can be accomplished without reliance on trusted entities.
https://vasekrozhon.wordpress.com/2025/03/17/zero-knowledge-proofs/