#dusk Ich habe mir das von @Dusk veröffentlichte Pituitary-Tool erneut angesehen. Es tut etwas, das härter ist, als der Name vermuten lässt: Es erkennt Abweichungen zwischen Protokoll-Spezifikationen (Protocol Specifications) und der tatsächlichen Implementierung im Code mittels KI.$SPCXB
„Spec drift“ ist ein Risiko, das im Bereich der Protokolltechnik stark unterschätzt wird. Es bedeutet: Wenn es zwischen der Protokoll-Spezifikationsdokumentation und der Code-Implementierung zu kleinen Unstimmigkeiten kommt, kann sie niemand sofort entdecken. Denn die Spezifikation ist auf Englisch verfasst, der Code ist in Rust geschrieben, und Menschen, die beides Zeile für Zeile zueinander in Beziehung setzen können, gibt es ohnehin nur wenige. Wenn sich die Abweichungen erst einmal auf einen kritischen Punkt aufaddiert haben, kann das sich in Konsens-Abspaltungen, Inkonsistenzen im Zustand oder – noch versteckter – in Sicherheitslücken äußern. Der Ansatz von Pituitary: Spezifikationsdokument und Code-Repository werden beide gleichzeitig der KI übergeben, damit sie automatisch erkennt, wenn „das Dokument A sagt, der Code aber B macht“. Das ist kein Chatbot, sondern eine kontinuierlich laufende Engine zur Differenzanalyse. Dabei interessiert vor allem die semantische Äquivalenz zwischen englischer Beschreibung und Rust-Implementierung.
Der Nutzen dieses Tools ist bei Protokollen wie in Dusk, die mehrschichtige Architekturen haben, besonders deutlich.$SNDKB
Dusk besitzt eine Privacy-Schicht, eine Abrechnungsschicht und eine EVM-Ausführungsschicht – jede Schicht hat ihre eigenen Spezifikationsdokumente und Code-Implementierungen. Wenn die Schnittstellendefinitionen zwischen den Schichten Spec drift aufweisen, könnte das bedeuten, dass grenzübergreifende Vermögenswerte auf einem Pfad korrekt verbucht werden, auf einem anderen Pfad jedoch fälschlicherweise abgelehnt werden. Wenn Pituitary kontinuierlich laufen kann, entspricht das im Review-Prozess gewissermaßen einem nie müden Prüfer, der dauerhaft gegenliest.
Aber hier gibt es eine Stelle, die leicht überinterpretiert werden kann. Die Voraussetzung dafür, dass die KI Spec drift erkennt, ist, dass die Spezifikationsdokumente selbst hinreichend präzise geschrieben sind. Wenn die Spezifikation selbst vage ist, kann die KI im Grunde nur das Vage in eine andere Form des Vagen übersetzen. Das obere Limit von Pituitary hängt nicht davon ab, wie groß die Modellparameter sind, sondern davon, auf welche Genauigkeit die Protokollingenieure von Dusk ihre Spezifikationen tatsächlich bringen können.
Deshalb betrachte ich Pituitary nicht als ein reines „AI-Konzept“. Für $DUSK zeigt dieses Tool vor allem, dass das Team im Voraus in Protokollsicherheit investiert – nicht nur nach dem Auftreten einer Schwachstelle noch schnell nachzubessern, sondern Abweichungen schon vor dem Code-Merge an der Spezifikationsschicht zu beseitigen. Diese Kultur des Engineerings hat einen langfristig weitaus größeren Wert als jede einzelne Sicherheitsprüfung.
#dusk @Dusk