Це перший оптимістичний роллап, який я бачив, який використовує ZK там, де насправді боляче: шахрайство, а не марнославство. @megaeth_labs впроваджує неінтерактивні докази шахрайства ZK на шлях суперечки, тому поганий стан зводиться нанівець одним ударом, жодних скорботних ігор, жодного багатоденного тенісу з двома сектриціями. ❯ Що я вникнув: у записі Mega ENDGAME (27 липня 2025 року) зазначено, що челленджер генерує єдиний доказ у RISC Zero zkVM, слідуючи гібридній моделі OP Kailua; верифікатор на L1 приймає/відхиляє в одному tx. ❯ Чому це важливо: ви все ще дотримуєтеся стандартного 7-денного вікна виявлення, але як тільки виникає проблема, суперечка вирішується за ~1 годину, а не затягує остаточність на кілька днів. ❯ Як це залишається чесним: сполучення з EigenDA означає, що спостерігачі завжди можуть реконструювати корисне навантаження блоку, щоб довести шахрайство; Відсутність евакуаційного люка. ❯ Перехресні перевірки: публікації Kailua від RISC Zero описують той самий неінтерактивний відмовостійкий дизайн ZK для швидкого завершення ланцюгів OP без перетворення всього цього на повний зведення ZK; Boundless/Conduit документує робочий шлях для виробничих ланцюгів OP-стека --- Читаю: це зберігає оптимістичну економіку (дешево, просто), видаляючи при цьому найгірші вектори горя. Відкрите питання полягає в тому, що вартість у масштабі (за власною оцінкою Mega в найгіршому випадку близько 100 доларів США/суперечка в циклічному вираженні/$$) цілком нормальна, якщо шахрайство трапляється рідко, але варто стежити за тим, як використання стрімко зростає. Якщо ви будуєте, припускайте, що «остаточний, якщо не викликаний; швидко, якщо вам кинуть виклик». Це приємніший контракт для кодування, ніж "остаточний... врешті-решт».