Новости

По информации Foresight News, руководитель отдела продаж Flowdesk в США Hans Birringer объявил на платформе X о создании Hyper Holdings Global, заявив, что эта организация представляет собой объединение инвесторов, институтов и предпринимателей, целью которого является соединение традиционных финансов с экосистемой Hyperliquid. Первым шагом стало стратегическое сотрудничество с Grayscale и запуск Hyperliquid стейкинг ETF от Grayscale (HYPG). Birringer отметил, что Grayscale более десяти лет активно работает в сфере криптоактивов, тесно взаимодействует с американскими регуляторами и законодателями, а также стала инициатором первого публично торгуемого фонда по Bitcoin и создала правовой прецедент для одобрения спотовых крипто ETP. По его словам, HYPG станет точкой входа для долгосрочного институционального капитала в экосистему Hyperliquid; среди участников проекта также Multicoin Capital, Hypurrdash, MotusAk и другие компании и частные лица.

По сообщению ChainCatcher, генеральный директор Strategy Фонг Ле заявил, что мировые рынки и различные отрасли переживают период неопределенности, и за это время Strategy накопила 4% от общего объема Bitcoin в мире.

По сообщению Foresight News, команда разработчиков Monad, Category Labs, опубликовала статью, в которой поделилась опытом использования метода формальной верификации для выявления уязвимостей ключевых модулей блокчейна Monad. В публикации раскрывается, что несколько передовых крупных моделей, таких как Claude Opus 4.8 и Codex, не смогли обнаружить определённые уязвимости при аудите кода, в то время как процесс формального доказательства успешно их выявил. Речь идет о проблемах в механизме асинхронного исполнения Monad, связанных с дизайном «Reserve Balance» (резервный баланс), а также о не определённом поведении C++ при оптимизации хранения в MIP-8. Команда считает, что по сравнению с прямым требованием к модели «аудировать код», подход, при котором сначала формулируется точное утверждение о корректности, а затем модель ищет контрпример, более эффективен для выявления скрытых уязвимостей. На сегодняшний день формальная верификация уже может эффективно выполняться с помощью AI.