パーシャル同期プロトコルの優れたケースのレイテンシとレジリエンスに関する研究をまとめたスレッド。 下限 1 (DLS): f >= n/3 の場合、ビザンチンの敵対者に対する部分同期の下での一致を解くことは不可能です。( 下限 2 (良いレイテンシ): f ビザンチンのパーティーとの部分同期ビザンチン放送の場合、3f +1 <= n <= 5f-1 ( 上限:例えば、PBFT、Tendermint、Simplexは、f < n/3の障害を許容し、3ラウンドのグッドケースレイテンシを達成します(リンク:
改善するための2つの道:(A)より多くのクラッシュを許容する、(B)ビザンチンフォールトが少ない場合に良好なレイテンシを達成する アベニュー(A):より多くの衝突を許容する 下限3:部分同期の下でfビザンチンの断層とcのクラッシュ断層に耐えるには、n >= 3f + 2c + 1が必要です(民間伝承? 上限: 前述のプロトコル (PBFT など) のいずれかを一般化し、クォーラム サイズを 2f+1 ではなく 2f+c+1 にします (民間伝承?)
アベニュー(B):ビザンチンフォールトが少ない場合に、良好なレイテンシを改善します 下限 4: f 個のビザンチン フォールトを許容し、p ><= f ( 上限:FaB、SBFT、Kudzu、Alpenglow、Minimmit(これらのセットの一部f = p ~= n / 5)(
道(A)と(B)を組み合わせる:アジサイ、@nibeshrestha2と@aniketpkateの新しい論文()を組み合わせる 下限 5: n = 3f + 2c + k + 1 の f ビザンチン障害と c クラッシュ障害を許容し、p = (c+k+2) / 2 の障害のあるパーティ (ビザンチンまたはクラッシュ) 以上を許容しながら 2 ラウンドの楽観的なグッドケース遅延を達成する、部分的に同期したビザンチン放送プロトコルは存在しません。k は、いくつかの制約を持つ調整可能なパラメーターです。 上限:アジサイは、f ビザンチンの故障、cのクラッシュ故障を許容するためにn = 3f + 2c + k + 1のプロトコルを提示し、取得することができます (i) 楽観的な 2 ラウンドの良好なケースのレイテンシと、p = (c+k)/2 のフォールトを許容する。 (ii) それ以外の場合は 3 ラウンドの良好なケースの遅延。
4.14K