Pokud navrhovatel předloží neplatný navrhovaný blok, jak „řekne“ uzlu L1, že blok je neplatný?

Logikou je nejprve sestavit dočasný blok v L2 (například b3 je neplatný blok a B2 je nadřazený blok pro sestavení dočasného bloku B Blok B obsahuje pouze jednu transakci invalidateBlock(...) a nahradit jej txList z b3 do funkce .

Vygenerujte důkaz zk na základě B a odešlete jej L1. Pokud je ověření platné, prokáže, že b3 je neplatný blok. #crypto2023

10/n🧵