Postulates that names of participants can have at most 2 of these 3 properties
- Human-meaningful: Meaningful and memorable (low-entropy) names are provided to the users.
- Unique: statistically impossible collisions
- Global: names are globally scoped, correspondence between name and the entity behind the name does not depend on context
See also: petname system