Новости

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

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

По словам осведомленных лиц, на внебиржевых частных сделках один крупный трейдер предложил котировку облигаций SpaceX с погашением в 2056 году с надбавкой к спреду, который при выпуске был выше доходности государственных облигаций США на 1.75 процентных пункта, увеличив разницу еще до 0.28 процентного пункта. С момента начала торгов бумажный убыток по этим облигациям SpaceX на сумму 25 миллиардов долларов постоянно увеличивался. По сравнению с государственными облигациями США, на конец четверга общий размер убытка составляет примерно 305 миллионов долларов.