Мы объявили, что углубимся в системы доказательства, и это всего лишь первый шаг. Сказать "мы используем ZK" ничего не значит, если кто-то не может независимо восстановить ключи проверки и подтвердить, какая программа на самом деле доказывается.