News

Según ChainCatcher, el CEO de Strategy, Phong Le, señaló que los mercados globales y diferentes sectores están atravesando un periodo de incertidumbre y, durante este tiempo, Strategy ya ha acumulado el 4% de los Bitcoin en el mundo.

Foresight News informó que el equipo de desarrollo de Monad, Category Labs, publicó un artículo compartiendo su experiencia utilizando métodos de verificación formal para identificar vulnerabilidades en módulos clave de la blockchain de Monad. Revelaron varias vulnerabilidades que modelos avanzados como Claude Opus 4.8 y Codex no lograron detectar durante la revisión de código, pero que sí fueron capturadas con éxito a través del proceso de prueba formal. Estas hacen referencia al diseño de la "Reserve Balance" (saldo reservado) en el mecanismo de ejecución asíncrona de Monad y a problemas de comportamiento indefinido en C++ durante la optimización de almacenamiento según MIP-8. El equipo considera que, en comparación con pedir que el modelo "revise el código" directamente, primero redactar proposiciones precisas de corrección y luego solicitar al modelo que busque contraejemplos permite exponer más fácilmente vulnerabilidades ocultas, y que actualmente la verificación formal ya puede ser completada en gran medida con la ayuda de la IA.

Según fuentes conocedoras, en transacciones privadas en el mercado extrabursátil, un importante operador cotizó los bonos de SpaceX con vencimiento en 2056, ampliando el diferencial respecto a los bonos estadounidenses en hasta 0,28 puntos porcentuales sobre el nivel inicial de 1,75 puntos porcentuales. Desde el inicio de las operaciones, las pérdidas contables de estos bonos de SpaceX por valor de 25.000 millones de dólares han ido aumentando. Calculado en relación a los bonos del gobierno de Estados Unidos, hasta la tarde del jueves, el monto total de dichas pérdidas se aproximaba a 305 millones de dólares.