Odporność na błędy bizantyjskie w systemach peer-to-peer - Instytut ...

3.5 Podsumowanie 57
Protokół 3.5.2: Validated Byzantine Agreement - VBA
dla uczestnika P i , znacznika ID oraz predykatu Q ID
ISTNIEJE PREDYKAT V ID|a (v, ρ):
V ID|a (v, ρ) ≡ (v =0)or (v =1and ρ spełnia c-broadcast
dla wiadomości ( v-echo, w a , π a ) oznaczonej ID.a.0 tak, że
Q ID (w a ,π a ) jest spełnione)
PO ODEBRANIU WIADOMOŚCI ( ID, in, v-propose, w, π ):
c-broadcast ( v-echo, w , π ) ozaczone ID|vcbc.i.0
w j ←⊥; π j ←⊥ (1 ≤ j ≤ n)
wait for n − t wiadomości ( v-echo, w j , π j )
c-delivered oznaczonych ID|vcbc.j.0 od różnych P j
takich,
{
że spełnione jest Q ID (w j ,π j )
1 jeżeli wj ≠ ⊥
c j ←
(1 ≤ j ≤ n)
0 w innym wypadku
C ← [c 1 , ···,c n ]
c-broadcast ( v-commit, C ) i oznaczone ID|vcbc.i.0
C j ←⊥ (1 ≤ j ≤ n)
wait for n − t wiadomości ( v-commit, C j ) j
c-delivered oznaczonych ID|vcbc.j.0
takich, że przynajmniej n − t wpisów w C j =1
wygeneruj udział γ w progowym podrzucaniu monetą oznaczoną ID|vba
send( ID, v-coin, γ ) i do wszystkich P
wait for t +1wiadomości zawierających udziały w ID|vba
scal udziały by otrzymać S = F (ID|vba) ∈{0, 1} k′′
wybierz losową permutację Π używając generatora G zziarnemS
l ← 0
repeat
l ← l +1;a ← Π(l)
if w a = ⊥
then
{
send ( ID, v-vote, a, 0, ⊥ ) i do wszystkich P
niech ρ jest wiadomością c-broadcast oznaczoną ID|vcbc.a.0
else
send ( ID, v-vote, a, 1, ρ ) i do wszystkich P
u j ←⊥; r j ←⊥ (1 ≤ j ≤ n)
wait for n − t wiadomości ( ID, v-vote, a, u j , ρ j ) j od różnych P j
takich, że V ID|a jest spełnione oraz C j [a] =0gdy u j =0
if ∃ u j =1
then v ← 1; ρ ← ρ j
else v ← 0; ρ ←⊥
zaproponuj v potwierdzone przez ρ dla BBA w stronę 1 z V ID|a
wait for ustalenie wartości b potwierdzonej przez σ dla ID|a
until b =1if w a = ⊥
{
użyj σ do zakończenia c-broadcast oznaczonego ID|vcbc.a.0
then
oraz c-deliver (ID, v-echo, w a , π a )
zakończ ( ID, out, v-decide, w a , π a ) i , halt