Это первый оптимистичный роллап, который я видел, использующий ZK, где это действительно вредит: мошенничество, а не тщеславие. @megaeth_labs подключает неинтерактивные ZK доказательства мошенничества в путь разрешения споров, так что плохое состояние уничтожается одним ударом, без игр с затягиванием, без многодневного тенниса с бисекцией. ❯ Что я изучил: описание ENDGAME от Mega (27 июля 2025 года) разъясняет, что оспорщик генерирует одно доказательство в RISC Zero zkVM, следуя гибридной модели OP Kailua; проверяющий на L1 принимает/отклоняет в одной транзакции. ❯ Почему это важно: вы все еще сохраняете стандартное 7-дневное окно обнаружения, но как только вызов поступает, спор разрешается примерно за 1 час вместо того, чтобы затягивать финализацию на дни. ❯ Как это остается честным: сочетание с EigenDA означает, что наблюдатели всегда могут восстановить нагрузку блока, чтобы доказать мошенничество; нет лазейки для удержания и задержки. ❯ Перекрестные проверки: посты RISC Zero о Kailua описывают тот же неинтерактивный ZK дизайн fault-proof для OP цепей с быстрой финализацией, не превращая все это в полный ZK роллап; Boundless/Conduit документируют операционный путь для производственных OP-стеков. --- Мой вывод: это сохраняет оптимистичную экономику (дешево, просто), удаляя худшие векторы огорчения. Открытый вопрос — стоимость провера в масштабе (собственная оценка Mega ставит худший случай около $100/спор в циклах/$$), что вполне нормально, если мошенничество редкое, но стоит следить за этим по мере роста использования. Если вы строите, предполагайте "финально, если не оспорено; быстро, если оспорено." Это более приятный контракт для кодирования, чем "финально... в конечном итоге."