Veridex otorga a los agentes de IA una autoridad limitada: verificaciones de política deterministas antes de cada pago, identidad ERC-8004 y un paquete de evidencia a prueba de manipulaciones para cada transacción. El tercer proyecto del Programa de Subvenciones GOAT AI Builder.
A tres proyectos del Programa de Subvenciones GOAT AI Builder, está surgiendo un patrón, y es el mismo que describimos antes de que comenzara el programa. En De agente estándar a agente económico, argumentamos que el comercio agéntico crea riesgos en cuatro capas: razonamiento, autorización, confianza y liquidación. ThoughtProof, nuestro primer proyecto, abordó la capa de razonamiento (verificar el pensamiento de un agente antes de que actúe). El proyecto de hoy aborda la siguiente.
Conoce a @Veridex_Labs - la capa de autorización.
El problema: nadie puede permitir que un agente gaste dinero real de forma segura
Los agentes pueden llamar a una API de pagos. Esa parte está resuelta. Lo que no está resuelto es lo que mantiene despiertos a los operadores: permitir que un agente autónomo gaste dinero real, de forma continua, sin que un humano supervise cada transacción.
Un límite de gasto no soluciona el problema. Un límite no impide que un agente inyectado mediante prompt le pague a un atacante dentro del presupuesto. No impide un pago a una contraparte sancionada. No impide que se pague la misma factura dos veces. Esos fallos no se tratan de cuánto puede gastar el agente, sino de para qué está autorizado, y hoy esa responsabilidad recae enteramente en el operador. Es el mayor obstáculo entre las demostraciones de agentes y el volumen real de transacciones de agentes.
Como dice el equipo de Veridex: el volumen de transacciones de agentes aún no es real debido al riesgo, no a la capacidad.
Lo que Veridex aporta
Veridex convierte a los agentes de IA en actores económicos seguros. Son dos cosas que trabajan juntas: un arnés de agente en el que el agente se ejecuta, y una capa de pagos agénticos que gobierna cada transacción que el agente propone.
El flujo, de extremo a extremo en GOAT Network:
- Un desarrollador registra un agente con una identidad ERC-8004 y establece su autoridad limitada: presupuesto, destinatarios permitidos, canales de pago y política.
- El agente trabaja: razona sobre una tarea, planifica un flujo de trabajo, accede a un servicio de pago y propone un pago.
- Veridex verifica la propuesta contra la política antes de la ejecución y devuelve uno de tres veredictos: permitir, escalar para aprobación o denegar.
- Si se permite, el agente paga mediante x402 y la liquidación se confirma en GOAT Network.
- Veridex escribe un paquete de evidencia a prueba de manipulaciones para la transacción, un recibo que el operador puede auditar posteriormente.
- El agente repite esto en todas las tareas: volumen continuo de transacciones, totalmente auditable después.
El resultado es una inversión de la compensación actual. Los operadores actualmente eligen entre agentes que no pueden tocar el dinero y agentes en los que no pueden confiar plenamente con él. La autoridad limitada significa que el agente transacciona libremente dentro del cuadro que el operador dibujó, y no puede actuar fuera de él.
La decisión de diseño que importa: sin LLM en la ruta del dinero
Esta es la decisión que define a Veridex, y vale la pena detenerse en ella: la decisión de autorización en sí misma es determinista. No hay ningún LLM en la ruta del dinero.
La IA hace lo que la IA hace bien: razonar sobre tareas, planificar flujos de trabajo de varios pasos, decidir por qué vale la pena pagar. Las barreras de seguridad hacen lo que deben hacer: aplicar la misma política, de la misma manera, cada vez, en una forma que pueda ser auditada. La inteligencia probabilística impulsa la actividad; la aplicación no probabilística la limita.
Si has seguido nuestro trabajo de subvenciones para constructores, notarás lo limpiamente que esto se combina con nuestro primer proyecto. @ThoughtProof_ai pregunta si el razonamiento de un agente es válido (un problema de verificación, resuelto con modelos independientes). Veridex pregunta si la acción de un agente está dentro de su autoridad (un problema de aplicación, resuelto con política determinista). Uno verifica el pensamiento; el otro limita la acción. Juntos son una defensa en profundidad para la economía de agentes.
Construido, de código abierto y listo para implementar
Veridex no es una propuesta. El stack está construido y es de código abierto: 12 paquetes con alrededor de 1,400 pruebas, con x402 y ERC-8004 ya integrados y el sistema validado en testnet. Los paquetes publicados están en npm hoy, incluyendo @veridex/agents (el Agent Fabric - un runtime de agente TypeScript-first con pagos nativos, política, identidad y confianza) y @veridex/agentic-payments (un SDK de pagos multiprotocolo que soporta x402, UCP, ACP y AP2 con detección automática).
Y aquí está el detalle que nos encanta: todo fue lanzado por un equipo de dos personas con cero capital externo. Ese es el perfil de recursos de los constructores que entregan.
Debido a que las primitivas de GOAT ya están integradas, esta subvención se convierte rápidamente: el trabajo por delante es la implementación, no la ingeniería de protocolo netamente nueva. A través del programa, Veridex implementará agentes de pago de producción en GOAT Network, agentes que generan un volumen continuo de transacciones x402 impulsado por el uso, con cada pago verificado por política antes de que ocurra y evidenciado después.
Por qué pertenece a GOAT Network
La economía de agentes que GOAT Network está construyendo se ejecuta exactamente en el bucle que Veridex gobierna: agentes descubriendo servicios, pagando por uso a través de x402 y construyendo reputaciones a través de la identidad ERC-8004. Lo que faltaba es la capa que permite a los operadores activar ese bucle a escala sin asumir un riesgo ilimitado. El razonamiento se verifica. Ahora la autorización se aplica: de forma determinista, con recibos.
Dos de las cuatro capas, cubiertas. El patrón continúa.
Bienvenido al ecosistema, Veridex.
Explora Veridex: veridex.network · GitHub · npm
Solicita el Programa de Subvenciones GOAT AI Builder:goat.network/builder-program
Aviso legal
Este artículo hace referencia y enlaza a proyectos y productos de terceros, incluidos aquellos construidos por equipos del Programa de Subvenciones GOAT AI Builder. Estas referencias se proporcionan solo con fines informativos. Una subvención, una característica, una mención o un enlace no constituyen un respaldo, una recomendación o una garantía de ningún producto de terceros, y GOAT Network no es responsable del software, servicios o sitios web de terceros.
Nada en este artículo es asesoramiento financiero, de inversión, legal o fiscal. Los activos digitales y las aplicaciones en cadena conllevan riesgos, incluida la pérdida de fondos. Algunos productos descritos aquí se encuentran en etapas tempranas o en desarrollo activo y pueden cambiar, pausarse o dejar de funcionar. Siempre investiga por tu cuenta (DYOR) y evalúa tu propio riesgo antes de usar cualquier producto o tomar cualquier decisión financiera.
