The right type of trust for distributed systems | Synapse