Новини

За повідомленням Foresight News, керівник з продажу у США Flowdesk Ганс Біррінгер оголосив на платформі X про створення Hyper Holdings Global. Він зазначив, що ця структура є об'єднанням інвесторів, установ та підприємців, мета якої — з'єднати традиційні фінанси з екосистемою Hyperliquid. Першим кроком стане стратегічне партнерство з Grayscale та запуск фонду Grayscale Hyperliquid Staking ETF (HYPG). Біррінгер наголосив, що 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.