Zero-knowledge proofs, encoding Sudoku and Mario speedruns without semantic leak

What P vs. NP is about