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

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

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

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