Si le proposant soumet une proposition de bloc invalide, comment « indique-t-il » au nœud L1 que le bloc est invalide ?
La logique est de construire d'abord un bloc temporaire dans L2 (par exemple, b3 est un bloc invalide et B2 est le bloc parent pour construire le bloc temporaire B. Le bloc B ne contient qu'une seule transaction invalidateBlock (...) et remplacez-la). txList de b3 dans la fonction.
Générez une preuve zk basée sur B et soumettez-la à L1. Si la vérification est valide, elle prouve que b3 est un bloc invalide. #crypto2023
10/n🧵