Виталик вчера подтвердил то о чём мы тут говорим каждый день - один человек с AI заменяет целую команду разработчиков

Началось с пари. Чувак @yq_acc поспорил с Виталиком что один человек может вайб-кодингом собрать полный Ethereum-клиент под роадмап 2030. И собрал. За две недели 😱

ETH2030 - 702 тысячи строк кода. 18000+ тестов, 65 пунктов роадмапа реализованы. Подключается к реальной сети Ethereum и работает. Один человек, две недели и только вайб-код.

Понятно что там баги и заглушки - за две недели идеальный код не напишешь. Но полгода назад даже такое было за гранью возможного, и Виталик это признал.

Виталик после этого спора сам протестил - пересобрал свой блог-движок за час на 20-миллиардной модели которая крутилась локально на ноуте. Говорит что kimi-2.5 вообще бы с одного промпта сделал это.

Но самый сильный тейк не про скорость. Виталик говорит - половину выигрыша от AI надо тратить на безопасность. Больше тестов, несколько независимых реализаций одного и того же. И формальная верификация

Я полез разбираться что это вообще такое. Если коротко - это когда ты не просто тестируешь код а математически доказываешь что он работает правильно при любых входных данных. Не прогнал 100 тестов и вроде ок, а там прям настоящая теорема. Оказывается стейблкоин DAI так и сделан - их ядро верифицировано ещё в 2018 году. Держит привязку к доллару с 2017 и пережил каждый крэш и теперь понятно почему

Виталик запустил проект LeanEthereum - цель верифицировать весь протокол целиком. AI уже помогает генерить такие доказательства в разы быстрее чем люди

Его фраза: "bug-free код, который всегда считался утопией - наконец может стать сначала возможным, а потом базовым ожиданием"

Роадмап Ethereum может обновиться сильно быстрее чем все ожидают. Вайб-кодинг как двигатель главного блокчейна.

Оригинал треда | ETH2030

📱 Youtube | 💬Чат | 📱 Канал