de

Компания искусственного интеллекта Anthropic выпустила исследование Frontier Red Team 22 октября, в котором утверждается, что большие языковые модели теперь могут автоматически составлять формальные доказательства в более широком масштабе. Команда сотрудничала с Theorem, используя Claude на уровне ассемблера RISC-V для доказательства безопасных свойств более чем 100 реальных открытых библиотек, и заявила, что это первый известный случай использования ИИ для масштабной формальной верификации производственного программного обеспечения на уровне ассемблера. В процессе написания доказательства были обнаружены уязвимости, которые не были замечены в течение многих лет.Эксперимент преобразовал существующие компилируемые тесты fuzz из Google OSS-Fuzz в спецификацию: при предположениях о однопоточном статическом двоичном коде, фиксированном объеме памяти, процессоре RISC-V и Linux программа должна нормально завершаться и не вызывать ошибок безопасности памяти или сбоев утверждений для любых входных данных размером менее 64 МБ. В течение нескольких недель Claude, исправив обнаруженные проблемы, доказал вышеуказанные свойства для 239 точек входа из 123 библиотек OSS-Fuzz. Доказательства касались скомпилированных инструкций RISC-V, около 180 миллионов строк Rocq, и проверялись ядром Rocq. На странице говорится, что это не означает, что в этих библиотеках нет уязвимостей, оставшиеся проблемы могут находиться вне доверенных компонентов или области доказательства.На странице также говорится, что команда заставила Claude формализовать RFC 1950 и доказала, что реализация zlib в ядре Linux соответствует этой спецификации на уровне двоичного кода x86; интерпретатор, написанный на Rust и охватывающий большой подмножество Python, показал, что 99,95% случайно сгенерированных программ ведут себя так же, как CPython. В 36 небольших задачах верификации Opus 5.5 доказал, что для половины из них требуется на 40% меньше токенов, чем для Opus 5. Команда также отметила, что доказательства касаются однопоточных, статически связанных двоичных файлов RISC-V, и проверяющий не может определить, соответствует ли спецификация реальности.

Согласно отчету People's Finance, основатель 360 Чжоу Хунъи заявил, что полное открытие внутреннего AI фреймворка DeepInfer компанией DeepSeek свидетельствует о технологической уверенности и концепции открытого и доступного программного обеспечения.Чжоу Хунъи также отметил, что, если посмотреть глубже, это указывает на то, что борьба за технологический суверенитет в эпоху AI уже началась. Он сообщил, что 360 разработала набор суверенных AI операционных систем, которые уже используются в некоторых государственных и корпоративных учреждениях.

Согласно объявлению официального аккаунта Forma в X, основная сеть Forma прекратит работу на высоте блока 34,567,890, ожидаемое время — около 5 ноября, пользователи имеют около двух недель для вывода средств с цепи.После остановки цепи команда сделает снимок состояния цепи и перенесет оставшиеся TIA в Eden. Обе цепи являются EVM-цепями, пользователи могут использовать один и тот же адрес кошелька, после завершения миграции средства можно будет вывести из Eden.Modularium будет перенесен на Ethereum, соответствующие NFT также будут перенесены; владельцы должны будут самостоятельно получить их через вновь запущенный сайт Modularium, NFT не будут автоматически распределены. Официальные лица заявили, что миграция может занять несколько дней после остановки цепи, и будет сделано отдельное объявление, когда все миграции будут завершены, а также в ближайшие недели будут опубликованы дополнительные детали и инструкции.

Государственный телеканал Китая «Юйюаньтань Тянь» сообщил, что 16 октября после запуска регистрации экспорта технологий ИИ в Китае, DeepSeek и MiniMax успешно завершили регистрацию и завершили открытие и использование соответствующих технологий за границей.В настоящее время новый каталог все еще находится на стадии обсуждения, применяется временная система регистрации. Министерство торговли ранее уточняло, что технологии, которые уже стали общественными через открытый исходный код, не подлежат управлению, а новые технологии с открытым исходным кодом также имеют автоматические лицензии и другие удобные меры, что позволяет практически сразу подавать заявки. Предоставление моделей услуг за границу через API, веб-сайты и приложения также не подпадает под управление экспортом технологий больших моделей.

