Postei sobre provas sucintas que violam a teoria da informação e recebi uma reação significativa dos criptógrafos. Depois de mais pensamentos, percebi que tinha meus fios cruzados. Não há transmissão de informações ocorrendo. O provador ajuda o verificador com computação, não com transferência de informações. O verificador poderia, teoricamente, verificar todas as possibilidades, mas não tem poder computacional. É um problema de computação, não um problema de teoria da informação. Obrigado por me responsabilizar, pessoal!