Also it's been a while since I read it, but the comparison of SPKI in http://erights.org/elib/capability/ode/ode-pki.html is almost exactly the same consideration as a comparison between zcap-ld and (well, at least a "live connection") captp type system today, which is fairly interesting!
The reason it wins is that we can, instead of thinking about bespoke message structures and protocol details, we can instead focus on the security properties of the specific code. It's not that the code is magically free from security considerations, but that the scope of security considerations has been simplified.
> The messages sent between the Alice, Bob, and the mint above are like those that might have been part of a simple cryptographic payment protocol. However, rather than having to design a specialized cryptographic protocol for payment, we have instead reused a generic cryptographic protocol, implementing only distributed capabilities, in combination with a simple specialized object protocol to yield the same effect.
Having a reusable protocol with fundamental security abstractions wins.
I've been trying to explain why it's good to have a general purpose distributed and generic protocol like CapTP rather than a bespoke one. However Ode to the Grannovetter Diagram already did so for me:
> Cryptographic protocol design is hard and error prone. When we can, we should design generic protocols that implement highly reusable security abstractions.
I just committed an example of "simple money" implemented in #Spritely Goblins https://gitlab.com/spritely/goblins/-/blob/dev/goblins/actor-lib/simple-mint.rkt
25 lines of code and fully transactional (any error that occurs won't corrupt the bank's state, will preserve the amount of money in it). No blockchain required.
Based on the recipe from: http://erights.org/elib/capability/ode/index.html
Also, I know a lot of people like traditional sports! And that's ok! I like lots of non-traditional sports. I get very excited any time I see a video of an Isabelle player in Smash beating someone.
However I'm fully aware that it's sportsballing for entertainment, but that it is kind of arbitrary and unimportant.
I love organizing org-mode trees, and especially going back and ticking a bunch of things off after a period of hyperfocus.
Avatar by David Revoy (based on a tiny sketch by me)
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!