Notizie

Secondo quanto riportato da Foresight News, il team di sviluppo di Monad, Category Labs, ha pubblicato un articolo in cui condivide l'esperienza nell'utilizzo della verifica formale (Formal Verification) per individuare vulnerabilità nei moduli chiave della blockchain di Monad. Nell'articolo sono state rivelate diverse vulnerabilità che i più avanzati modelli di intelligenza artificiale, come Claude Opus 4.8 e Codex, non erano riusciti a individuare durante la revisione del codice, ma che sono invece state rilevate con successo attraverso il processo di dimostrazione formale. Le vulnerabilità riguardano il design del meccanismo di esecuzione asincrona "Reserve Balance" della Monad e problemi di comportamento indefinito in C++ nell'ottimizzazione dello storage MIP-8. Il team ritiene che, rispetto alla semplice richiesta al modello di "revisionare il codice", la strategia di scrivere prima enunciati precisi di correttezza e poi chiedere al modello di trovare controesempi sia più efficace nell'esporre eventuali vulnerabilità nascoste; la verifica formale oggi può già beneficiare notevolmente del supporto dell'AI.

Secondo fonti informate, nelle trattative private sul mercato over-the-counter, un importante dealer ha quotato i bond SpaceX in scadenza nel 2056 con uno spread rispetto ai Treasury USA superiore di ben 0,28 punti percentuali rispetto ai 1,75 punti percentuali al momento dell'emissione. Dall'inizio delle negoziazioni, le perdite contabili su questi bond SpaceX da 25 miliardi di dollari sono continuate ad aumentare. Calcolando rispetto ai Treasury americani, fino a giovedì sera la perdita totale ammontava a circa 305 milioni di dollari.

BlockBeats News, 26 giugno - Goldman Sachs ha sottolineato che il mercato delle IPO azionarie negli Stati Uniti nel 2026 sta vivendo la più forte ripresa degli ultimi anni, ma non ha ancora replicato la frenesia speculativa dell’era della bolla Internet. Finora quest’anno, circa 50 società sono quotate negli Stati Uniti, il doppio rispetto allo stesso periodo dello scorso anno; per quanto riguarda l’ammontare delle transazioni, la dimensione delle emissioni a metà anno ha raggiunto circa 120 miliardi di dollari, eguagliando il record stabilito per l’intero anno nel 2021. Ben Snider, Chief U.S. Equity Strategist di Goldman Sachs, ha dichiarato nel podcast della banca che si tratta in una certa misura solo di una normale ripresa, guidata da un gruppo di grandi aziende che si quotano e da una forte domanda di finanziamento nel settore AI. Nonostante le valutazioni elevate, la forte fiducia degli investitori, l’AI che emerge come tema dominante di investimento e altri segnali di avvertimento di bolla, Snider ha sottolineato un indicatore chiave che resta lontano dai picchi storici: il numero di IPO. Gli Stati Uniti hanno visto una media di circa 100 IPO all’anno negli ultimi 25 anni, e il ritmo attuale si avvicina a quel livello, rispetto a oltre 250 IPO nel 2021 e quasi 400 nel 1999, il picco della bolla Internet. “Sebbene l’ammontare delle transazioni sia piuttosto elevato e l’attività stia accelerando, a mio parere siamo comunque lontani dall’esuberanza di quei periodi.”