Novedades

Foresight News informó que el equipo de desarrollo de Monad, Category Labs, compartió en una publicación su experiencia utilizando métodos de verificación formal para detectar vulnerabilidades en los módulos clave de la blockchain Monad. Revelaron que varias vulnerabilidades —que modelos de vanguardia como Claude Opus 4.8 y Codex no descubrieron durante la revisión de código— sí fueron identificadas con éxito en el proceso de pruebas formales. Estas incluyen el diseño de la "Reserve Balance" (saldo reservado) en el mecanismo de ejecución asíncrona de Monad y problemas de comportamiento indefinido en C++ relacionados con la optimización de almacenamiento MIP-8. El equipo considera que, en lugar de pedirle directamente a un modelo que revise el código, es más efectivo primero formular proposiciones precisas sobre la corrección y luego solicitarle al modelo que busque contraejemplos; este método permite exponer vulnerabilidades ocultas con más facilidad. Actualmente, la verificación formal ya puede realizarse en gran medida con la ayuda de la inteligencia artificial.

Según personas familiarizadas con el asunto, en operaciones privadas del mercado extrabursátil, un gran operador cotizó los bonos de SpaceX con vencimiento en 2056 con un diferencial que amplió hasta 0,28 puntos porcentuales respecto al nivel de 1,75 puntos porcentuales por encima de los bonos del Tesoro estadounidense en el momento de la emisión. Desde el inicio de las operaciones, las pérdidas en libros de estos bonos de SpaceX, valorados en 25.000 millones de dólares, han ido aumentando. En comparación con los bonos del Tesoro de Estados Unidos, hasta la noche del jueves, la pérdida total relacionada alcanzaba aproximadamente 305 millones de dólares.

BlockBeats News, 26 de junio - Goldman Sachs señaló que el mercado de IPOs en la bolsa estadounidense en 2026 está experimentando el repunte más fuerte de los últimos años, aunque aún no ha replicado la euforia especulativa de la era de la burbuja de Internet. En lo que va del año, aproximadamente 50 empresas han salido a la bolsa en Estados Unidos, el doble que en el mismo período del año pasado; en cuanto al monto de las operaciones, el volumen de emisiones a mitad de año ha alcanzado aproximadamente los 120 mil millones de dólares, igualando el récord establecido durante todo el año 2021. Ben Snider, Estratega Jefe de Renta Variable de Estados Unidos en Goldman Sachs, comentó en el pódcast del banco que esto, hasta cierto punto, es simplemente una recuperación normal, impulsada por la salida a bolsa de un grupo de grandes empresas y una fuerte demanda de financiamiento en el campo de la IA. A pesar de las altas valoraciones, la fuerte confianza de los inversores, el auge de la IA como tema de inversión dominante y otras señales de advertencia de burbuja, Snider enfatizó un indicador clave que sigue lejos de los máximos históricos: el número de IPOs. En Estados Unidos se han registrado un promedio de unas 100 IPOs por año en los últimos 25 años, y el ritmo actual se acerca a ese nivel, en comparación con más de 250 IPOs en 2021 y casi 400 en 1999, el pico de la burbuja de Internet. "Aunque el monto de las operaciones es bastante elevado y la actividad se está acelerando, en mi opinión, todavía estamos lejos del entusiasmo desmedido de aquellos períodos".