#链上应用与预测市场 Увидев этот прогноз Виталика, моей первой реакцией была одновременно знакомость и странность. Знакомость потому, что я уже много раз слышал в этом сообществе подобные утверждения типа "технология в конце концов решит всё"; странность потому, что на этот раз это звучит особенно весомо.

Вспоминаю волну ICO в 2017 году — сколько проектов поднимали деньги под лозунгами "смарт-контракты изменят мир", заработав миллионы, а что получилось? Инцидент с The DAO, уязвимость кошелька Parity, бесчисленные "контракты с ошибками на миллион долларов" показали нам простую истину — хрупкость кода — это не баг, это судьба. Множество проектов того времени погибли именно из-за этой судьбы.

Но когда Виталик говорит о коде без ошибок, по сути он имеет в виду формальную верификацию и доказуемую корректность. Это не фантазия. За последние годы, начиная с модели ресурсов языка Move, механизмов безопасности памяти Rust и продвижения доказательств с нулевым разглашением в блокчейн-приложениях — мы действительно приближаемся в этом направлении. Просто расплата за это — удлинение цикла разработки и снижение производительности в определённых сценариях.

Ключевой вопрос: смогут ли эти инструменты действительно стать мейнстримом к 2030-м годам? Или они останутся только в неболших приложениях с максимальными требованиями к безопасности? Я склоняюсь ко второму варианту. Посмотрите на историю прогнозных рынков — между технологическим прорывом и практическим внедрением часто пролегает пропасть под названием "экономические стимулы". Код без ошибок может стать возможным, но сможет ли рынок принять его стоимость — это совсем другой вопрос.

В этом цикле меня больше интересует, кто сможет выжить в процессе этого переходного периода.