News

Foresight News informa, según Bloomberg, que Hyperliquid está proponiendo añadir mercados de predicción en su plataforma. Esta propuesta, con el nombre en clave HIP-4, se encuentra actualmente en fase de pruebas públicas. Algunas cuestiones clave aún no han sido aclaradas, como la forma en que Hyperliquid determinará qué eventos cumplen los requisitos para los contratos, el proceso de gobernanza para aprobar nuevos mercados y cuándo HIP-4 pasará de la fase de pruebas al lanzamiento completo.

Glonghui, 30 de abril – Spirit Airlines declaró que el jueves no se celebrará una audiencia judicial de quiebra, ya que la empresa continúa negociando con los prestamistas los términos de un posible plan de rescate gubernamental estadounidense de 500 millones de dólares. Un abogado de los acreedores de Spirit Airlines indicó la semana pasada que ya han revisado la lista de términos propuestos por el gobierno. Según fuentes, la propuesta incluye una financiación de 500 millones de dólares y lleva como condición que el gobierno reciba garantías equivalentes al 90% del capital de Spirit Airlines. Esta financiación ayudará a Spirit Airlines a salir de su segundo proceso de reestructuración por quiebra desde 2025.

Odaily informó que, recientemente, en la evaluación de referencia global EthProofs, lanzada por Ethereum, la máquina virtual de prueba de conocimiento cero zkDTVM, desarrollada de forma independiente por Ant Digital Technologies, redujo la velocidad de prueba de bloques a 3,7 segundos bajo condiciones uniformes de hardware y reglas de prueba, superando el anterior récord de 4,2 segundos de la industria y situándose en el primer puesto a nivel mundial. EthProofs es actualmente uno de los puntos de referencia públicos más reconocidos del sector. A diferencia de las pruebas puntuales en un laboratorio, esta plataforma exige que los participantes realicen comparaciones bajo cargas reales y procesos reproducibles. Este avance de Ant Digital Technologies se basa en una optimización sistémica de extremo a extremo: adopta una arquitectura zkVM nativa orientada a la paralelización de GPU, reconstruyendo conjuntamente desde la capa de ejecución, la capa aritmética y la capa del sistema de pruebas.