Eu postei sobre provas sucintas que violam a teoria da informação e recebi uma resistência significativa de criptógrafos. Após mais reflexões, percebi que confundi as coisas. Não há transmissão de informação ocorrendo. O provador ajuda o verificador com a computação, não com a transferência de informação. O verificador poderia teoricamente checar todas as possibilidades, mas carece de poder computacional. É um problema de computação, não um problema da teoria da informação. Obrigado por me responsabilizarem, pessoal!