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

56 Rozdział 3. Bezpieczne bizantyjskie uzgadnianie
Protokół 3.5.1: Verifable Consistent Broadcast - VCBC
dla uczestnika P i oraz znacznika ID.j.s
ROZPOCZĘCIE:
¯m ←⊥;¯μ ←⊥
W d ←∅; r d ← 0 (d ∈{0, 1} k′ )
PO ODEBRANIU WIADOMOŚCI ( ID.j.s, in, c-broadcast, m ):
send ( ID.j.s, c-send, m ) i
PO ODEBRANIU WIADOMOŚCI ( ID.j.s, c-send, m ) l :
if j = l ⎧and ¯m = ⊥
⎪⎨ ¯m ← m
then oblicz udział ν podpisu S 1 dla ( ID.j.s, c-ready, H(m) ) i
⎪⎩ send ( ID.j.s, c-ready, m, ν ) i do P j
PO ODEBRANIU WIADOMOŚCI ( ID.j.s, c-ready, d, ν l ) l :
if i = j and ν l jest poprawnym udziałem w S
⎧
1
W d ← W d ∪{ν l }
⎪⎨
r d ← r d +1
then if r d = ⌈ ⌉
n+t+1
{ 2
scal udziały w Wd w jeden S
⎪⎩ then
1 podpis progowy μ
send ( ID.j.s, c-final, d, μ ) i do wszystkich P
PO ODEBRANIU WIADOMOŚCI ( ID.j.s, c-final, d, ν ) j :
if H(¯m) =d and ¯μ = ⊥ jest poprawnym podpisem S 1
{¯μ ← μ
then
zakończ ( ID.j.s, out, c-deliver, d, ¯m ) i
Realizacja weryfikacji
PO ODEBRANIU WIADOMOŚCI ( ID.j.s, c-request ) l :
if ¯μ ≠ ⊥
then send ( ID.j.s, c-answer, ¯m, ¯μ ) i do P l
PO ODEBRANIU WIADOMOŚCI ( ID.j.s, c-answer, m, μ ) l :
if ¯μ ≠ ⊥ and μ
jest poprawnym
⎧
podpisem S 1 dla ( ID.j.s, c-ready, H(m) ) l
⎪⎨ ¯μ ← μ
then ¯m ← m
⎪⎩ zakończ ( ID.j.s, out, c-deliver, d, ¯m ) i