Security
共識中“活性”和“安全”屬性的確切定義？
共識的兩個主要屬性是“活躍性”和“安全性”。
共識中“活力”和“安全”屬性的準確定義是什麼？
以下定義是否正確？
- **安全性：**所有參與者就單一狀態達成一致？
- **活躍度：**在保持協議的情況下更新此狀態的可能性？
安全性：任何被一個正常執行的節點視為最終的交易最終將被每個正常執行的節點視為最終的。兩個正常執行的節點認為最終的兩個交易不會發生衝突。
活躍性：只要始終存在至少一個適合包含但未被任何正常執行的節點視為最終的交易，則至少有一個正常執行的節點認為最終的交易集的數量將會增加。
請注意，這些定義非常非常小，對於實際系統通常是不夠的。此外，對於某些系統（事務可以根據其執行的上下文產生不同的結果），您必須將“事務”理解為表示執行事務的結果。
安全性：當節點實際上沒有就給定狀態達成一致時，永遠不會就狀態達成一致，前提是論文的假設成立（在這裡閱讀 wiki）。
活躍性：共識不能停滯，即使在平局的情況下，算法也必須始終取得進展（在此處閱讀 wiki）。