Я писав про лаконічні докази, що порушують теорію інформації, і отримав значний спротив від криптографів. Після довгих роздумів я зрозумів, що перетнув дроти. Передача інформації не відбувається. Виконавець допомагає верифікатору з обчисленнями, а не з передачею інформації. Верифікатор теоретично міг би перевірити всі можливості, але йому не вистачає обчислювальної потужності. Це задача обчислень, а не проблема теорії інформації. Дякую, що притягли мене до відповідальності, хлопці!