《Pituitary：DUSK 团队在 AI 潮里塞了个"规格漂移检测器"，挺轴也挺聪明》
2026-03-26 官博一篇《Pituitary: AI Spec Drift Detection》，标题像 AI 项目蹭热度，点开发现是给开发者用的工具：用 LLM 比对"你写的合约意图"和"ZK 电路实际约束"，漂移就报警。
为啥 DUSK 做这个？因为它的开发者路径分裂——DuskVM 上写 Rust/WASM 合约要手撸 ZK 约束，Solidity 迁过来靠 DuskEVM+Hedger 自动包一层，中间最容易出"我以为隐了金额其实没隐"的坑。Pituitary 就是把自然语言 spec（比如"余额对公众不可见但审计方可证"）转成形式化断言，跟编译产物 diff。
我拉他们 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 就是把自然语言 spec（比如"余额对公众不可见但审计方可证"）转成形式化断言，跟编译产物 diff。
我拉他们 GitHub 看了，核心是 Python 服务+本地 Ollama 可选，不强制上云，符合欧洲数据主权癖。群里有做 ZK 借贷的试了，说"误报多但漏报少，当 CI 门禁够用"。
2018 年的 DUSK 像一群密码学偏执狂，2026 年的 DUSK 开始想"怎么让普通 Solidity 民工别把隐私写漏"。RWA 不是靠密码学论文落地，是靠让中级程序员少犯傻落地。Pituitary 不性感，但它是生态起量前的脚手架。#dusk $DUSK @Dusk