Cryptographers, however, have long understood that zero-knowledge proofs can’t safely be written down like a typical mathematical proof. Instead the prover needs to interact with the person they’re convincing. In rare cases, the prover can also persuade someone of something untrue (such as that a sudoku puzzle is completable when it has no solution).