emberian/dregg

Distributed object-capability authorization with ZK proofs

5 best points · 1 comments · 1 Hacker News post · 39 GitHub stars · View on GitHub

Hacker News discussions

• Dragon's Egg: a formally verified, distributed object-capability OS (5 points, 1 comments, by iamthebesthere, 2026-06-29)