Pruebas de apps onchain con IA: un bucle de app de pagos USDC

Estás ante una app de pagos generada por IA que parece terminada, pero que quizá no sea lo suficientemente segura para una revisión más profunda. Arc Studio de Circle es un agente de código con IA que convierte una descripción en lenguaje natural en una aplicación blockchain full-stack. La firma en mainnet, el financiamiento y el envío de transacciones quedan fuera de las acciones de Arc Studio durante una sesión de usuario. El bucle pre-confianza mantiene la app en un estado testeable hasta que el código se exporta y se verifica.

Traza antes de confiar en los contratos

Trata la salida como no confiable hasta que la traza, el despliegue y el código exportado coincidan. El bucle separa la generación del juicio: el agente produce código, el bucle de pruebas obliga a la app a exponer su comportamiento. Anota el flujo esperado antes de hacer clic y luego compara la traza antes de exportar.

• Pide al agente una app de pagos con un camino feliz y un camino de fallo. Solicita que se construya y pruebe una app. Si el agente añade claves de administrador, lógica de comisiones o intercambios de tokens, pregunta por qué antes de continuar. Detente cuando el prompt nombre el flujo exacto que vas a probar, no una presentación de producto.
• Durante las pruebas, la vista de trazas de Arc Studio permite a los desarrolladores observar el tráfico RPC, las transacciones, los eventos decodificados y las llamadas HTTP off-chain que realiza su app. Úsala mientras la app está en ejecución. Una ejecución limpia muestra las llamadas esperadas en orden, sin solicitudes de wallet inesperadas ni fetches de backend sin explicar. Una interfaz en verde no es una traza limpia. La traza está lista cuando se puede leer en orden: solicitud, transacción, evento, respuesta.
• Las pruebas de build cubren nueve redes: Ethereum, Base, Polygon, Arbitrum, Arc, Avalanche, Monad, OP Mainnet y Unichain. Despliega el build en al menos una red donde resida el token de pago y una donde las conexiones de protocolo importen. Las conexiones componibles integradas son para Aave, Morpho y Uniswap. Prueba el camino que toca esos protocolos. El despliegue pasa cuando el mismo flujo de pago tiene éxito en las redes elegidas sin parches manuales.
• Verifica el comportamiento del protocolo comparando la traza con los cambios de estado esperados. Comprueba que el monto del pago, el destinatario y el evento de liquidación coincidan con el prompt. Busca eventos faltantes, transacciones duplicadas y llamadas que no correspondan a una acción de usuario. La verificación pasa cuando la traza del protocolo coincide con el comportamiento de la interfaz.
• Arc Studio te permite mover el proyecto generado a un repositorio privado y lanzarlo con tus propias credenciales e infraestructura. El código producido por la IA de Arc Studio puede tener errores, vulnerabilidades o partes incompletas, por lo que necesita revisión y pruebas. La exportación está lista cuando una persona puede leer la base de código y ver el mismo flujo que trazaste antes.
• Ejecuta una lista de fallos contra el código y la traza. Busca controles de acceso faltantes, reverts no gestionados, bucles sin límite y cualquier camino que permita a un usuario mover fondos sin autorización. Revisa el frontend por estados que puedan desincronizarse de la cadena y el backend por suposiciones que solo se cumplen en un entorno limpio. Prueba qué ocurre cuando una transacción está pendiente, cuando falta un evento y cuando un usuario reintenta el mismo pago. La lista está completa cuando cada fallo puede explicarse a partir de la traza.

Haz fallar la app a propósito

Haz fallar la app a propósito para ver si puede explicar su propio fallo. Un fallo que no se pueda trazar hasta una solicitud, transacción, evento o suposición del backend es un bloqueador de revisión.

Mantén mainnet fuera de la sesión

Si un flujo de trabajo pide una clave en vivo, una wallet con fondos o un envío en vivo como parte de la prueba, detente. Un bucle seguro falla sin mover valor real. El bucle está completo cuando el entorno de pruebas puede reiniciarse y la base de código está lista para revisión humana.

Un revisor debería poder inspeccionar el código sin asumir que una wallet en vivo estuvo involucrada. Cuando un camino de prueba depende de fondos en vivo, el modo de fallo es más difícil de explicar.