《Pituitary: equipe DUSK enfiou um “detector de desvio de especificações” na onda de IA; bem assertivo e também inteligente》
2026-03-26, um post na conta oficial trouxe “Pituitary: AI Spec Drift Detection”. O título parece aproveitar o hype de projetos de IA; ao clicar, descobrimos que é uma ferramenta feita para desenvolvedores: usar LLMs para comparar “a intenção do contrato que você escreveu” com “as restrições reais do circuito ZK”; se houver desvio, o sistema alerta.
Por que a DUSK fez isso? Porque o caminho de desenvolvimento deles foi dividido — ao escrever contratos Rust/WASM no DuskVM, é preciso montar manualmente as restrições de ZK; ao migrar para Solidity, funciona com DuskEVM + Hedger, que envolve automaticamente uma camada no meio. É justamente aí que surgem as armadilhas mais comuns: “eu achei que tinha ocultado o valor, mas na verdade não tinha ocultado”. O Pituitary transforma specs em linguagem natural (por exemplo, “saldo não deve ser público, mas pode ser provado pelo auditor”) em asserções formais e depois compara com o diff do artefato compilado.
Eu dei uma olhada no GitHub deles: o núcleo é um serviço em Python + Ollama opcional local, sem impor necessidade de nuvem — atende ao gosto europeu por soberania de dados. No grupo, gente que testou ZK lending disse: “gera muitos falsos positivos, mas poucos falsos negativos; para um bloqueio de CI, dá para usar”.
A DUSK de 2018 parecia um bando de paranoicos por criptografia; a DUSK de 2026 começou a pensar: “como fazer para que o trabalhador comum de Solidity não deixe privacidade vazar por engano”. RWA não depende de aterrissar com paper de criptografia — depende de permitir que desenvolvedores intermediários cometam menos besteiras na prática. O Pituitary não é nada sexy, mas é o andaime antes de a comunidade ganhar tração. #dusk $DUSK @Dusk
2026-03-26, um post na conta oficial trouxe “Pituitary: AI Spec Drift Detection”. O título parece aproveitar o hype de projetos de IA; ao clicar, descobrimos que é uma ferramenta feita para desenvolvedores: usar LLMs para comparar “a intenção do contrato que você escreveu” com “as restrições reais do circuito ZK”; se houver desvio, o sistema alerta.
Por que a DUSK fez isso? Porque o caminho de desenvolvimento deles foi dividido — ao escrever contratos Rust/WASM no DuskVM, é preciso montar manualmente as restrições de ZK; ao migrar para Solidity, funciona com DuskEVM + Hedger, que envolve automaticamente uma camada no meio. É justamente aí que surgem as armadilhas mais comuns: “eu achei que tinha ocultado o valor, mas na verdade não tinha ocultado”. O Pituitary transforma specs em linguagem natural (por exemplo, “saldo não deve ser público, mas pode ser provado pelo auditor”) em asserções formais e depois compara com o diff do artefato compilado.
Eu dei uma olhada no GitHub deles: o núcleo é um serviço em Python + Ollama opcional local, sem impor necessidade de nuvem — atende ao gosto europeu por soberania de dados. No grupo, gente que testou ZK lending disse: “gera muitos falsos positivos, mas poucos falsos negativos; para um bloqueio de CI, dá para usar”.
A DUSK de 2018 parecia um bando de paranoicos por criptografia; a DUSK de 2026 começou a pensar: “como fazer para que o trabalhador comum de Solidity não deixe privacidade vazar por engano”. RWA não depende de aterrissar com paper de criptografia — depende de permitir que desenvolvedores intermediários cometam menos besteiras na prática. O Pituitary não é nada sexy, mas é o andaime antes de a comunidade ganhar tração. #dusk $DUSK @Dusk