boltlabs-inc / key-mgmt-spec

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

Remote only gen #111

Closed indomitableSwan closed 2 years ago

indomitableSwan commented 2 years ago

Closes #106 Closes #108

This PR adds details for remote-only generation and storage of both arbitrary secrets and ECDSA signing keys. This is part of epic #107.