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
GateNews·07-21 00:32
