《Pituitary: Das DUSK-Team hat in den KI-Hype eine „Spezifikations-Drift-Detektoreinheit“ reingestopft – ziemlich clever und ziemlich standhaft》
2026-03-26 Ein Beitrag vom offiziellen Unternehmensaccount mit dem Titel „Pituitary: AI Spec Drift Detection“. Der Titel klingt, als wolle man mit der Hitze rund um KI-Projekte mitziehen. Klickt man sich durch, stellt man fest: Es ist ein Werkzeug für Entwickler. Mit einem LLM vergleicht es „die Vertragsintention, die du geschrieben hast“ und „die tatsächlichen Constraints der ZK-Schaltung“ – bei Drift wird ein Alarm ausgelöst.
Warum macht DUSK das? Weil die Entwicklerlaufbahn sich geteilt hat: Auf DuskVM müssen Rust/WASM-Verträge per Hand ZK-Constraints bauen. Wenn man zu Solidity wechselt, läuft das dann über DuskEVM + Hedger, die automatisch eine zusätzliche Schicht drüberpacken. Genau dort lauern die häufigsten Fallen: „Ich dachte, die Beträge seien verborgen, aber eigentlich sind sie es nicht.“ Pituitary übersetzt natürliche Sprach-Spezifikationen (z. B. „Der Kontostand ist der Öffentlichkeit nicht sichtbar, aber für Auditoren beweisbar“) in formale Behauptungen und vergleicht sie mit der Differenz der Compiler-Ausgabe.
Ich habe mir ihr GitHub angeschaut: Der Kern ist ein Python-Service plus optional lokales Ollama – kein Zwang in die Cloud. Das passt zur europäischen Datenhoheit. In der Gruppe haben welche, die ZK-Kredite ausprobiert haben, gesagt: „Viele Fehlalarme, aber wenig Auslassungen – als CI-Torwächter reicht es.“
Das DUSK von 2018 war wie eine Bande kryptografie-versessener Paranoiker. Das DUSK von 2026 fängt an zu fragen: „Wie sorgt man dafür, dass normale Solidity-‚Gewerbeprogrammierer‘ die Privatsphäre nicht aus Versehen offenlegen?“ RWA wird nicht durch kryptografische Paper in die Praxis geholt, sondern dadurch, dass man mittelstufige Entwickler davor bewahrt, dummen Fehlern aufzusitzen. Pituitary ist nicht sexy – aber es ist das Gerüst, um ein Ökosystem auf Schwung zu bringen. #dusk $DUSK @Dusk
2026-03-26 Ein Beitrag vom offiziellen Unternehmensaccount mit dem Titel „Pituitary: AI Spec Drift Detection“. Der Titel klingt, als wolle man mit der Hitze rund um KI-Projekte mitziehen. Klickt man sich durch, stellt man fest: Es ist ein Werkzeug für Entwickler. Mit einem LLM vergleicht es „die Vertragsintention, die du geschrieben hast“ und „die tatsächlichen Constraints der ZK-Schaltung“ – bei Drift wird ein Alarm ausgelöst.
Warum macht DUSK das? Weil die Entwicklerlaufbahn sich geteilt hat: Auf DuskVM müssen Rust/WASM-Verträge per Hand ZK-Constraints bauen. Wenn man zu Solidity wechselt, läuft das dann über DuskEVM + Hedger, die automatisch eine zusätzliche Schicht drüberpacken. Genau dort lauern die häufigsten Fallen: „Ich dachte, die Beträge seien verborgen, aber eigentlich sind sie es nicht.“ Pituitary übersetzt natürliche Sprach-Spezifikationen (z. B. „Der Kontostand ist der Öffentlichkeit nicht sichtbar, aber für Auditoren beweisbar“) in formale Behauptungen und vergleicht sie mit der Differenz der Compiler-Ausgabe.
Ich habe mir ihr GitHub angeschaut: Der Kern ist ein Python-Service plus optional lokales Ollama – kein Zwang in die Cloud. Das passt zur europäischen Datenhoheit. In der Gruppe haben welche, die ZK-Kredite ausprobiert haben, gesagt: „Viele Fehlalarme, aber wenig Auslassungen – als CI-Torwächter reicht es.“
Das DUSK von 2018 war wie eine Bande kryptografie-versessener Paranoiker. Das DUSK von 2026 fängt an zu fragen: „Wie sorgt man dafür, dass normale Solidity-‚Gewerbeprogrammierer‘ die Privatsphäre nicht aus Versehen offenlegen?“ RWA wird nicht durch kryptografische Paper in die Praxis geholt, sondern dadurch, dass man mittelstufige Entwickler davor bewahrt, dummen Fehlern aufzusitzen. Pituitary ist nicht sexy – aber es ist das Gerüst, um ein Ökosystem auf Schwung zu bringen. #dusk $DUSK @Dusk