diff --git a/book/art/consensus.msc b/book/art/consensus.msc deleted file mode 100644 index 341548fdd..000000000 --- a/book/art/consensus.msc +++ /dev/null @@ -1,15 +0,0 @@ -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" ] ; -}