Віталік прогнозує безпомилкове майбутнє для смарт-контрактів

Співзасновник Ethereum Віталік Бутерін прогнозує, що в 2030-х роках розробники, які зосереджуються на безпеці, зможуть створювати код без помилок.

Це виявилося актуальним після суперечливого жорсткого форку Gnosis Chain, який відновив 9,4 мільйона доларів, вкрадених під час атаки на Balancer у листопаді 2024 року.

Бутерін під час обговорення на платформі X зазначив, що віра в те, що «помилки неминучі» перестане бути правильною. Він пояснив, що формальна верифікація коду, хоч і не забезпечує абсолютну відсутність помилок, може значно знизити ймовірність їх виникнення.

Бутерін вказав на необхідність створення багатошарової системи безпеки, яка допоможе виявити розриви між намірами розробника і виконанням коду, наводячи приклади типізацій та формальної верифікації. Попри те, що деякі програмні рішення можуть продовжувати містити помилки в силу необхідності функціональності, розробники, орієнтовані на безпеку, отримають інструменти для створення дійсно безпомилкового коду.