37 lines
1.0 KiB
Plaintext
37 lines
1.0 KiB
Plaintext
@startuml
|
|
!pragma teoz true
|
|
|
|
database DL
|
|
actor P1
|
|
actor P2
|
|
actor Pt
|
|
actor Pn
|
|
|
|
P1 ->(05) P2: <latex>RBcast(prop, S, r, 1)</latex>
|
|
& P1 ->(25) Pt : <latex>RBcast(prop, S, r, 1)</latex>
|
|
& P1 ->(50) Pn : <latex>RBcast(prop, S, r, 1)</latex>
|
|
P2 -> P2 : <latex>S'(sk_2, r)</latex>
|
|
P2 -> P1 : <latex>send(\sigma_2)</latex>
|
|
... <latex>\text{Wait until P1 received }\sigma \text{ t times}</latex> ...
|
|
Pt -> Pt : <latex>S'(sk_t, r)</latex>
|
|
Pt -> P1 : <latex>send(\sigma_t)</latex>
|
|
|
|
P1 -> P1 : <latex>C'(pkc, r, J, \{\sigma_r^j\}_{j\in J})</latex>
|
|
|
|
P1 -> DL : <latex>PROVE(\sigma)</latex>
|
|
P1 -> DL : <latex>APPEND(\sigma)</latex>
|
|
P2 -> Pt
|
|
|
|
P1 ->(05) P2: <latex>RBcast(submit, S, r, 1, \sigma)</latex>
|
|
& P1 ->(25) Pt : <latex>RBcast(submit, S, r, 1, \sigma)</latex>
|
|
& P1 ->(50) Pn : <latex>RBcast(submit, S, r, 1, \sigma)</latex>
|
|
|
|
P2 -> DL : <latex>P \gets READ()</latex>
|
|
& Pt -> DL
|
|
& Pn -> DL
|
|
P2 -> P2 : <latex>V'(pk, r, \sigma)</latex>
|
|
& Pt -> Pt : <latex>V'(pk, r, \sigma)</latex>
|
|
& Pn -> Pn : <latex>V'(pk, r, \sigma)</latex>
|
|
|
|
hide footbox
|
|
@enduml |