Was ist Dregg?
Dregg bezeichnet auf seiner Website Dragon's Egg, ein formal verifiziertes, verteiltes Betriebssystem, dessen Kern in Lean 4 geschrieben und maschinell geprüft ist. Das Projekt setzt nicht auf klassische, jederzeit widerrufbare Rechte, sondern auf ein objektbasiertes Modell von Befugnissen: Eine Aktion ist nur dann möglich, wenn sie sich am Ort der Ausführung nachweisen lässt. Jede Zustandsänderung soll zudem einen überprüfbaren Beleg hinterlassen, was Dregg für digitale Umgebungen mit hohem Anspruch an Nachvollziehbarkeit und kontrollierte Autorität interessant macht. Hinter dem Vorhaben steht öffentlich vor allem ember, der sich als System- und Beweisingenieur beschreibt und Dregg als Fortführung einer seit etwa 2015 laufenden Arbeit präsentiert. Als Referenzen nennt die Website unter anderem Erfahrungen aus Rust, Mina Protocol, seL4 und Robigalia. Der zugehörige Token $DREGG ist laut Projektseite kein Wertpapier und auch kein Zugangsschlüssel, sondern ein Community-Token, der auf Pump.fun entstanden ist und als Banner für das Forschungsprojekt sowie zur Unterstützung offener Arbeit dient. Er vermittelt weder Eigentum noch Ertragsansprüche und schaltet keine Funktionen frei. Inhaltlich zielt Dregg auf ein altbekanntes Grundproblem digitaler Systeme: Wer darf was tun, unter welchen Bedingungen, und wie lässt sich das später zweifelsfrei belegen? Genau an dieser Stelle setzt das Modell von Cells, Turns und Receipts an, das den gesamten Zustand einer Ausführung in einer überprüfbaren Spur zusammenhält. Zugleich macht die Website keinen Hehl daraus, dass das Projekt noch Forschung ist: Es gibt offene Bausteine, kein externes Audit und ausdrücklich den Hinweis, dass Dregg für sicherheitskritische Anwendungen derzeit nicht als reif gelten sollte.
