El cofundador de Ethereum Vitalik Buterin propuso la Regla de Confirmación Rápida (FCR), cuyo objetivo es reducir el tiempo de confirmación de depósitos a aproximadamente 13 segundos, optimizando la experiencia del usuario. FCR proporciona señales de confirmación temprana a través de pruebas de validador sin necesidad de un hard fork. A pesar de las preocupaciones sobre centralización y honestidad, sigue siendo considerado como una medida importante para mejorar la eficiencia de la red, siendo parte de la hoja de ruta de Ethereum Lean.

Mistral AI lanzó Leanstral, un agente de código de código abierto diseñado específicamente para verificación formal en Lean 4, capaz de generar código y pruebas que se pueden verificar automáticamente. El modelo utiliza una arquitectura MoE sparse, superando el rendimiento de otros modelos líderes, y ofrece descargas gratuitas y llamadas a API.

BlockBeats Noticias, 26 de febrero, la API de predicción de Jupiter ya está abierta para pruebas. Los desarrolladores pueden personalizar la interfaz del mercado de predicciones. La API tiene funciones sociales integradas para análisis, carteras, seguimiento de operaciones, etc., y también puede crear agentes de inteligencia artificial que lean noticias automáticamente, analicen sentimientos y hagan predicciones de trading.