addiing distribution.fsm sync
authorVolker Birk <vb@pep-project.org>
Wed, 11 Dec 2019 16:22:30 +0100
branchsync
changeset 425831cb55240542
parent 4257 7b2a471c9dff
child 4259 082c9c5b144c
addiing distribution.fsm
sync/distribution.fsm
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/sync/distribution.fsm	Wed Dec 11 16:22:30 2019 +0100
     1.3 @@ -0,0 +1,21 @@
     1.4 +// This file is under BSD License 2.0
     1.5 +
     1.6 +// KeyReset protocol for p≡p
     1.7 +// Copyright (c) 2019, p≡p foundation
     1.8 +
     1.9 +// Written by Volker Birk
    1.10 +
    1.11 +include ./fsm.yml2
    1.12 +
    1.13 +protocol Distribution 2 {
    1.14 +
    1.15 +    // this protocol is stateless
    1.16 +    fsm KeyReset 1 {
    1.17 +        message Commands 1 {
    1.18 +            auto Version version;
    1.19 +            field Identity ident;
    1.20 +            field Hash newkey;
    1.21 +        }
    1.22 +    }
    1.23 +}
    1.24 +