ライブネスとは何ですか?

暗号通貨の上昇により、コンセンサスアルゴリズムの作成が促されました。

分散システムの場合、活性とは、プロトコルがノード間でメッセージを交換でき、ノードが正常に合意に達することを意味します。

これは、システムの生存性が保証されていることを意味します。

ブロックチェーンは、メッセージそのものではなく、どのトランザクション履歴が正確であるかを定期的に判断しようとしています。

分散システムにはある程度の正確性があり、これにはトランザクションの順序付けが関係します。これには、生存性と安全性という 2 つの要素が関係しています。

ライブネスは、最終的に良いことが起こることを保証します。つまり、これらのことが起こるまでの時間枠はありません。

分散計算の終了は、活性の多くの例のうちの 1 つです。

ライブネスとは、すべてのバリデーターが値に関して一定の合意に達することを保証するものです。

これは、2 つのバリデーターが一致せず、異なる値に到達しないことを保証すると考えることができます。 ‍

逆に言えば、安全とは悪いことが起こらないという保証です。

たとえば、ビットコインがナカモトコンセンサスを使用しているということは、ビットコインのブロックチェーンの活性化が重視されていることを意味します。

ナカモト コンセンサスでは、Proof-of-Work マイニングと「最長チェーン勝利」と呼ばれる指標を使用して、どの履歴が正確であるかを判断します。

ノードが正直であれば、履歴と期待される履歴は同じになります。

ブロックチェーン ネットワークの参加者によって運用される台帳のコピーであるノードは、別のノードと比較したときに異なる値を示してはなりません。

2 つのノードが異なる値を生成する場合は、問題が発生しています。

ノードは、次のブロックに何を含めるべきかについて合意に達する必要があります。