boltlabs-inc / key-mgmt-spec

Formal specification for the key management project
MIT License
3 stars 2 forks source link

Consider separating "retrieve" and "export" protocols description #138

Open indomitableSwan opened 2 years ago

indomitableSwan commented 2 years ago

The spec does not treat the export functionality separately from "retrieve". We should consider how best to describe the associated requirements and protocols more carefully, particularly since I believe this description is out of sync with the implementation.