Object-capability systems
From Erights
(Difference between revisions)
Line 23: | Line 23: | ||
| Offline Certs || || SPKI/SDSI, E-Speak, [Capability-based_Active_Invocation_Certificates CapCert] || || [https://research.google.com/pubs/pub41892.html Macaroons], [https://w3c-ccg.github.io/ld-ocap/ lds-ocap] | | Offline Certs || || SPKI/SDSI, E-Speak, [Capability-based_Active_Invocation_Certificates CapCert] || || [https://research.google.com/pubs/pub41892.html Macaroons], [https://w3c-ccg.github.io/ld-ocap/ lds-ocap] | ||
|- | |- | ||
- | | Blockchain || || || || Gravity, Dfinity, [http://rchain-architecture.readthedocs.io/en/latest/ RChain], [https://cosmos.network/ Cosmos], [https://w3c-ccg.github.io/didm-veres-one/ Veres One], [https://sovrin.org/ Sovrin], Agoric Systems | + | | Blockchain || || || || Gravity, [https://dfinity.org/ Dfinity], [http://rchain-architecture.readthedocs.io/en/latest/ RChain], [https://cosmos.network/ Cosmos], [https://w3c-ccg.github.io/didm-veres-one/ Veres One], [https://sovrin.org/ Sovrin], Agoric Systems |
|- | |- | ||
| User Interface || || CapDesk, [https://alanhkarp.com/scoopfs/index.html Scoopfs], [https://sites.google.com/site/belayresearchproject/ Belay] || || [https://sandstorm.io/ Sandstorm] | | User Interface || || CapDesk, [https://alanhkarp.com/scoopfs/index.html Scoopfs], [https://sites.google.com/site/belayresearchproject/ Belay] || || [https://sandstorm.io/ Sandstorm] | ||
|} | |} |
Revision as of 06:35, 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, NLTSS, Spring | Capsicum, CloudABI, Barrelfish, Fuchsia | ||
KeyKOS family OS | Gnosis, KeyKOS, GuardOS, EROS, CapROS, Coyotos | seL4 | ||
Distributed OS | Ameoba, Mach, Midori | |||
Language | Gedanken, W7, J-Kernel, Joe-E, Emily, CaPerl, Caja, Tamed Pict | Monte, Frozen Realms, shill, 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 | COAST, Cap’n Proto | ||
Offline Certs | SPKI/SDSI, E-Speak, [Capability-based_Active_Invocation_Certificates CapCert] | Macaroons, lds-ocap | ||
Blockchain | Gravity, Dfinity, RChain, Cosmos, Veres One, Sovrin, Agoric Systems | |||
User Interface | CapDesk, Scoopfs, Belay | Sandstorm |