Novedades

Según ChainCatcher, el CEO de Strategy, Phong Le, señaló que los mercados globales y diversos sectores están atravesando una etapa de incertidumbre. Durante este periodo, Strategy ha acumulado el 4% de los Bitcoin del mundo.

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.