モデルと前提条件

まず、ネットワークモデルを確立します：

• トポロジー： ノードはP2Pネットワークを介して相互接続されています。
• 最大ネットワーク遅延： ネットワークの最大遅延は $D$ と表記されます。誠実なノードがネットワーク内の特定のデータを時間 $T$ に受信した場合、他の誠実なノードは時間 $T + D$ より前に同じデータを取得できます。

次に、セキュリティモデルは次のように概説されます：

• 無効なブロックの検出は保証されています。ネットワーク内の少なくとも1つの誠実なノードがそれを発見して拡散するからです。
• 各誠実なノードは、少なくとも1つの他の誠実なノードとの接続を維持しています。