《Pituitary：команда DUSK в тренде ИИ запихнула в систему «детектор дрейфа спецификаций» — довольно упорно и при этом довольно умно»
26.03.2026 официальный аккаунт опубликовал материал «Pituitary: AI Spec Drift Detection». По названию похоже на попытку словить хайп вокруг ИИ-проектов, но при открытии выясняется, что это инструмент для разработчиков: LLM сравнивает «намерение в контрактной спецификации, которое вы описали» и «реальные ограничения ZK-схемы», а при дрейфе поднимает тревогу.
Зачем DUSK делает это? Потому что у его разработчиков путь разветвляется: в DuskVM написание Rust/WASM-контрактов требует вручную прописывать ZK-ограничения. Solidity мигрирует через DuskEVM+Hedger, который автоматически оборачивает всё слоем «между прочим». И именно там проще всего попасть в ловушку «я думал, что скрыто, а деньги на самом деле не скрыты».
Pituitary как раз и переводит естественно-языковую спецификацию (например: «баланс для публики недоступен, но аудитору его можно доказуемо показать») в формальные утверждения и затем сравнивает их с диффом компилированного результата.
Я зашёл к ним на GitHub — главное: Python-сервис + локально доступный Ollama (опционально), без обязательной облачной части; так что это соответствует «европейской фетишизации суверенитета данных». В чате люди, которые пробовали ZK-кредитование, сказали: «ложных срабатываний много, но пропусков мало — для CI и как контрольно-пропускной механизм достаточно».
DUSK образца 2018 года — это, по сути, группа криптографических параноиков. А DUSK 2026 года уже думает: «как сделать так, чтобы обычный Solidity-разработчик не написал приватность с ошибками». RWA — это не то, что внедряют “согласно криптографическому хайпу” из статей, а то, что внедряют, помогая среднему программисту меньше тупо ошибаться. Pituitary не выглядит сексуально, но это строительные леса перед тем, как экосистема начнёт расти в полную силу. #dusk $DUSK @Dusk
26.03.2026 официальный аккаунт опубликовал материал «Pituitary: AI Spec Drift Detection». По названию похоже на попытку словить хайп вокруг ИИ-проектов, но при открытии выясняется, что это инструмент для разработчиков: LLM сравнивает «намерение в контрактной спецификации, которое вы описали» и «реальные ограничения ZK-схемы», а при дрейфе поднимает тревогу.
Зачем DUSK делает это? Потому что у его разработчиков путь разветвляется: в DuskVM написание Rust/WASM-контрактов требует вручную прописывать ZK-ограничения. Solidity мигрирует через DuskEVM+Hedger, который автоматически оборачивает всё слоем «между прочим». И именно там проще всего попасть в ловушку «я думал, что скрыто, а деньги на самом деле не скрыты».
Pituitary как раз и переводит естественно-языковую спецификацию (например: «баланс для публики недоступен, но аудитору его можно доказуемо показать») в формальные утверждения и затем сравнивает их с диффом компилированного результата.
Я зашёл к ним на GitHub — главное: Python-сервис + локально доступный Ollama (опционально), без обязательной облачной части; так что это соответствует «европейской фетишизации суверенитета данных». В чате люди, которые пробовали ZK-кредитование, сказали: «ложных срабатываний много, но пропусков мало — для CI и как контрольно-пропускной механизм достаточно».
DUSK образца 2018 года — это, по сути, группа криптографических параноиков. А DUSK 2026 года уже думает: «как сделать так, чтобы обычный Solidity-разработчик не написал приватность с ошибками». RWA — это не то, что внедряют “согласно криптографическому хайпу” из статей, а то, что внедряют, помогая среднему программисту меньше тупо ошибаться. Pituitary не выглядит сексуально, но это строительные леса перед тем, как экосистема начнёт расти в полную силу. #dusk $DUSK @Dusk