port internal design notes on extensions to github

boltlabs-inc / key-mgmt-spec

Formal specification for the key management project

MIT License

3 stars 2 forks source link

Closed indomitableSwan closed 2 years ago

indomitableSwan commented 2 years ago

This draft PR is a partial summary of internal design notes for integrating secure processors and MPC.

indomitableSwan commented 2 years ago

Tagging @matthewdgreen.