I can prove I’ve solved this Sudoku without revealing it

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. Patreon:   / polylog   Website: https://polylog.cc Blog post: https://vasekrozhon.wordpress.com/202... Code for the animations: https://github.com/polylog-cs/zero-kn... Richard Hladík: Script editor, video editor, animator. Site: https://rihl.cz Tomáš Sláma: Script editor, video editor, animator. Channel:    / @ytoms   Václav Rozhoň: Writer, animator, the verifier. Blog: https://vaclavrozhon.github.io 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 https://motioncanvas.io/ Color palette: Solarized https://ethanschoonover.com/solarized/ Music: Astrisx, Cases to Rest, Thannoid, and ZigZag Heart by Blue Dot Sessions Mario Speedrun:    • [TAS] Super Mario Bros. "AISSON" in 4:41.27   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