zk-роллап — система масштабирования, которая выполняет транзакции вне базового блокчейна, объединяет результаты и отправляет криптографические доказательства валидности на проверку базовому уровню. Проверяющий устанавливает, соответствует ли предложенный переход состояния правилам, закодированным в роллапе. Распределение затрат на публикацию и проверку между транзакциями пакета может снизить стоимость каждой из них.
У доказательств и данных разные задачи
Доказывающий формирует свидетельство связи между прежним состоянием, обработанными операциями и предложенным новым состоянием. Расчётный контракт проверяет его до принятия обновления. Пользователь может раньше получить подтверждение оператора, но оно отличается от окончательного расчёта в базовой цепи.
Роллап также публикует на базовом уровне достаточно данных для восстановления состояния, например через calldata или blob-объекты Ethereum. Validium хранит соответствующие данные за пределами этого уровня, вводя иные предпосылки доступности. Само доказательство валидности не восполняет отсутствующие данные состояния.
Чего название не гарантирует
«ZK» не означает приватность всех деталей транзакций. Многие системы используют доказательства прежде всего для проверки вычислений.
Этой модели не присущ оптимистический период оспаривания ошибок, однако формирование доказательства, публикация и расчёт могут задерживать вывод. Ошибки схем доказательства, уязвимости контрактов, полномочия на обновление и сбои оператора остаются рисками. Совместимость приложений и стоимость транзакций также зависят от реализации.