Подтверждено — он опубликовал это 17 сентября, вторую AI-ветку по безопасности за 10 дней.$G $UNI
*Бутерин vs тезис об AI-апокалипсисе:*
1. *7 сен:* Отклонил утверждение Лирона Шапиры, что ИИ обрушит BTC на 50% за 2 года. Сказал, что BTC не нужна социальная консенсусность для правок на уровне сети — достаточно патчей клиента/майнинг-пула, шанс сломать
2. *17 сен:* Новый длинный пост о верификации:
- *Ключевая идея:* «ИИ дает возможность писать большие объемы кода за счет точности, а формальная верификация возвращает точность» — неаккуратный AI-код — временная проблема, потому что проверенное доказательство постоянно, баг — разовый
- *Киберпанк-защита:* У защитников преимущество. Мрачное будущее, где ИИ делает открытый исходный код незащищаемым — ломает дух свободы интернета
- *Что он строит:* Arklib = формально верифицированные STARKs, evm-asm = EVM, сделанный проверяемым, плюс живые примеры — AI-агенты уже нашли *CVE-2026-34219* удаленный краш в libp2p Gossipsub, проект http://better.codes интегрирует AI + машинно-проверяемые доказательства
- *90% чистого капитала в крипте* — говорит, что держать крипто = защита-ставка держит темп с атакой
*Ограничения, которые он признает:*
- Риск спецификации: доказательство бессмысленно, если спецификация неверна, определения могут быть 1000+ строк
- Аппаратное обеспечение нельзя формально верифицировать как софт, плюс компилятор, side-channel, управление, сбои оракула
*Но со стороны атаки это действительно так:* отчет Anthropic об угрозах за сентябрь — наблюдал, как ИИ автоматизирует исследования уязвимостей, разработку эксплойтов, кампании на несколько целей; 2,300 уязвимостей, найденных ИИ, в 392 проектах OSS, 832 аккаунта, использующих ИИ по цепочке убийства, некоторые пайплайны производят zero-day, валидированные в тестовой среде
Итак, его вывод: ИИ не делает атаки неостановимыми — он делает *верификацию достаточно дешевой, чтобы сократить доверенное ядро*. Не паника, но «держать защищенное ядро маленьким, даже сокращать его».#HKMAPlansWholesaleCBDCByYearEnd #BOJHikesRatesTo31YearHigh #ChainlinkPowersBottomlinePaymentPlatform
*Бутерин vs тезис об AI-апокалипсисе:*
1. *7 сен:* Отклонил утверждение Лирона Шапиры, что ИИ обрушит BTC на 50% за 2 года. Сказал, что BTC не нужна социальная консенсусность для правок на уровне сети — достаточно патчей клиента/майнинг-пула, шанс сломать
2. *17 сен:* Новый длинный пост о верификации:
- *Ключевая идея:* «ИИ дает возможность писать большие объемы кода за счет точности, а формальная верификация возвращает точность» — неаккуратный AI-код — временная проблема, потому что проверенное доказательство постоянно, баг — разовый
- *Киберпанк-защита:* У защитников преимущество. Мрачное будущее, где ИИ делает открытый исходный код незащищаемым — ломает дух свободы интернета
- *Что он строит:* Arklib = формально верифицированные STARKs, evm-asm = EVM, сделанный проверяемым, плюс живые примеры — AI-агенты уже нашли *CVE-2026-34219* удаленный краш в libp2p Gossipsub, проект http://better.codes интегрирует AI + машинно-проверяемые доказательства
- *90% чистого капитала в крипте* — говорит, что держать крипто = защита-ставка держит темп с атакой
*Ограничения, которые он признает:*
- Риск спецификации: доказательство бессмысленно, если спецификация неверна, определения могут быть 1000+ строк
- Аппаратное обеспечение нельзя формально верифицировать как софт, плюс компилятор, side-channel, управление, сбои оракула
*Но со стороны атаки это действительно так:* отчет Anthropic об угрозах за сентябрь — наблюдал, как ИИ автоматизирует исследования уязвимостей, разработку эксплойтов, кампании на несколько целей; 2,300 уязвимостей, найденных ИИ, в 392 проектах OSS, 832 аккаунта, использующих ИИ по цепочке убийства, некоторые пайплайны производят zero-day, валидированные в тестовой среде
Итак, его вывод: ИИ не делает атаки неостановимыми — он делает *верификацию достаточно дешевой, чтобы сократить доверенное ядро*. Не паника, но «держать защищенное ядро маленьким, даже сокращать его».#HKMAPlansWholesaleCBDCByYearEnd #BOJHikesRatesTo31YearHigh #ChainlinkPowersBottomlinePaymentPlatform
