Співзасновник Ethereum Віталік Бутерін каже, що штучний інтелект може мати вирішальне значення для вирішення одного з «найбільших технічних» ризиків Ethereum — помилок, прихованих глибоко в коді.
У публікації на X від 18 лютого Бутерін поділився своїм захопленням аудитом на основі ШІ для виявлення та виправлення помилкового коду в мережі 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 (@VitalikБутерин) February 19, 2024
Коментарі Бутеріна прозвучали в той момент, коли Ethereum наближається до впровадження свого довгоочікуваного оновлення Dencun, яке наразі заплановано на 13 березня. Dencun було реалізовано в тестовій мережі Goerli 17 січня, але помилка в Prsym завадила завершити роботу мережі в тестовій мережі длячотири години. Оновлення мережі Ethereum мають вирішальне значення для довгострокової дорожньої карти блокчейну.
Однак не всі погоджуються з тим, що ШІ є надійним інструментом для виявлення помилок у коді на основі Ethereum.
У липні 2023 року OpenZeppelin провів серію експериментів, які використовували GPT-4 OpenAI для виявлення проблем безпеки в смарт-контрактах Solidity — рідній мові коду Ethereum.
Під час цих експериментів GPT-4 успішно виявив уразливості в 20 із 28 завдань.
Коли GPT-4 не вдавалося виявити недоліки, його часто можна було запропонувати швидко виправити свої помилки. Однак в інший час OpenZeppelin виявив, що штучний інтелект насправді винайшов уразливість, якої взагалі ніколи не існувало.
Подібним чином Кан Лі, головний спеціаліст із безпеки CertiK, сказав Cointelegraph, що використання інструментів на основі ШІ, таких як ChatGPT, під час кодування часто створює більше проблем із безпекою, ніж вирішує.
Загалом Лі рекомендує використовувати помічників AI лише як «помічників» для досвідчених програмістів, оскільки вони можуть бути корисними для швидкого пояснення розробникам, що означає рядок коду.
«Я вважаю, що ChatGPT — чудовий корисний інструмент для людей, які займаються аналізом коду та зворотним проектуванням. Це, безумовно, хороший помічник, і він значно покращить нашу ефективність».
За темою: втілення мрії Віталіка Бутеріна про шифрпанк про Ethereum
Хоча Бутерін здебільшого оптимістично налаштований щодо майбутнього штучного інтелекту, він раніше попереджав розробників проявляти обережність при впровадженні штучного інтелекту з технологією блокчейн, особливо під час розгортання його разом із додатками «високого ризику», такими як оракули.
«Важливо бути обережним: якщо хтось створює, наприклад, ринок прогнозів або стейблкоїн, який використовує оракул ШІ, і виявляється, що оракул можна атакувати, це величезна сума грошей, яка може зникнути миттєво».
