Skip to content
TopicTracker
From HackerNewsView original
TranslationTranslation

Dragon's Egg: a formally verified, distributed object-capability OS

Dragon's Egg is a formally verified, distributed operating system built on the object-capability model, designed to enforce fine-grained security principles across networked nodes.

Background

- Dragon's Egg is an experimental operating system built around the **object-capability (ocap)** model, where programs communicate only via unforgeable references ("capabilities") rather than global identifiers or permissions — making security properties easier to reason about.

Related stories