Честно говоря, странно смотреть, как люди объясняют отток капитала в CEX и RWAs просто динамикой рыночного цикла. Они упускают настоящую структурную трансформацию. Открытый исходный код перестал быть величайшим преимуществом DeFi и превратился в смертельную уязвимость. Сейчас AI-эксплойт-агенты запускаются для сканирования каждого смарт-контракта в цепочке. Им буквально стоит $1,22, чтобы обратить код и масштабированно искать уязвимости. Нельзя оправдывать преследование 5% доходности, когда нужно учитывать постоянный риск того, что автономные боты будут круглосуточно читать ваш открытый код. Капитал отступает к закрытым платформам, потому что у них нет публичного байт-кода, который ИИ мог бы разобрать. Модель риска изменилась за одну ночь. Премиум риска для открытой финансовой системы сломан. Пока защита в цепочке не масштабируется в соответствии с нападением в цепочке, утечка не остановится.

НОВОСТЬ: Anthropic изменила позицию — теперь пользователям Mythos разрешено обмениваться информацией об угрозах кибербезопасности. #anthropic #bitcoin #cybersecurity","detected_source_language":"ru

Мы пережили это здесь, на XRP. Формальная верификация плюс ИИ изменили нашу безопасность и ослабили аргументы в пользу смарт-контрактов на цепочке. Еще раз спасибо всем, кто работает над XRPL 🙏

Завершён конкурсный аудит кодовой базы Olas на сумму $62 000 с @code4rena, и полный отчёт теперь опубликован. Отлично, что работа вардов помогла сделать кодовую базу Olas более надёжной. Прочитайте отчёт:

Экономическая асимметрия в безопасности смарт-контрактов всегда была жестокой. Атакующий тратит один вызов API, а защитник — неделю инженерного труда. Формальная верификация всегда была теоретически правильным решением. Причина, по которой она никогда не масштабировалась, заключалась в том, что написание спецификаций вручную — медленно и дорого. То, что построил @wgrieskamp, уничтожает этот барьер. → Claude Code интегрируется с Move Prover через MCP → ИИ генерирует спецификации → Верификатор проверяет их математически → Происходят итерации до успешной верификации Утомительная часть автоматизируется, а строгая часть остаётся строгой. @DecibelTrade — идеальная цель для доказательства эффективности этого подхода: сопоставление ордеров, логика маржи, ликвидация, ставка финансирования. Полный разбор от @wgrieskamp стоит вашего времени 👇🏻

Все меры защиты брандмауэра теперь полностью бесплатны на @vercel. Не только DDoS-защита и защита на уровне системы, но и любые правила, которые вы настроите. Vercel теперь берет на себя вычислительные и сетевые расходы, связанные с защитой от атак любого размера или фильтрацией трафика, чтобы вы чувствовали себя спокойно. (И это только начало!)

