Vitalik Buterin: Виправний код може стати реальністю у 2030-х роках

Віталік Бутерін вважає, що справжній безпомилковий код може стати реальністю вже у 2030-х роках, принаймні для розробників, які ставлять безпеку на перше місце. Це твердження він зробив після суперечливого хард-форку Gnosis Chain у грудні 2024 року, спрямованого на відновлення 9,4 мільйона доларів, втрачених у результаті атаки Balancer.

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

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