
"we can tie a key to a specific program. And the really nice property that you get from that is that you can convert logic into digital signatures" This is the concept of key encumbrance in a nutshell. Quote is from @kobigurk in this talk: atmosphereconf.org/event/gDP6A8N btw his demo runs in a real Nitro Enclave, inside of Turnkey Verifiable Cloud. Not a fake demo!






