Tämä on ensimmäinen näkemäni optimistinen rollup, joka käyttää ZK:ta siellä, missä se todella sattuu: petos, ei turhamaisuus. @megaeth_labs kytkee ei-interaktiivisia ZK-petostodisteita kiistapolulle, jotta huono tila tuhotaan yhdellä laukauksella, ei surupelejä, ei päivien mittaista kaksijakoista tennistä. ❯ Mitä kaivoin esiin: Megan ENDGAME-kirjoituksessa (27. heinäkuuta 2025) kerrotaan, että haastaja luo yhden todisteen RISC Zero zkVM:ssä OP Kailua -hybridimallin mukaisesti; L1:n todentaja hyväksyy/hylkää yhdessä TX:ssä. ❯ Miksi sillä on merkitystä: säilytät edelleen tavallisen 7 päivän tunnistusikkunan, mutta kun haaste saapuu, kiista ratkeaa ~1 tunnissa sen sijaan, että se vetäisi lopullisuutta päiviä. ❯ Kuinka se pysyy rehellisenä: pariliitos EigenDA:n kanssa tarkoittaa, että katsojat voivat aina rekonstruoida lohkon hyötykuorman petoksen todistamiseksi; ei pidätys- ja pysähdysluukkua. ❯ Ristiintarkistukset: RISC Zeron Kailua-viestit kuvaavat samaa ei-interaktiivista ZK-vikasuojattua suunnittelua OP-ketjujen nopealle lopullisuudelle muuttamatta koko asiaa täydelliseksi ZK-rollupiksi; Boundless/Conduit dokumentoi tuotannon OP-stack-ketjujen toimintapolun --- Lukemani: tämä säilyttää optimistisen taloustieteen (halpa, yksinkertainen) ja poistaa pahimmat suruvektorit. Avoin kysymys on todistettu kustannus mittakaavassa (Megan oman arvion mukaan pahin tapaus on noin 100 dollaria/riita sykleissä/$$) täysin hyvä, jos petokset ovat harvinaisia, mutta niitä kannattaa seurata käytön räjähdysmäisen kasvun vuoksi. Jos olet rakentamassa, oleta "lopullinen, jos sitä ei kyseenalaisteta; nopeasti, jos se haastetaan." Se on mukavampi sopimus koodata kuin "lopullinen... lopulta."