Новини

За повідомленням 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 році з розширеною до 0,28 процентного пункту різницею до рівня спреду, який на момент випуску перевищував прибутковість американських державних облігацій на 1,75 процентного пункту. З моменту початку торгів облігації SpaceX на суму 25 мільярдів доларів продовжують нарощувати балансові збитки. За розрахунками відносно американських державних облігацій, станом на вечір четверга, загальна сума пов'язаних збитків склала приблизно 305 мільйонів доларів.