boltlabs-inc / key-mgmt-spec

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

Extensions #145

Closed indomitableSwan closed 1 year ago

indomitableSwan commented 1 year ago

This PR adds in a description of extending the Lock-Keeper design to incorporate secure processors and multi-party computation (MPC). This includes a high-level overview of desired properties and some design notes.

@marsella I could use a sanity check of the overall organization before I add in a table of contents. It is otherwise ready for review, so I'll leave it up to you if you'd like to do the bulk of your review pass together with the sanity check.