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 la piscina protegida Ironwood de Zcash está libre de un error de falsificación encontrado en su piscina Orchard. Polosukhin pidió un cambio hacia la verificación formal para todo el código de internet, no solo para los 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.

Este contenido se ofrece únicamente con fines informativos generales y no constituye un asesoramiento financiero, de inversión, legal ni fiscal. Cualquier evento, recompensa, promoción 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 a comprar, vender, operar o de negociar de otra manera con cualquier criptoactivo. Los criptoactivos son sumamente volátiles y pueden provocar pérdidas. La disponibilidad de los servicios, productos y eventos relacionados de WEEX puede variar según la región. Tienes la responsabilidad de asegurarte de que tu participación esté de acuerdo con las leyes y regulaciones locales vigentes.