Доказательство корректности

Доказательство корректности — это криптографическое доказательство, которое отправляется вместе с пакетом транзакций второго уровня и показывает, что новое состояние вычислено из предыдущего правильно. Контракт на первом уровне проверяет его математически, поэтому ему не нужно доверять оператору или заново исполнять транзакции. Именно это определяет ZK-роллап: корректность доказана заранее, поэтому вывод средств на первый уровень становится возможен сразу после принятия доказательства, без многодневного окна оспаривания, которое нужно оптимистичным роллапам. Важно понимать: доказывается исполнение, а не замысел. Доказательство подтверждает, что правила соблюдены, но не то, что смарт-контракт хорошо спроектирован или что секвенсер честно упорядочил вашу транзакцию.