Notizie

BlockBeats News, 18 maggio, secondo i dati di mercato di Bitget, l’oro spot ha continuato a salire, attualmente scambiato a $4.563,90 per oncia, mentre l’argento spot è cresciuto di oltre il 2,00% nell’intraday, attualmente a $77,43 per oncia. I future sull'SP 500 sono passati in positivo. I future sull'indice Nasdaq 100 hanno esteso i guadagni allo 0,5%. L’indice Euro Stoxx 600 ha ampliato il rialzo allo 0,6%. L’indice FTSE 100 del Regno Unito e il DAX30 della Germania sono saliti di oltre l’1%, mentre l’Euro Stoxx 50 e l’IBEX35 della Spagna sono aumentati dello 0,8%. Il petrolio WTI ha registrato una flessione intraday del 2,00%, ora scambiato a $103,11 al barile. Il Brent è sceso sotto i $105 al barile, in calo dell’1,07% intraday. Sul fronte delle notizie, la proposta più recente dell'Iran indica che l'Iran spera di raggiungere un accordo di cessate il fuoco lungo e a più fasi. L'Iran punta alla graduale e sicura apertura dello Stretto di Hormuz. L’Iran è disposto ad accettare un congelamento a lungo termine del suo programma nucleare, piuttosto che un completo smantellamento. L’Iran può trasferire incondizionatamente uranio arricchito alla Russia invece che agli Stati Uniti. Inoltre, l’Iran spera che l’accordo includa un linguaggio politico per salvare la faccia.

Secondo Foresight News, Vitalik Buterin ha pubblicato un articolo in cui esplora le prospettive di applicazione della verifica formalizzata nell'ambito della sicurezza blockchain. L'articolo sottolinea che nella ricerca avanzata su Ethereum sta emergendo un nuovo paradigma, che consiste nel programmare direttamente in EVM bytecode, assembly o Lean, per poi verificare la correttezza del codice tramite dimostrazioni matematiche verificabili automaticamente in Lean; il ricercatore Yoichi Hirai ha definito questo paradigma come la "forma finale dello sviluppo software". Vitalik ritiene che la verifica formalizzata assistita da AI potrebbe incrementare sia l'efficienza che la sicurezza del codice, risultando particolarmente adatta per moduli core di sicurezza come STARK, ZK-EVM, firme post-quantistiche e algoritmi di consenso. L'articolo sottolinea inoltre che la verifica formalizzata non è onnipotente e può ancora fallire a causa di limiti nel campo di applicazione, specifiche errate o canali laterali hardware; in futuro, il software potrebbe essere suddiviso tra "core sicuri" e "periferie non sicure", con Ethereum destinato a diventare uno dei principali core di sicurezza.

Il team di Michael Saylor ha aumentato le proprie partecipazioni di 24.900 Bitcoin la scorsa settimana, portando il totale detenuto a 843.700.