Wiadomości

Foresight News poinformowało, że zespół deweloperski Monad, Category Labs, opublikował artykuł, w którym dzieli się doświadczeniami z wykorzystania formalnej weryfikacji do wykrywania luk w kluczowych modułach blockchaina Monad. Ujawniono w nim szereg luk, których najnowocześniejsze modele językowe, takie jak Claude Opus 4.8 i Codex, nie wykryły podczas audytów kodu, ale które zostały skutecznie zidentyfikowane w trakcie formalnego dowodzenia. Dotyczyły one między innymi projektu „Reserve Balance” (rezerwa salda) w mechanizmie asynchronicznego wykonywania Monad oraz niezdefiniowanego zachowania w C++ podczas optymalizacji przechowywania w MIP-8. Zespół uważa, że w porównaniu do bezpośredniego zadawania modelom polecenia „audytowania kodu”, skuteczniejsze jest najpierw sformułowanie precyzyjnych tez dotyczących poprawności, a dopiero potem proszenie modeli o szukanie kontrprzykładów — taka metoda lepiej ujawnia ukryte luki. Obecnie formalna weryfikacja może być w dużym stopniu wspierana przez AI.

Według osób zaznajomionych ze sprawą, na rynku pozagiełdowym jeden z dużych dealerów zaoferował obligacje SpaceX z terminem wykupu w 2056 roku z marżą aż o 0,28 punktu procentowego wyższą niż początkowo, gdy różnica względem amerykańskich obligacji skarbowych wynosiła 1,75 punktu procentowego. Od momentu rozpoczęcia handlu księgowa strata na obligacjach SpaceX o wartości 25 miliardów dolarów stale się powiększa. W przeliczeniu względem amerykańskich obligacji skarbowych, na późny czwartek całkowita strata wynosiła około 305 milionów dolarów.

BlockBeats News, 26 czerwca – Goldman Sachs wskazał, że rynek IPO akcji w Stanach Zjednoczonych w 2026 roku doświadcza najsilniejszego odbicia od lat, lecz nie powtórzył jeszcze spekulacyjnego szaleństwa z ery bańki internetowej. Dotychczas w tym roku około 50 firm zadebiutowało na giełdzie w USA, co jest dwukrotnością liczby z tego samego okresu ubiegłego roku; pod względem wartości transakcji, wielkość emisji w połowie roku osiągnęła około 120 miliardów dolarów, co równa się rekordowi ustanowionemu w całym roku 2021. Ben Snider, główny strateg ds. akcji w USA w Goldman Sachs, stwierdził w podcaście banku, że do pewnego stopnia jest to zwykła odbudowa, napędzana przez debiuty dużych firm oraz silny popyt na finansowanie w dziedzinie AI. Mimo wysokich wycen, silnej pewności inwestorów, AI wyłaniającej się jako dominujący motyw inwestycyjny oraz innych sygnałów ostrzegawczych związanych z bańką, Snider podkreślił kluczowy wskaźnik, który jest daleko od historycznych szczytów—liczbę IPO. Stany Zjednoczone odnotowały średnio około 100 IPO rocznie przez ostatnie 25 lat, a obecne tempo jest zbliżone do tego poziomu, w porównaniu do ponad 250 IPO w 2021 roku i prawie 400 w 1999 roku, szczycie bańki internetowej. „Chociaż wartość transakcji jest bardzo wysoka, a aktywność przyspiesza, w mojej opinii, wciąż daleko do euforii tamtych okresów.”