El cofundador de NEAR recomienda la verificación formal contra ataques asistidos por IA; la red publica claves de cuenta resistentes a la computación cuántica el 21 de julio

Según Odaily, el cofundador de NEAR Protocol, Illia Polosukhin, el 21 de julio defendió la verificación formal como defensa frente a las amenazas de ciberataques acelerados por IA, argumentando que el análisis y la revisión tradicionales de código ya no son sostenibles. Polosukhin propuso usar pruebas matemáticas para garantizar que el comportamiento del código se ajusta a las especificaciones, con la IA generando la mayoría de las pruebas y los humanos validándolas. El mismo día, NEAR lanzó una actualización que permite a los usuarios cambiar a claves de cuenta resistentes a la computación cuántica, con capacidad de autoescalado de la red a medida que aumenta la actividad.
Aviso legal: La información en esta página puede provenir de fuentes de terceros y es solo para referencia. No representa las opiniones ni puntos de vista de Gate y no constituye asesoramiento financiero, de inversión ni legal. El comercio de activos virtuales implica un alto riesgo. No te bases únicamente en la información presentada en esta página para tomar decisiones. Para más detalles, consulta el Aviso legal.
Comentar
0/400
Sin comentarios