#链上应用与预测市场 看到Vitalik цей прогноз, моя перша реакція — і знайома, і незнайома. Знайома, бо такі «технічні рішення з часом все вирішать» вже звучали у цьому колі занадто багато разів; незнайома, бо цього разу сказано з особливою вагомістю.

Згадую ту хвилю ICO 2017 року, коли багато проектів піднімали мільйони, обіцяючи, що «розумні контракти змінять світ», а що в підсумку? Події The DAO, уразливість гаманця Parity, безліч «мільйонних вразливостей у контрактах» — і ми побачили один факт: вразливість коду — це не баг, а доля. Ті проекти, що зазнали невдачі, багато з них загинули саме через цю долю.

Але слова Vitalik про безбаговий код фактично стосуються формалізованої верифікації та доведеної правильності. Це не фантазія. За останні кілька років, від ресурсної моделі мови Move до механізмів безпеки пам’яті в Rust, і до просування застосування нульових знань у блокчейні — ми дійсно крок за кроком наближаємося до цієї мети. Але ціна — подовження циклу розробки, а в деяких сценаріях — жертва продуктивності.

Головне питання: чи зможе ця технологія стати справжнім мейнстрімом до 2030-х? Чи залишиться вона лише для кількох застосувань, де потрібна абсолютна безпека? Я схиляюся до другого. Історія ринку прогнозів показує, що між технічним проривом і впровадженням часто лежить прірва під назвою «економічний стимул». Безбаговий код може стати реальністю, але чи зможе ринок прийняти його вартість — це зовсім інше питання.

У цьому циклі я більше зацікавлений у тому, хто зможе вижити в процесі цього переходу.