Новини

За повідомленням 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 мільйонів доларів.

BlockBeats News, 26 червня — Goldman Sachs зазначає, що ринок первинного розміщення акцій (IPO) у США у 2026 році демонструє найсильніше відновлення за останні роки, однак ще не повторює спекулятивну шалену атмосферу епохи інтернет-бульбашки. На даний момент цього року близько 50 компаній стали публічними в Сполучених Штатах, що вдвічі більше ніж за аналогічний період минулого року; з точки зору обсягу угод, середньорічний обсяг випусків досяг приблизно $120 мільярдів, що дорівнює рекорду за весь 2021 рік. Головний стратег з американських акцій Goldman Sachs, Ben Snider, підкреслив у подкасті банку, що це певною мірою є нормальним відновленням, спричиненим виходом великої кількості великих компаній на фондовий ринок та сильним попитом на фінансування у сфері AI. Попри високі оцінки, сильну довіру інвесторів, домінування AI як інвестиційної теми та інші ознаки бульбашки, Snider акцентує увагу на одному ключовому показнику, що ще далекий від історичних максимумів — кількості IPO. За останні 25 років у США в середньому відбувалося близько 100 IPO на рік, і поточний темп близький до цього рівня, тоді як у 2021 році було проведено понад 250 IPO, а у 1999 році, в пік інтернет-бульбашки — майже 400. «Хоча обсяги угод досить високі, а активність зростає, на мою думку, це ще далеко від енергії тих періодів».