Британское управление по финансовому поведению (FCA) запустило два параллельных консультационных процесса, целью которых является сбор мнений отрасли о DeFi и предстоящей регуляторной рамке для криптоактивов. Оба консультационных процесса завершатся 18 ноября 2026 года; FCA планирует опубликовать окончательные рекомендации в январе 2027 года после рассмотрения отзывов.Первая консультация в основном направлена на компании, регулируемые FCA, которые используют протоколы DeFi или облегчают доступ к протоколам DeFi. Этот гид не предназначен для введения нового свода правил, а направлен на то, чтобы прояснить, как существующие регуляторные требования должны применяться, когда компании предоставляют услуги через высокоавтоматизированные системы на основе распределенного реестра. Вторая консультация исследует область применения регулирования криптоактивов в контексте недавних законодательных изменений (т.е. "регуляторные границы").

Согласно последнему отчету Glassnode о цепочках "Swept and Refilled", Gate демонстрирует выдающиеся результаты на рынке токенизированного золота и бессрочных контрактов, объемы позиций и доля рынка продолжают расти.В отчете отмечается, что с начала 2026 года Gate внес 42% в чистый прирост объема открытых позиций по бессрочным контрактам на токенизированное золото в мире, что превышает показатели всех остальных отслеживаемых бирж. В то же время, средний объем позиций Gate по бессрочным контрактам на токенизированное золото за 7 дней соответствует золотому экспозиции в 1,7 тонны, что занимает первое место в мире, опережая OKX с 1,5 тонны.Что касается спотового рынка, доля рынка Gate по объему торгов токенизированным золотом на спотовом рынке выросла с 0,6% в 2024 году до 12% на сегодняшний день в 2026 году, увеличившись в 20 раз. В отчете также подчеркивается, что с продолжающимся расширением доли рынка Gate стал одной из самых выдающихся торговых платформ по росту доли рынка токенизированного золота в этом году. Синхронное расширение спотового и деривативного рынков дополнительно отражает рыночную конкурентоспособность и потенциал роста Gate в области торговли токенизированным золотом.

Согласно отчету газеты «Кэчуанбань Жибао», компания искусственного интеллекта DeepSeek привлекла в новом раунде финансирования несколько промышленных и финансовых инвесторов, среди которых инвестиционная платформа Junlian Capital, принадлежащая Lenovo Holdings, специализированный на полупроводниках Shixi Capital и Geely.В то же время DeepSeek наняла CITIC Securities для предоставления консультационных услуг по своему IPO и в сентябре этого года привлекла нового финансового директора. Junlian Capital и Lenovo Group принадлежат к системе Lenovo Holdings, при этом Lenovo Group является основной промышленной компанией Lenovo Holdings, а Junlian Capital — важной инвестиционной платформой. Участие Junlian Capital в финансировании DeepSeek также означает, что капитал группы Lenovo официально вошел в состав акционеров DeepSeek.

Исследовательская медиа платформа Decentralised.co опубликовала: объем торгов опционов на блокчейне по-прежнему составляет менее 1% от объемов DEX бессрочных контрактов, в то время как объем торгов опционами на традиционных рынках составляет примерно в 3 раза больше, чем фьючерсы. Агентство провело бэктестирование цен закрытия биткойна с января 2018 года по октябрь 2026 года, и среди прибыльных быков вероятность ликвидации 10-кратных бессрочных контрактов за 180, 90 и 60 дней составляет 47%, 29% и 18% соответственно. В его воспроизведении 10 октября 2025 года три позиции по 1000 долларов в биткойне: 10-кратный бессрочный контракт был ликвидирован в 21:14, 30-дневный колл-опцион упал до 181 доллара, но в течение часа вернулся выше 800 долларов, 7-дневный пут-опцион за 52 доллара помог 10-кратным быкам пережить падение.Decentralised.co: в прошлом опционы на блокчейне часто терпели неудачу из-за разброса ордеров, трудностей с хеджированием и блокировки средств. Депозиты Hegic в мае 2021 года потеряли большую часть из примерно 80 миллионов долларов, депозиты Lyra за 7 месяцев потеряли 4.9% в биткойн-пуле и 17.6% в эфирном пуле, PsyOptions закрыл продукт в июне 2024 года. Комбинированные маржинальные средства с близостью к бессрочной ликвидности, такой как Hyperliquid, могут снизить заблокированные средства для продажи одного колл-опциона на биткойн с примерно 100 тысяч долларов до примерно 15 тысяч долларов, а месячная доходность увеличивается с 1.8% до примерно 12%.В статье Hyperliquid упоминается как основное место для хеджирования ликвидности, опционный протокол Derive (бывший Lyra) является базовым движком, Paradex обрабатывает крупные сделки, Hypercall — это первая площадка для опционов, построенная на Hyperliquid. Derive ликвидировала опционов на номинальную стоимость около 18 миллиардов долларов за год, закончившийся 19 октября. После подключения Paradex к Paradigm 15 сентября объем торгов опционами увеличился с менее чем 3 миллионов долларов до 58.7 миллионов долларов за неделю, а открытые контракты снизились с более чем 250 миллионов долларов до примерно 96 миллионов долларов к 14 октября. Номинальная стоимость опционов на блокчейне в сентябре 2026 года примерно удвоилась до 5 миллиардов долларов, а премия возросла до 85 миллионов долларов.

