Toto je první optimistický souhrn, který jsem viděl, který používá ZK tam, kde to skutečně bolí: podvod, ne ješitnost. @megaeth_labs zapojuje neinteraktivní důkazy o podvodech ZK do sporné cesty, takže špatný stav je vyhozen do povětří na jeden zátah, žádné griefingové hry, žádný několikadenní tenis na půlce. ❯ Co jsem se ponořil: Zápis ENDGAME společnosti Mega (27. července 2025) to vysvětluje, že vyzyvatel generuje jediný důkaz v RISC Zero zkVM podle hybridního modelu OP Kailua; verifikátor na L1 přijímá/odmítá v jednom tx. ❯ Proč je to důležité: stále dodržujete standardní 7denní detekční okno, ale jakmile padne výzva, spor se urovná za ~1 hodinu namísto protahování konečnosti několik dní. ❯ Jak to zůstává upřímné: spárování s EigenDA znamená, že pozorovatelé mohou vždy rekonstruovat užitečné zatížení bloku a prokázat podvod; žádný únikový východ typu zadrž a zdržuj. ❯ Křížové kontroly: Příspěvky Kailua RISC Zero popisují stejný neinteraktivní design ZK odolný proti chybám pro rychlé dokončení OP řetězců, aniž by se celá věc změnila v úplný ZK rollup; Boundless/Conduit dokumentuje provozní cestu pro výrobní řetězce OP-stack --- Moje čtení: to udržuje optimistickou ekonomiku (levnou, jednoduchou) a zároveň odstraňuje nejhorší vektory smutku. Otevřenou otázkou je prover cost at scale (vlastní odhad společnosti Mega uvádí nejhorší případ kolem 100 $/spor v cyklech/$$), což je zcela v pořádku, pokud jsou podvody vzácné, ale stojí za to je sledovat, jak používání exploduje. Pokud stavíte, předpokládejte "konečné, pokud nezpochybněné; rychle, pokud je vyzván." To je hezčí smlouva, proti které se dá kódovat, než "konečná... nakonec."