Maybe time to bump this thread and fill in some blanks Safe Network Glossary and Acronyms
Authorities =
Actor =
Replicas =
Deterministically Secure Broadcast =
NetworkAuthority =
SectionChain = SectionProofChain = a sequence of public keys, each signed by the previous one, that’s updated every time an Elder is changed and acts as proof that the Section is valid.
Dot<Actor, u64> = public key of the requesting node??
(Add(actor)) = ??