me (in my head) : noooo, ACLs are difficult to delegate in practice and that's what counts. BUT ocaps can also be made difficult to delegate by requiring each action to be signed using a key that is also used for other things !
My boarding pass is an ocap, I could indeed delegate it but it's *bound* to my passport which is also an ocap. Yes, I could delegate my passport (to someone who looks like me) but I'll be damned if I'm going to do that because it's important to me for so many other things.
The goal of Mark's keynote is to show that we can still bind identity in a meta way on top of ocaps, and yes they can be infinitely copied (*some* passport information already can be), but that also means we'll take more responsibility in how we delegate them, since we will can now be personally held accountable by others.
If you can grok formal logic then the papers on this stuff are great, personally I would be lost without that video.
Behold, for I'm a Haskell-wielding programmer, who enjoys strict type systems and is not afraid of formal logic.
Server run by the main developers of the project It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!