Validity proof и data availability отвечают на разные вопросы. Первое — корректно ли выполнен переход состояния по правилам системы; второе — можно ли получить данные, чтобы независимо восстановить состояние или проверить пользовательский выход. Наличие proof само по себе не отвечает на второй вопрос.
Разложи утверждения по слоям
Ethereum.org описывает ZK-rollup так: оператор обрабатывает транзакции вне Ethereum, публикует краткое описание изменений и validity proof; для ZK-rollup в описанной Ethereum-конструкции достаточные данные для восстановления состояния публикуются в Ethereum (документация Ethereum о ZK-rollups). Архитектуры отличаются: validium может использовать доказательства валидности при хранении данных вне Ethereum, и слова «ZK» в названии недостаточно, чтобы понять гарантии.
| Вопрос | Что может показать validity proof | Что нужно проверить отдельно |
|---|---|---|
| Переход состояния корректен? | Доказательство по правилам конкретной схемы | Контракт, verifier и правила системы |
| Какие данные опубликованы? | Не обязательно само доказательство | Calldata/blob/иной слой хранения и формат публикации |
| Может ли пользователь восстановить состояние? | Это не следует автоматически из proof | Кто хранит данные и может ли пользователь их получить |
| Как устроен выход? | Конкретный proof может подтверждать переход | Withdrawal contract, условия и доступность нужных данных |
Учебный сценарий: слой A принимает proof, соответствующий переходу состояния X в Y. Это поддерживает утверждение о корректности перехода в предположениях конкретного verifier и его правил; правильность реализации надо оценивать отдельно. Если необходимые данные удерживаются отдельным оператором, из proof не следует, что любой пользователь может самостоятельно восстановить баланс или сформировать выход. Это концептуальный пример, не описание конкретной сети.
Используй вопросы к архитектуре
Попроси ИИ разобрать описание L2 только по трём темам: validity proof, публикация данных, возможность самостоятельного восстановления состояния или выхода. Для каждого утверждения требуй точную формулировку и источник. Запрети выводить data availability из слов «ZK» или «proof»; если схема и место публикации не описаны, пусть модель пишет «неизвестно».
Ожидаемый учебный результат: «Материал говорит о доказательстве корректности перехода; место публикации данных не указано; поэтому возможность самостоятельного восстановления по этому описанию не установлена».
Перед сравнением двух сетей изучи их собственные спецификации и exit path. Не своди rollup, validium и другие конструкции в одну категорию только из-за cryptographic proof. Для общего контекста о мостах смотри руководство по криптомостам, а базовые понятия блокчейна — в вводном материале. Здесь нет инвестиционной оценки L2.