Співзасновник 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 — це баги в коді, і все, що могло б істотно змінити ситуацію, було б приголомшливо», — написав він.
Однак у компанії OpenZeppelin раніше отримали неоднозначні результати під час експериментів із використанням GPT-4 від OpenAI для перевірки безпеки смарт-контрактів на Solidity — нативній мові програмування Ethereum.
На той момент глава підрозділу машинного навчання фірми Маріко Вакабаясі у статті для Cointelegraph у липні 2023 року зазначила, що чат-бот виявив уразливості тільки у 20 із 28 поставлених завдань. За її словами, у низці випадків результати були «відверто погані». Іноді нейромережі були потрібні навідні запитання, а одного разу вона просто винайшла баг, якого не було.
Вакабаясі також нагадала, що приблизно такі самі результати отримали фахівці Coinbase, поекспериментувавши з перевіркою безпеки токенів за допомогою ChatGPT.
«Сам по собі ШІ не замінить людей. Однак аудитори, які навчаться використовувати ці інструменти, будуть набагато ефективнішими, ніж ті, хто закриває очі на нову технологію», — підсумувала вона.
У коментарі для видання директор із безпеки CertiK Кан Лі розповів, що використання рішень на кшталт ChatGPT у створенні коду часто створює більше проблем із вразливостями, ніж вирішує. Загалом він рекомендував використовувати ШІ-інструменти тільки як помічника досвідченим програмістам.
«Я думаю, що ChatGPT — чудовий корисний інструмент для людей, які займаються аналізом коду і зворотним інжинірингом. Це, безумовно, хороший асистент, і він значно підвищить нашу ефективність», — підкреслив Лі.
Нагадаємо, у січні Бутерін розглянув перспективи взаємодії технологій ШІ та криптовалют, виділивши чотири перспективні можливості синергії.
Ваша e-mail адреса не оприлюднюватиметься. Обов’язкові поля позначені *
Цей сайт використовує Akismet для зменшення спаму. Дізнайтеся, як обробляються ваші дані коментарів.
L2-проєкт Fuel, який позиціюється як «найшвидший у світі модульний рівень виконання»,…
Фахівці Google Quantum AI представили новітній квантовий чип Willow, на можливості якого як потенційної…
Найбільші банки України підписали меморандум, який встановлює обмеження на вихідні перекази за відсутності…
Майнінгова компанія MARA Holdings купила 11 774 BTC за ~$1,1 млрд за середньою ціною…
Відомий критик біткоїна Пітер Шифф заявив, що чинному президенту США Джо Байдену…
Відома як «криптомама» комісарка SEC Хестер Пірс в інтерв’ю Fox Business окреслила три…
Binance видалила маркетплейс для торгівлі біткоїн-«написами» з Web3-гаманця. Про це повідомила служба підтримки…
На початок четвертого кварталу 2024 року налічувалося 109 млн власників USDT, що більш ніж…