16 lines
559 B
Plaintext
16 lines
559 B
Plaintext
|
msc {
|
||
|
|
client,leader,verifier_a,verifier_b,verifier_c;
|
||
|
|
|
||
|
|
client=>leader [ label = "SUBMIT" ] ;
|
||
|
|
leader=>client [ label = "CONFIRMED" ] ;
|
||
|
|
leader=>verifier_a [ label = "CONFIRMED" ] ;
|
||
|
|
leader=>verifier_b [ label = "CONFIRMED" ] ;
|
||
|
|
leader=>verifier_c [ label = "CONFIRMED" ] ;
|
||
|
|
verifier_a=>leader [ label = "VERIFIED" ] ;
|
||
|
|
verifier_b=>leader [ label = "VERIFIED" ] ;
|
||
|
|
leader=>client [ label = "FINALIZED" ] ;
|
||
|
|
leader=>verifier_a [ label = "FINALIZED" ] ;
|
||
|
|
leader=>verifier_b [ label = "FINALIZED" ] ;
|
||
|
|
leader=>verifier_c [ label = "FINALIZED" ] ;
|
||
|
|
}
|