Виталик вчера подтвердил то о чём мы тут говорим каждый день - один человек с 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 | 💬Чат | 📱 Канал