Object-capability systems
From Erights
(Difference between revisions)
| Line 19: | Line 19: | ||
| Crypto Protocol || || DCCS, RATS, CapTP, Foolscap, Client Utility, Waterken || || Cap’n Proto | | Crypto Protocol || || DCCS, RATS, CapTP, Foolscap, Client Utility, Waterken || || Cap’n Proto | ||
|- | |- | ||
| - | | Offline Certs || || SPKI/SDSI, E-Speak, CapCert || || Macaroons, lds-ocap | + | | Offline Certs || || SPKI/SDSI, E-Speak, CapCert || || Macaroons, [https://w3c-ccg.github.io/ld-ocap/ lds-ocap] |
|- | |- | ||
| - | | Blockchain || || || || Gravity, Dfinity, RChain, Cosmos, Agoric Systems | + | | Blockchain || || || || Gravity, Dfinity, RChain, Cosmos, [https://w3c-ccg.github.io/didm-veres-one/ Veres One], Agoric Systems |
|- | |- | ||
| - | | User Interface || || CapDesk, Belay || || Sandstorm | + | | User Interface || || CapDesk, Belay || || [https://sandstorm.io/ Sandstorm] |
|} | |} | ||
Revision as of 04:50, 11 March 2018
These are all capability systems, but not all are ocap systems.
| Substrate | Historical System | System | ||
|---|---|---|---|---|
| Hardware | Plessey 250, CAP, C.mmp, CM*, IBM System/38, Intel 432 | CHERI, Risc-V | ||
| OS | DVH, Hydra, StarOS, Cal-TSS, PSOS, KeyKOS, EROS, Coyotos | Capsicum, seL4, Barrelfish, Fuscia | ||
| Distributed OS | Ameoba, Mach, Midori | |||
| Language | Gedanken, W7, J-Kernel, Joe-E, Emily, CaPerl, Caja, Tamed Pict | Monte, Frozen Realms, Wyvern, wasm-gc | ||
| Distributed Language | Act-1, Eden, Emerald, Vulcan, Joule, E, M# | Pony, Kappa, Dr.SES | ||
| Distributed Storage | Scoopfs | Tahoe-LAFS | ||
| Crypto Protocol | DCCS, RATS, CapTP, Foolscap, Client Utility, Waterken | Cap’n Proto | ||
| Offline Certs | SPKI/SDSI, E-Speak, CapCert | Macaroons, lds-ocap | ||
| Blockchain | Gravity, Dfinity, RChain, Cosmos, Veres One, Agoric Systems | |||
| User Interface | CapDesk, Belay | Sandstorm |
