El cofundador de NEAR aboga por la verificación formal para combatir el hacking asistido por IA

El cofundador del Protocolo NEAR, Illia Polosukhin, enfatizó la necesidad de la verificación formal para asegurar el código de blockchain contra el hacking por IA. Señaló que la IA ha acelerado el descubrimiento de vulnerabilidades en el software, superando las medidas de seguridad tradicionales. Polosukhin destacó que la ciberseguridad ha dependido de revisiones de código humanas, las cuales son cada vez más inadecuadas debido a los modelos avanzados de IA. Propuso que los desarrolladores adopten pruebas matemáticas para garantizar la integridad del código, afirmando que la IA ahora puede ayudar a generar estas pruebas, reduciendo significativamente el tiempo requerido de años a semanas. Un ejemplo es el Proyecto Tachyon, que utilizó verificación asistida por IA para confirmar que el pool blindado Ironwood de Zcash está libre de un error de falsificación encontrado en su pool Orchard. Polosukhin pidió un cambio hacia la verificación formal para todo el código de internet, no solo para contratos inteligentes. Además, NEAR lanzó una actualización para mejorar la seguridad y escalabilidad de la red, permitiendo a los usuarios adoptar claves de cuenta resistentes a la computación cuántica.

Descargo de responsabilidad: Este contenido se proporciona únicamente con fines generales de desarrollo de marca e informativos y no constituye asesoramiento financiero, de inversión, legal ni fiscal. Cualquier evento, recompensa, evento en línea o información relacionada que se mencione en el presente documento no debe considerarse como una recomendación, solicitud o invitación para comprar, vender, tradear o negociar de cualquier otra forma con cualquier criptoactivo o para utilizar cualquier servicio. Los criptoactivos son sumamente volátiles y pueden provocar pérdidas. Es posible que los servicios de WEEX y los eventos en línea no estén disponibles en todas las regiones, así como que estén sujetos a las leyes, regulaciones y requisitos de elegibilidad vigentes. Usted es responsable de asegurarse de que su uso de los servicios de WEEX cumpla con las leyes locales y de evaluar cuidadosamente los riesgos antes de participar en cualquier actividad relacionada con las criptomonedas.