dregg: A Verified Distributed Object-Capability Substrate

Abstract

dregg is a distributed object-capability substrate designed so that an absent party can verify a history without re-executing it or trusting its executor. Atomic turns leave receipts; in full-turn proving mode, recursive aggregation reduces a history to one root. The paper develops the cell and capability model, the Lean executor and emitted-circuit path, the light-client argument, and the cryptographic and deployment assumptions that bound the claim.