《Pituitary : l’équipe DUSK a mis un “détecteur de dérive de spécifications” dans la vague IA, vraiment à la fois solide et intelligent》
2026-03-26, un article sur le compte officiel : « Pituitary: AI Spec Drift Detection ». Le titre ressemble à un projet IA qui profite du buzz, et en cliquant, on découvre que c’est un outil destiné aux développeurs : utiliser un LLM pour comparer « l’intention de contrat que vous avez écrite » et « les contraintes réelles des circuits ZK » ; en cas de dérive, une alerte se déclenche.
Pourquoi DUSK fait ça ? Parce que la trajectoire de développement s’est scindée : sur DuskVM, écrire des contrats Rust/WASM implique d’écrire à la main des contraintes ZK. En passant à Solidity, on s’appuie sur DuskEVM + Hedger pour encapsuler automatiquement une couche. Et c’est là que le piège est le plus facile : « je pensais que le montant était masqué, mais en fait il ne l’est pas ». Pituitary sert à transformer une spécification en langage naturel (par exemple : « le solde n’est pas visible du public, mais peut être prouvé par un auditeur ») en assertions formelles, puis à comparer avec le diff des artefacts compilés.
J’ai regardé leur GitHub : le cœur, c’est un service Python + Ollama local en option. Pas d’obligation de passer par le cloud, ce qui colle avec la manie de souveraineté des données en Europe. Dans le groupe, certains qui font des prêts sur ZK ont testé : « trop de faux positifs, mais peu de faux négatifs ; pour une barrière CI, c’est suffisant ».
Le DUSK de 2018 ressemblait à un groupe de paranoïaques de la cryptographie. Le DUSK de 2026 commence à se demander : « comment éviter que le développeur Solidity lambda n’écrive la confidentialité de travers ». Le RWA ne se concrétise pas grâce à des papers de cryptographie, mais en aidant des programmeurs intermédiaires à moins faire d’erreurs. Pituitary n’est pas sexy, mais c’est un échafaudage avant de lancer l’écosystème. #dusk $DUSK @Dusk
2026-03-26, un article sur le compte officiel : « Pituitary: AI Spec Drift Detection ». Le titre ressemble à un projet IA qui profite du buzz, et en cliquant, on découvre que c’est un outil destiné aux développeurs : utiliser un LLM pour comparer « l’intention de contrat que vous avez écrite » et « les contraintes réelles des circuits ZK » ; en cas de dérive, une alerte se déclenche.
Pourquoi DUSK fait ça ? Parce que la trajectoire de développement s’est scindée : sur DuskVM, écrire des contrats Rust/WASM implique d’écrire à la main des contraintes ZK. En passant à Solidity, on s’appuie sur DuskEVM + Hedger pour encapsuler automatiquement une couche. Et c’est là que le piège est le plus facile : « je pensais que le montant était masqué, mais en fait il ne l’est pas ». Pituitary sert à transformer une spécification en langage naturel (par exemple : « le solde n’est pas visible du public, mais peut être prouvé par un auditeur ») en assertions formelles, puis à comparer avec le diff des artefacts compilés.
J’ai regardé leur GitHub : le cœur, c’est un service Python + Ollama local en option. Pas d’obligation de passer par le cloud, ce qui colle avec la manie de souveraineté des données en Europe. Dans le groupe, certains qui font des prêts sur ZK ont testé : « trop de faux positifs, mais peu de faux négatifs ; pour une barrière CI, c’est suffisant ».
Le DUSK de 2018 ressemblait à un groupe de paranoïaques de la cryptographie. Le DUSK de 2026 commence à se demander : « comment éviter que le développeur Solidity lambda n’écrive la confidentialité de travers ». Le RWA ne se concrétise pas grâce à des papers de cryptographie, mais en aidant des programmeurs intermédiaires à moins faire d’erreurs. Pituitary n’est pas sexy, mais c’est un échafaudage avant de lancer l’écosystème. #dusk $DUSK @Dusk