No-math explainer intuiting that Zero-Knowledge technology is not magic. Uses Sudokus.