hashtelegraph.com
Технология искусственного интеллекта может быть полезна для сети первого альткоина Ethereum. Об этом написал соучредитель Ethereum Виталик Бутерин в своем твиттере.
По мнению Бутерина, искусственный интеллект мог бы помочь с формальной проверкой кода. Это, в свою очередь, дало бы возможность избежать серьезных технических рисков и улучшить функционирование сети Ethereum.
One application of AI that I am excited about is AI-assisted formal verification of code and bug finding.
Right now ethereum's biggest technical risk probably is bugs in code, and anything that could significantly change the game on that would be amazing.
— vitalik.eth (@VitalikButerin) February 19, 2024
Сейчас самый большой технический риск для Ethereum — это, вероятно, баги в коде, и все, что могло бы существенно изменить ситуацию, было бы потрясающе.
Несмотря на популярность новой технологии, не все криптаны верят в волшебную силу искусственного интеллекта. В июне 2023 года специалисты компании OpenZeppelin, занимающейся безопасностью блокчейна, использовали ChatGPT-4 для прохождения уровней Etherenaut, тренировочного полигона для хакеров.
Ethernaut состоит из 28 смарт-контрактов или уровней, которые нужно взломать. Уровни завершаются, как только найден правильный эксплойт.
В ходе тестирования ChatGPT-4 смог найти эксплойт и пройти 20 из 28 уровней, но после первоначального запроса ему потребовались дополнительные подсказки, чтобы решить некоторые уровни.
Специалисты OpenZeppelin пришли к выводу, что большие языковые модели (LLM), такие как ChatGPT, еще не готовы для аудита безопасности смарт-контрактов, поскольку это задача, требующая значительной степени точности, а LLM оптимизированы для генерации текста, имитируя человеческие разговоры. Однако модель искусственного интеллекта, обученная с использованием адаптированных данных и выходных целей, может обеспечить более надежные решения, чем общедоступные чат-боты, обученные на больших объемах данных, считают исследователи.