Vitalik: La verificación formal asistida por IA promete mejorar tanto la eficiencia como la seguridad del código.
Según Foresight News, Vitalik Buterin publicó un artículo en el que explora las perspectivas de la verificación formal en el ámbito de la seguridad blockchain. El texto señala que en el desarrollo avanzado de Ethereum está surgiendo un nuevo paradigma: escribir código directamente en EVM bytecode, ensamblador o Lean, y verificar su corrección mediante pruebas matemáticas comprobables automáticamente en Lean. El investigador Yoichi Hirai denomina a este paradigma la "forma final del desarrollo de software". Vitalik considera que la verificación formal asistida por IA podría mejorar la eficiencia y seguridad del código al mismo tiempo, siendo especialmente útil para módulos centrales de seguridad como STARK, ZK-EVM, firmas resistentes a la computación cuántica y algoritmos de consenso. El artículo también subraya que la verificación formal no es universal, ya que puede verse limitada por el alcance de las pruebas, especificaciones incorrectas o vulnerabilidades por canales laterales de hardware. En el futuro, el software podría dividirse entre "núcleos de seguridad" y "bordes no seguros", y Ethereum se convertiría en uno de los núcleos de seguridad más importantes.
Descargo de responsabilidad: El contenido de este artículo refleja únicamente la opinión del autor y no representa en modo alguno a la plataforma. Este artículo no se pretende servir de referencia para tomar decisiones de inversión.
También te puede gustar
El oro al contado cae más de un 3% y los futuros de oro COMEX retroceden más de un 3%.
“El gran oso” Burry: La infraestructura de IA ya es un pilar clave para la economía estadounidense y Trump no puede permitirse que el boom de la IA fracase
Michael Burry señaló que hoy en día el éxito de la industria de inteligencia artificial (AI) es tan crucial para el gobierno de Estados Unidos como lo es para los gigantes tecnológicos que impulsan esta nueva tendencia.
El aumento en los costos del combustible eleva los costos de producción en Asia, y Heineken (HEINY.US) afirma que está trasladando entre el 70% y el 80% de la presión de costos a los consumidores.
Jacco van der Linden, presidente de Heineken para la región Asia Pacífico, afirmó que el aumento en los costos de combustible provocado por el conflicto en Irán está elevando los costos de producción de la compañía en Asia.
¡Starlink, alunizaje y poder de computación espacial dependen de esto! SpaceX (SPCX.US) apunta al primer vuelo orbital de Starship en su 14º lanzamiento y desplegará una nueva generación de satélites.
SpaceX planea lanzar su gigantesca nave Starship a primera hora del lunes, intentando llevar la nave por primera vez a la órbita.
Precios de las criptos
Más
