BA協議健全性解釋

我正在閱讀以下論文BA-made it trivial ，在第 3 頁討論 BA 協議協議時，我不明白這裡的健全性是什麼意思。

協議 P 是任意值（分別為二進制）(n, t)-拜占庭協議 (BA) 協議，其可靠性為 σ ∈ (0, 1]，

那麼健全性何時為 1 或 0？或者，如果它遵循一些規則，那麼健全性是真的嗎？

健全性是協議按預期工作的機率，可以是大於 0 且小於或等於 1 的任何實數。不同的設計將有不同的按預期工作的機率。一般來說，健全性越高越好。特別是，如果我們有一個健全性為 1 的協議，它將始終按預期工作。然而，實現如此高的穩健性可能並不總是可行的。儘管如此，只要我們有一個非零的成功機會，我們就可以重複該協議，直到我們相信應該有足夠高的機率目睹一個正確行為的實例。

引用自：https://crypto.stackexchange.com/questions/95808