A platform for managing digital credentials