С точки зрения теории информации, доказательства с нулевым разглашением не имеют смысла. Как 1,000 бит могут проверить терабайты данных? Математически невозможно, если учитывать только информационные ограничения. ZK работает, потому что предполагает, что атакующие ограничены в вычислительных ресурсах. Уберите это предположение, и вся система рухнет.