提案者が無効な提案ブロックを送信した場合、そのブロックが無効であることをどのようにして L1 ノードに「伝える」のでしょうか?

ロジックは、最初に L2 に一時ブロックを構築することです (たとえば、b3 は無効なブロックで、B2 は一時ブロック B を構築する親ブロックです)。ブロック B には 1 つのトランザクションのみが含まれており、invalidateBlock(...) を置き換えます。 b3 の txList を関数に追加します。

B に基づいて zk 証明を生成し、L1 に送信します。検証が有効であれば、b3 が無効なブロックであることが証明されます。 #crypto2023

10/n🧵