Se o proponente enviar um bloco proposto inválido, como ele “informará” ao nó L1 que o bloco é inválido?

A lógica é construir primeiro um bloco temporário em L2 (por exemplo, b3 é um bloco inválido e B2 é o bloco pai para construir o bloco temporário B. O bloco B contém apenas uma transação invalidateBlock(...) e substitui o bloco temporário). txList de b3 na função.

Gere uma prova zk baseada em B e envie-a para L1. Se a verificação for válida, prova que b3 é um bloco inválido. #crypto2023

10/0🧵