Notizie

Secondo Foresight News, Hans Birringer, responsabile vendite di Flowdesk negli Stati Uniti, ha annunciato su X la creazione di Hyper Holdings Global, affermando che si tratta di un consorzio composto da investitori, istituzioni e imprenditori con l’obiettivo di collegare la finanza tradizionale all’ecosistema Hyperliquid. Il primo passo è una collaborazione strategica con Grayscale per il lancio dell’ETF di staking Hyperliquid di Grayscale (HYPG). Birringer ha sottolineato che Grayscale opera nel settore degli asset crypto da oltre dieci anni, intrattiene stretti rapporti con le autorità di regolamentazione statunitensi e i policy maker, ed è stata responsabile del primo fondo Bitcoin quotato pubblicamente, nonché della creazione del precedente legale per l’approvazione degli ETP crypto spot. HYPG fungerà da punto d’ingresso per il capitale istituzionale a lungo termine nell’ecosistema Hyperliquid; tra i partecipanti al progetto figurano anche Multicoin Capital, Hypurrdash, MotusAk e altri istituti e privati.

Secondo quanto riportato da ChainCatcher, l'amministratore delegato di Strategy, Phong Le, ha dichiarato che i mercati globali e i vari settori stanno attraversando un periodo di incertezza; durante questo periodo, Strategy detiene già il 4% dei Bitcoin a livello mondiale.

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.