Гугл (GOOG.O) объявил о официальном запуске опции развертывания модели Claude, управляемой Anthropic, на Google Cloud.

Прогнозируемый оператор рынка Underdog заключил партнерство с поставщиком криптоинфраструктуры zerohash и планирует поддерживать пополнение криптовалюты и стейблкоинов позже в этом году. Квалифицированные пользователи смогут напрямую вносить поддерживаемые цифровые активы через приложение Underdog, сервис поддерживает круглосуточные почти мгновенные переводы. Underdog еще не объявил о конкретных поддерживаемых криптовалютах или стейблкоинах.Новый способ пополнения дополнит дебетовые карты, кредитные карты, Apple Pay и банковские переводы, пользователям не нужно управлять адресами кошельков или выбирать блокчейн-сеть. Underdog была основана в 2020 году, в настоящее время зарегистрировано более 11 миллионов аккаунтов. IG Group согласилась приобрести компанию за сумму до 1,3 миллиарда долларов, сделка ожидается к концу 2026 года или началу 2027 года. За 30 дней, завершившихся 21 октября, объем торгов Underdog составил 1,4 миллиарда долларов, что на 133% больше по сравнению с предыдущим периодом.

Финансовый сервисный департамент штата Нью-Йорк, США, сообщил, что выпустил предупреждение о двух ключевых уязвимостях PHP, призвав регулируемые организации быстро идентифицировать и исправить известные эксплуатируемые уязвимости.

Компания по инфраструктуре доменных имен D3 объявила о запуске Frontier Hyperliquid Vault, программы для участников, предоставляющей приоритетный доступ к новому раунду топовых доменных имен в интернете. Hyperion DeFi, зарегистрированная на Nasdaq (NASDAQ: HYPD), была названа стартовым партнером этого хранилища. D3 является основным вкладчиком Doma Protocol и одним из немногих сертифицированных ICANN регистраторов Web3, среди инвесторов - Paradigm.В момент запуска программы ICANN в августе 2026 года открыла второй раунд заявок на новые топовые доменные имена в истории интернета, получив более 1600 заявок, охватывающих такие суффиксы, как .agent, .crypto, .wallet, .sol, .robot и другие, включая .hype. Предыдущий раунд расширения произошел в 2012 году, в результате которого было создано около 1200 новых топовых доменных имен, которые сегодня используются десятками миллионов сайтов.Процесс участия заключается в следующем: пользователи в Solana и Hyperliquid вносят квалифицированные активы у поддерживаемых хостинг-провайдеров, зарабатывают Frontier Points и затем получают приоритет в регистрации доменных имен, обещая свои баллы до официальной регистрации. В рамках первоначального обязательства Hyperion DeFi получит распределение токенов DOMA в будущих потенциальных событиях генерации токенов в соответствии с соглашением о стимулировании с Doma Foundation. Doma Protocol - это блокчейн, совместимый с DNS, который нацелен на токенизацию рынка доменных имен объемом около 360 миллиардов долларов.

