boltlabs-inc / key-mgmt-spec

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

Add details about Phase 1: Arbitrary Secrets #20

Closed indomitableSwan closed 2 years ago

indomitableSwan commented 2 years ago

There are some inline TODOs, which either need fixing or the creation of an appropriate issue to complete the PR. Requesting a review pass that includes help filling out the TODOs.

The "expected outcomes" section is very much open to disagreement. What should we aim to produce as a deliverable from this phase?

This PR closes #18