Aptos: la primera red L1 que admite contratos de programación dinámica asistidos por IA

Noticia de Coinjie.com, Aptos anuncia que su red se convierte en la primera red L1 que soporta contratos de programación dinámica asistidos por IA, afirmando que su Move Prover puede actuar como un “oráculo” entre el mercado y los agentes de máquina. Aptos enfatiza que su pila de contratos inteligentes Move puede ser probada matemáticamente para verificar que su comportamiento cumple con el diseño, incluso cuando los contratos utilizan funciones de orden superior y programación dinámica. Aptos Labs en las redes sociales declaró que la IA escribe las especificaciones, las pruebas matemáticas garantizan su corrección, y Move Prover actúa como una capa de confianza que asegura la confianza entre el mercado y las máquinas. El equipo también señaló que Move es el único lenguaje de contratos inteligentes con verificación formal incorporada de forma nativa, y ha ampliado el soporte para programación dinámica. Según la documentación de Move Prover de Aptos, los verificadores ya se utilizan a nivel de protocolo para validar la lógica central, incluyendo staking, medición, despliegue de código y soporte para estructuras de datos. Investigaciones recientes muestran que la programación dinámica aumenta significativamente la complejidad del espacio de estados, requiriendo que los ingenieros de Aptos rediseñen la generación y verificación de condiciones. Este avance en la verificación asistida por IA se acompaña de un plan de financiamiento de 50 millones de dólares para Aptos, destinado a apoyar los mercados en cadena y los sistemas de IA.