boltlabs-inc / key-mgmt-spec

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

Small bug fixes #85

Closed indomitableSwan closed 2 years ago

indomitableSwan commented 2 years ago

Closes #54 Closes #40 Closes #83

indomitableSwan commented 2 years ago

Adding additional context should go into the description of the cryptographic flows. It's a refactor that may impact more than the current development phase.