NEAR AI avanza en la verificación formal de los contratos básicos
NEAR AI trabaja para hacer más accesible la verificación formal, con un enfoque inicial en NEAR Protocol y sus contratos inteligentes principales. La verificación formal utiliza demostraciones matemáticas para comprobar si el software cumple unas reglas definidas; complementa las pruebas y la revisión del código, pero no puede garantizar una seguridad total.
La iniciativa se basa en el primer puesto que NEAR AI afirma haber obtenido por número total de problemas resueltos en la clasificación Lean Eval v1. En PutnamBench, su sistema resolvió 672 problemas de Lean. El coste declarado fue de unos 0,17 dólares por problema, mientras que el repositorio indica unos costes de modelos de 111,85 dólares para el envío. NEAR advierte que los resultados de las pruebas comparativas no reflejan el coste ni el esfuerzo totales que implica verificar software de producción.
La aplicación de la verificación formal a contratos desplegados sigue requiriendo modelos precisos, propiedades claramente definidas y demostraciones que correspondan a la implementación. Las garantías solo abarcan las propiedades y los supuestos comprobados, por lo que la verificación formal debe complementarse con pruebas, revisión del código y seguridad operativa. La iniciativa refleja un interés más amplio por las demostraciones asistidas por IA, incluidas las propuestas debatidas por Aptos Labs y Vitalik Buterin, cofundador de Ethereum. Para quienes operan con NEAR, se trata de un posible avance de seguridad a largo plazo, no de un despliegue anunciado ni de un catalizador inmediato para el token.
Neutral
La noticia es neutral para el precio de NEAR a corto plazo. Informa sobre investigaciones y resultados de pruebas de referencia, no sobre un despliegue en producción, un cambio en el protocolo, una decisión de financiación ni una modificación directa de la demanda del token. Los operadores pueden interpretar los resultados como una señal positiva para las aspiraciones de NEAR en materia de seguridad, pero las salvedades sobre los costes de producción y los límites de la verificación hacen menos probable una reacción inmediata del precio.
A más largo plazo, una verificación formal más accesible podría reforzar la confianza en el protocolo y el ecosistema de contratos inteligentes de NEAR si se aplica con éxito en la práctica. Esto podría favorecer el sentimiento del mercado y la adopción de la red, pero los resúmenes no demuestran que ya se haya producido un despliegue ni cuantifican ningún efecto sobre el uso o los ingresos. Como ocurre con anuncios similares sobre seguridad e investigación, es probable que el impacto en el mercado dependa de los avances posteriores y de las condiciones generales del mercado; la información disponible no justifica una clasificación alcista ni bajista.