The delegation map is now injective #292. We could be more explicit about this fact in our code by changing the type of the delegation map from Map VKeyGenesis VKey to Bimap VKeyGenesis VKey, where Bimap can be found here.
Another reason for wanting this is that the operation for finding which genesis key delegated to a given key becomes O (log n) instead of O (n).
dnadales
commented
5 years ago
The delegation map is now injective #292. We could be more explicit about this fact in our code by changing the type of the delegation map from
Map VKeyGenesis VKeytoBimap VKeyGenesis VKey, whereBimapcan be found here.Another reason for wanting this is that the operation for finding which genesis key delegated to a given key becomes
O (log n)instead ofO (n).