《下垂体：DUSK チームがAIの潮流に「仕様ドリフト検出器」をねじ込んで、かなり筋が通っていて賢い》
2026-03-26 公式ブログの投稿「Pituitary: AI Spec Drift Detection」。タイトルはAIプロジェクトの熱に便乗しているように見えるが、開いてみると開発者向けのツールだと分かる。LLMを使って「あなたが書いた契約意図」と「ZK回路の実際の制約」を照合し、ドリフトがあればアラートを出す。
なぜDUSKがこれをやるのか？ 開発者のルートが分岐しているからだ。DuskVM上でRust/WASMのコントラクトを書くにはZK制約を手作業で組む必要がある。一方Solidityに移る場合はDuskEVM＋Hedgerが自動でその手前に層を包んでくれるが、その間に一番起きやすいのは「隠したつもりが、実は金額が隠れていない」系の落とし穴。Pituitaryは自然言語の仕様（たとえば「残高は一般に見えないが、監査者は証明できる」）を形式的な断言へ変換し、コンパイル成果物との差分と突き合わせる。
彼らのGitHubを見に行ったところ、中心はPythonのサービス＋ローカルOllamaの任意利用で、クラウドへの強制はない。ヨーロッパのデータ主権の好みに合っている。グループでZKローンを試した人がいて、「誤報は多いけど見逃しは少ない。CIの入門ゲートとしては十分使える」とのことだった。
2018年のDUSKは暗号学に偏執する人たちの集まりのようで、2026年のDUSKは「普通のSolidityの現場作業者がプライバシーを漏らして書かないようにするにはどうするか」を考え始めた。RWAは暗号論文の着地ではなく、中級のプログラマがバカなミスをしにくくすることで現場に降りる。Pituitaryは派手ではないが、エコシステムが立ち上がる前の足場としては重要だ。#dusk $DUSK @Dusk
2026-03-26 公式ブログの投稿「Pituitary: AI Spec Drift Detection」。タイトルはAIプロジェクトの熱に便乗しているように見えるが、開いてみると開発者向けのツールだと分かる。LLMを使って「あなたが書いた契約意図」と「ZK回路の実際の制約」を照合し、ドリフトがあればアラートを出す。
なぜDUSKがこれをやるのか？ 開発者のルートが分岐しているからだ。DuskVM上でRust/WASMのコントラクトを書くにはZK制約を手作業で組む必要がある。一方Solidityに移る場合はDuskEVM＋Hedgerが自動でその手前に層を包んでくれるが、その間に一番起きやすいのは「隠したつもりが、実は金額が隠れていない」系の落とし穴。Pituitaryは自然言語の仕様（たとえば「残高は一般に見えないが、監査者は証明できる」）を形式的な断言へ変換し、コンパイル成果物との差分と突き合わせる。
彼らのGitHubを見に行ったところ、中心はPythonのサービス＋ローカルOllamaの任意利用で、クラウドへの強制はない。ヨーロッパのデータ主権の好みに合っている。グループでZKローンを試した人がいて、「誤報は多いけど見逃しは少ない。CIの入門ゲートとしては十分使える」とのことだった。
2018年のDUSKは暗号学に偏執する人たちの集まりのようで、2026年のDUSKは「普通のSolidityの現場作業者がプライバシーを漏らして書かないようにするにはどうするか」を考え始めた。RWAは暗号論文の着地ではなく、中級のプログラマがバカなミスをしにくくすることで現場に降りる。Pituitaryは派手ではないが、エコシステムが立ち上がる前の足場としては重要だ。#dusk $DUSK @Dusk