Согласно мониторингу Onchain Lens, кошелек FBTC ETF от Fidelity (bc1qfse...5cww9k) купил и вывел 282.63 BTC с Binance на сумму 23.08 миллиона долларов.

Согласно сообщению Cointelegraph, руководитель отдела европейской политики Coinbase Кэти Харрис написала, что предлагаемые правила регулирования криптоактивов Управлением по финансовому поведению Великобритании (FCA) могут потребовать от регулируемых платформ выполнять заказы клиентов только на торговых площадках, получивших разрешение FCA, что ограничит доступ пользователей к децентрализованным финансовым (DeFi) протоколам через соответствующие платформы.Поскольку децентрализованные протоколы обычно не имеют субъектов, которые могут подать заявку на получение регулирующего разрешения, соответствующие правила могут привести к тому, что регулируемые платформы не смогут предоставлять услуги доступа к DeFi, что фактически создаст запрет. Ожидается, что соответствующая система регулирования криптовалют вступит в силу с 25 октября 2027 года.

Согласно отчету о фундаментальных показателях за третий квартал 2026 года от Principia Labs, второй уровень сети Ethereum X Layer показал рост активности на цепи и масштаба экосистемы DeFi в третьем квартале. В частности, TradeZone обработал около 287 миллионов транзакций, что в 2.6 раза больше объема транзакций EVM за тот же период; среднее количество транзакций EVM в день увеличилось на 262% по сравнению с предыдущим периодом и составило 1.22 миллиона транзакций.В отчете также говорится, что общая заблокированная стоимость DeFi увеличилась на 100% по сравнению с предыдущим периодом и составила 173.4 миллиона долларов, доход от комиссий экосистемных приложений увеличился на 490% и составил 1.86 миллиона долларов. Рыночная капитализация OKB увеличилась на 53.8% и составила 2.54 миллиарда долларов. Principia Labs считает, что с развитием Exchange OS X Layer постепенно формирует полный стек торговой системы, охватывающей цепочные транзакции и приложения DeFi.

Платформа анализа данных DefiLlama сообщает о последнем отчете о резервах Gate за октябрь 2026 года. В отчете показано, что показатели резервов Gate впечатляют, подчеркивая его лидерство в построении прозрачности в отрасли.DefiLlama отмечает, что на момент запуска Gate Money прошло две недели, и последние данные о резервах, раскрытые Gate, показывают, что общая сумма резервов платформы достигла 8.688 миллиардов долларов, чистые активы клиентов составляют 7.332 миллиарда долларов, а общий коэффициент резервов поднялся до 118.49%, продолжая оставаться выше базовой линии полного резерва в 100%.Что касается основных активов, резерв BTC составляет 25,727 монет, коэффициент резервов достигает 121.60%; резерв ETH составляет 449,042 монеты, коэффициент резервов достигает 123.78%. В отношении стабильных монет общая сумма резервов платформы USDT, USDC, USD1 и GUSD составляет 1.746 миллиарда долларов, общий коэффициент резервов составляет 116.59%. Кроме того, коэффициенты резервов популярных токенов, таких как GT, DOGE и SOL, составляют 129.00%, 106.76% и 102.51% соответственно.Разнообразные активы сохраняют достаточное покрытие резервов, что демонстрирует долгосрочные инвестиции Gate в управление резервами активов и построение прозрачности, а также обеспечивает надежную поддержку безопасности активов пользователей и долгосрочной стабильной работы платформы. Постоянный рост объема резервов и избыточное покрытие также закладывают прочную основу для инновационного бизнеса финансовой интеграции Gate Money.

Согласно отчету Bloomberg, DeepSeek в последнем раунде финансирования привлек около 100 миллиардов юаней (примерно 15 миллиардов долларов США), что является одним из крупнейших раундов финансирования в Китае. Осведомленные источники сообщают, что эта компания, расположенная в Ханчжоу, как минимум дважды повышала цели по финансированию в ходе переговоров с инвесторами, сначала с 50 миллиардов до 80 миллиардов, а затем достигнув указанной суммы.Ningde Shidai и Tencent являются одними из крупнейших инвесторов в этом раунде. Эти средства будут использованы для поддержки DeepSeek в конкуренции с американскими AI-компаниями, такими как Anthropic и OpenAI, на глобальном уровне.