Dit is de eerste optimistische rollup die ik heb gezien die ZK gebruikt waar het daadwerkelijk pijn doet: fraude, niet ijdelheid. @megaeth_labs is niet-interactieve ZK-fraudebewijzen aan het inbouwen in het geschilpad, zodat slechte staten in één keer worden vernietigd, geen griefing-spellen, geen dagenlange bisection tennis. ❯ Wat ik heb onderzocht: Mega's ENDGAME-rapport (27 juli 2025) legt het uit: de uitdager genereert een enkel bewijs in de RISC Zero zkVM, volgens het OP Kailua hybride model; de verifier op L1 accepteert/weigert in één tx. ❯ Waarom het belangrijk is: je behoudt nog steeds het standaard detectievenster van 7 dagen, maar zodra een uitdaging binnenkomt, wordt het geschil in ~1 uur opgelost in plaats van dat de finaliteit dagenlang wordt vertraagd. ❯ Hoe het eerlijk blijft: pairing met EigenDA betekent dat kijkers altijd de blokpayload kunnen reconstrueren om fraude te bewijzen; geen onthoud-en-stil escape hatch. ❯ Cross-checks: RISC Zero's Kailua-posts beschrijven hetzelfde niet-interactieve ZK fault-proof ontwerp voor OP-ketens snelle finaliteit zonder het geheel in een volledige ZK rollup te veranderen; Boundless/Conduit documenteert het operationele pad voor productie OP-stack ketens --- Mijn conclusie: dit houdt de optimistische economieën (goedkoop, eenvoudig) terwijl de ergste griefvectoren worden verwijderd. De open vraag is de kosten voor de prover op schaal (Mega's eigen schatting plaatst het slechtste geval rond de $100/geschil in cycli/$$ termen) helemaal prima als fraude zeldzaam is, maar het is de moeite waard om te monitoren naarmate het gebruik explodeert. Als je aan het bouwen bent, neem aan "finale als niet uitgedaagd; snel als uitgedaagd." Dat is een mooiere overeenkomst om tegen te coderen dan "finale... uiteindelijk."