Vitalik Buterin: La IA impulsará la verificación formal de toda la pila tecnológica en ciberseguridad

Vitalik Buterin (Vitalik Buterin) señaló que el avance de la inteligencia artificial no implica el fracaso de la ciberseguridad. Según Buterin, la IA permitirá definir las propiedades de seguridad de programas complejos como proposiciones matemáticas, facilitando su verificación. El objetivo es aplicar la IA para asegurar toda la pila de software, incluyendo redes, bases de datos y capas de caché, mejorando la resiliencia del sistema desde su origen. Ethereum (Ethereum) planea avanzar en esta dirección para fortalecer la seguridad de sus funciones de escalabilidad y privacidad.