《Pituitary: El equipo DUSK metió un “detector de deriva de especificaciones” en la ola de la IA; bastante duro y también bastante inteligente》
2026-03-26, una publicación en la cuenta oficial titulada 《Pituitary: AI Spec Drift Detection》. El título suena a que intenta aprovechar el hype de los proyectos de IA; al entrar, resulta ser una herramienta para desarrolladores: usa un LLM para comparar “la intención del contrato que escribiste” y “las restricciones reales del circuito ZK”, y si hay deriva, alerta.
¿Por qué DUSK hace esto? Porque su ruta de desarrollo se bifurca: en DuskVM escribir contratos Rust/WASM implica crear a mano las restricciones ZK; migrar desde Solidity hacia allí se apoya en DuskEVM+Hedger para envolver automáticamente una capa. En medio, es donde más fácil se cae en trampas como “creía que había ocultado el importe, pero en realidad no lo oculté”. Pituitary convierte una especificación en lenguaje natural (por ejemplo: “el saldo no es visible para el público, pero puede demostrarse por parte de un auditor”) en aserciones formales y luego compara con la diferencia del compilado.
Revisé su GitHub: lo central es un servicio en Python con una opción de Ollama local; no es obligatorio subir a la nube, lo cual encaja con el gusto europeo por la soberanía de los datos. En el grupo, algunos que estaban probando préstamos con ZK dijeron: “hay muchos falsos positivos pero pocos falsos negativos; para que el control de acceso del CI funcione, alcanza”.
El DUSK de 2018 era como un grupo de paranoicos de la criptografía; el DUSK de 2026 empieza a pensar: “¿cómo hacemos para que el típico currante de Solidity no deje escapar la privacidad sin querer?”. RWA no se logra con papers criptográficos, sino haciendo que programadores de nivel medio cometan menos estupideces. Pituitary no es nada sexy, pero es el andamiaje antes de que el ecosistema arranque. #dusk $DUSK @Dusk
2026-03-26, una publicación en la cuenta oficial titulada 《Pituitary: AI Spec Drift Detection》. El título suena a que intenta aprovechar el hype de los proyectos de IA; al entrar, resulta ser una herramienta para desarrolladores: usa un LLM para comparar “la intención del contrato que escribiste” y “las restricciones reales del circuito ZK”, y si hay deriva, alerta.
¿Por qué DUSK hace esto? Porque su ruta de desarrollo se bifurca: en DuskVM escribir contratos Rust/WASM implica crear a mano las restricciones ZK; migrar desde Solidity hacia allí se apoya en DuskEVM+Hedger para envolver automáticamente una capa. En medio, es donde más fácil se cae en trampas como “creía que había ocultado el importe, pero en realidad no lo oculté”. Pituitary convierte una especificación en lenguaje natural (por ejemplo: “el saldo no es visible para el público, pero puede demostrarse por parte de un auditor”) en aserciones formales y luego compara con la diferencia del compilado.
Revisé su GitHub: lo central es un servicio en Python con una opción de Ollama local; no es obligatorio subir a la nube, lo cual encaja con el gusto europeo por la soberanía de los datos. En el grupo, algunos que estaban probando préstamos con ZK dijeron: “hay muchos falsos positivos pero pocos falsos negativos; para que el control de acceso del CI funcione, alcanza”.
El DUSK de 2018 era como un grupo de paranoicos de la criptografía; el DUSK de 2026 empieza a pensar: “¿cómo hacemos para que el típico currante de Solidity no deje escapar la privacidad sin querer?”. RWA no se logra con papers criptográficos, sino haciendo que programadores de nivel medio cometan menos estupideces. Pituitary no es nada sexy, pero es el andamiaje antes de que el ecosistema arranque. #dusk $DUSK @Dusk