Novedades

Foresight News informó que Hans Birringer, jefe de ventas en Estados Unidos de Flowdesk, anunció en la plataforma X la creación de Hyper Holdings Global, una entidad compuesta por inversores, instituciones y emprendedores, cuyo objetivo es conectar las finanzas tradicionales con el ecosistema de Hyperliquid. El primer paso es una alianza estratégica con Grayscale para lanzar el Grayscale Hyperliquid Staking ETF (HYPG). Birringer señaló que Grayscale lleva más de diez años posicionándose en el sector de los criptoactivos, mantiene una relación cercana con los organismos reguladores y legisladores de Estados Unidos, y fue responsable del lanzamiento del primer fondo de Bitcoin cotizado. Además, contribuyó a establecer precedentes legales para la aprobación de ETP al contado de criptoactivos. Según Birringer, HYPG será la puerta de entrada para el capital institucional a largo plazo en el ecosistema Hyperliquid. Multicoin Capital, Hypurrdash, MotusAk, entre otras instituciones y particulares, también participan en este proyecto.

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.