ИССЛЕДОВАНИЕ · RESEARCH · #2887
Измерение потерь намерений при создании смарт‑контрактов ИИ (arXiv:2610.37830v1)
В новой статье на arXiv предложена оценка на основе исполнения: те же транзакции прогоняют по сгенерированному ИИ смарт‑контракту и по оригиналу, чтобы измерить совпадение поведения. Авторы показывают, что распространённые инструменты проверки и автоматические исправления пропускают очевидные ошибки, проверка только включённых функций скрывает отличия, и предлагают «elicitation‑first» — короткий опрос требований до генерации; они публикуют инструменты, 600 задач и все результаты, причём опрос до написания кода лучше восстанавливает намерения, чем последующие правки.
КЛЮЧЕВЫЕ ТЕЗИСЫ
- В новой статье на arXiv предложена оценка на основе исполнения: те же транзакции прогоняют по сгенерированному ИИ смарт‑контракту и по оригиналу, чтобы измерить совпадение поведения.
- Авторы показывают, что распространённые инструменты проверки и автоматические исправления пропускают очевидные ошибки, проверка только включённых функций скрывает отличия, и предлагают «elicitation‑first» — короткий опрос требований до генерации; они публикуют инструменты, 600 задач и все результаты, причём опрос до написания кода лучше восстанавливает намерения, чем последующие правки.
- Поскольку смарт‑контракты необратимы и оперируют деньгами, важно, что опрос требований до генерации и проверка через прогон транзакций выявляют больше несоответствий поведения, тогда как обычные автоматические проверки часто пропускают или ломают требования.
ПОЧЕМУ ЭТО ВАЖНО
Поскольку смарт‑контракты необратимы и оперируют деньгами, важно, что опрос требований до генерации и проверка через прогон транзакций выявляют больше несоответствий поведения, тогда как обычные автоматические проверки часто пропускают или ломают требования.