Support us on Patreon: I can convince you that I’ve solved a sudoku without giving you any information about my solution. We discuss how to do this using what cryptographers call a zero-knowledge proof, and how the same tricks can be used for almost any other problem you can think of. Blog post: Code for the animations: Richard Hladík: Script editor, video editor, animator. Site: Tomáš Sláma: Script editor, video editor, animator. Channel: @YTomS Václav Rozhoň: Writer, animator, the verifier. Blog: Václav Volhejn: Narrator, animator, script editor, the prover. Channel: @vvolhejn Thank you to our beta testers: Matěj, Honza, Filip. Thank you to Gabor Hollbeck for helping with the video equipment. Animations: Motion Canvas, a TypeScript library Color palette: Solarized Music: Astrisx, Cases to Rest, Thannoid, and ZigZag Heart by Blue Dot Sessions Mario Speedrun: 0:00 Intro 0:50 Interactive proofs 2:28 Graph coloring 3:22 A simple protocol 6:31 Building the full protocol 10:24 Commitment schemes 12:37 Reducing sudoku to coloring 14:28 General reduction 17:04 Discussion 19:09 Outro