SR9 ТОЛЬКО ЧТО ПРОВЕРИЛ DEX НА $ICP — И «ДОВЕРЯЙ МНЕ, БРО» DEFi ДОЛЖЕН БЫТЬ НА ПУЛЬСЕ 🔥 Это настоящий $ICP-оптимизм. SR9 достиг первой полной вехи формальной верификации DEX. Это важно, потому что DeFi годами работал на слабой модели доверия: Доверяй разработчикам. Доверяй аудиту. Доверяй мультиподписи. Доверяй мосту. Доверяй фронтенду. Доверяй администратору обновлений. Доверяй, что никто не пропустил крайний случай. SR9 продвигает другую модель: Задай правила. Проверь поведение. Создай артефакты. Сделай утверждение проверяемым. Это серьёзный сдвиг. SR9 / Sector9 построен на Motoko и стеке Internet Computer. Их публичные материалы описывают инструментарий, использующий: • Исходный код на Motoko • Обязательства доказательств Viper / Silicon • Рассуждения SMT / Z3 • Модельная проверка TLA+ / TLC • Контент-адресуемые артефакты • Исполнение canister на $ICP Это не обычный крипто-инструментарий. Это серьёзная инфраструктура обеспечения надёжности. И именно здесь $ICP от @DFINITY постоянно недооценивают. Большинство блокчейнов всё ещё борются за: • Маркетинг TPS • Мемную ликвидность • Зависимость от мостов • Драму валидаторов • Фрагментированные приложения • Оффчейн фронтенды • Централизованное хостинг-размещение • Повторяющиеся циклы эксплуатации уязвимостей $ICP строит в другом направлении: • Полноценные приложения на цепочке • Смарт-контракты в виде canister • Разработка нативно на Motoko • Обратная модель газа • Создание ПО с помощью ИИ • Защищённое от подделок исполнение • Инструментарий, ориентированный на верификацию • Автономное ПО, не зависящее от одного оператора Речь идёт не просто об одном DEX. Речь о том, куда движется серьёзная крипто-инфраструктура. Агенты ИИ уже на подходе. Код, написанный ИИ, уже на подходе. Автономная торговля уже на подходе. Казначейства, управляемые машинами, уже на подходе. Сложность протоколов растёт. Поверхности атак расширяются. Одних аудитов уже не хватит. Следующая стадия требует ПО, где критическое поведение можно задать, проверить, оспорить и проверить снова. Вот почему SR9 важен. Формальная верификация — не магия. Она зависит от спецификации. Она зависит от допущений. Она не устраняет все реальные риски. Она не доказывает то, что никогда не было задано. Но она повышает стандарт. Она выводит крипто из состояния: «Поверьте нам». В сторону: «Вот артефакт. Проверьте его». Это взрослая версия DeFi. И снова серьёзный разговор об инфраструктуре возвращается к $ICP. Motoko. Canister. Вычисления на цепочке. Создание ПО с помощью ИИ. Формальные методы. Артефакты верификации. Автономные экономические каналы. Это то, что критики постоянно упускают. $ICP — это не просто попытка быть более быстрым блокчейном. Он создаёт стек, где ПО можно писать, размещать, управлять, верифицировать и исполнять на цепочке. Это не просто небольшое улучшение. Это основа для серьёзного автономного финансирования. SR9 всё ещё на ранней стадии. Sector9 всё ещё в альфа-версии. Полные детали доказательства ещё требуют проверки разработчиками и независимыми верификаторами. Но направление очевидно. Будущее не будет работать на смарт-контрактах «доверься мне, бро». Оно будет работать на проверяемых утверждениях, подтверждаемом поведении, более строгих спецификациях и инфраструктуре, способной переносить автономную экономическую ценность. А $ICP уже в этом разговоре. «Бычий» — это преуменьшение. #ICP #DFINITY #Motoko #SR9 #Sector9 #DeFi #FormalVerification #AI #Web3 #Onchain #Crypto #InternetComputer Вклад приветствуется: 1e672d038cebc619d93186418fa98f6499dbdb9cfdfac54f366c61a4a4ee4362

ВИТАЛИК БУТЕРИН ГОВОРИТ, ЧТО ФОРМАЛЬНАЯ ВЕРИФИКАЦИЯ С ПОМОЩЬЮ ИИ МОЖЕТ СТАТЬ САМЫМ ВАЖНЫМ СРЕДСТВОМ КИБЕРБЕЗОПАСНОСТИ В КРИПТОВАЛЮТЕ.

Виталик прав, что сочетание ИИ и формальной верификации может стать одним из самых важных подходов к разработке программного обеспечения. Безопасность в индустрии блокчейн может быть значительно улучшена. Нет, всё не так просто, как «ИИ пишет код, доказательства его проверяют, и поэтому ethereum становится свободным от ошибок». Более реалистичная версия выглядит так. ИИ делает инженерию с высокой степенью надёжности более доступной и масштабируемой. Командам всё равно нужно определить, что должно быть истинным, правильно смоделировать систему, поддерживать доказательства и проектировать системы, которые действительно можно верифицировать.

Anthropic проводит брифинг для Финансового стабильного совета G20 по вопросам киберуязвимостей ИИ. Конкретный триггер: Claude Mythos выявил киберуязвимости, настолько серьезные, что попали на стол регуляторов системных финансовых рисков. Почему это важно именно для криптовалют: Ончейн-системы являются наиболее привлекательными целями для эксплуатации с использованием ИИ. Неизменяемое расчетное обслуживание, автономное выполнение, мгновенная ликвидность = Более высокий стимул для атак.