Віталік Бутерін: У 2030-х роках можливо досягти написання бездоганного коду

Ethereum засновник Віталік Бутерін нещодавно поділився сміливим технічним прогнозом на соціальних платформах. Він вважає, що “Bug є неминучим у програмуванні” — ця загальноприйнята точка зору, ймовірно, буде зруйнована до 2030-х років.

Від неможливого до можливого: безпомилковий код

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

Передумови: баланс між функціональністю та безпекою

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

Фінансові та безпеково-чутливі сфери першими зроблять прорив

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

Цей прогноз Віталіка Бутеріна відображає тенденцію розвитку технологій — від пасивного прийняття Bug до активного їх усунення. До 2030-х років це вже може бути не мрією, а цілком досяжною метою.