Я опубликовал пост о лаконичных доказательствах, нарушающих теорию информации, и получил значительное сопротивление от криптографов. После дополнительных размышлений я понял, что запутался. Никакой передачи информации не происходит. Доказатель помогает проверяющему с вычислениями, а не с передачей информации. Проверяющий теоретически мог бы проверить все возможности, но у него нет вычислительной мощности. Это проблема вычислений, а не проблема теории информации. Спасибо, что призвали меня к ответу, ребята!