Zero-knowledge proofs, encoding Sudoku and Mario speedruns without semantic leak March 18, 2025 by kamal Comments