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

Think Ethereum redesigned around object capabilities and zero-knowledge proofs, where the verified execution model extends beyond smart contracts to the entire operating system.

Imagine AI agents that can hire other agents, spend money, share data, and collaborate across companies with cryptographically verifiable permissions and audit trails instead of API keys and legal agreements. Dregg provides that substrate.