Veridex donne aux agents IA une autorité limitée : des vérifications de politiques déterministes avant chaque paiement, une identité ERC-8004, et un ensemble de preuves infalsifiables pour chaque transaction. Le troisième projet du programme GOAT AI Builder Grants.
Trois projets dans le programme GOAT AI Builder Grants, et un schéma se dessine – celui-là même que nous avions décrit avant le lancement. Dans De l'agent standard à l'agent économique, nous expliquions que le commerce agentique crée des risques à quatre niveaux : le raisonnement, l'autorisation, la confiance et le règlement. ThoughtProof, notre premier projet, s'attaquait au niveau du raisonnement – en vérifiant la réflexion d'un agent avant qu'il n'agisse. Le projet d'aujourd'hui s'attaque au suivant.
Découvrez @Veridex_Labs – le niveau de l'autorisation.
Le problème : personne ne peut laisser un agent dépenser de l'argent réel en toute sécurité
Les agents peuvent appeler une API de paiement. Cette partie est résolue. Ce qui ne l'est pas, c'est la partie qui empêche les opérateurs de dormir : laisser un agent autonome dépenser de l'argent réel, en continu, sans qu'un humain ne supervise chaque transaction.
Un plafond de dépenses ne suffit pas. Un plafond n'empêche pas un agent victime d'une injection de prompt de payer un attaquant dans les limites du budget. Il n'empêche pas un paiement vers une contrepartie sanctionnée. Il n'empêche pas de payer deux fois la même facture. Ces échecs ne concernent pas le montant que l'agent peut dépenser – ils concernent ce qu'il est autorisé à faire, et aujourd'hui cette responsabilité repose entièrement sur l'opérateur. C'est le plus grand obstacle entre les démos d'agents et le volume réel de transactions agentiques.
Comme le dit l'équipe de Veridex : le volume de transactions agentiques n'est pas encore réel à cause du risque, pas des capacités.
Ce que Veridex apporte
Veridex transforme les agents IA en acteurs économiques sûrs. Il s'agit de deux éléments qui fonctionnent ensemble : un harnais d'agent dans lequel l'agent s'exécute, et une couche de paiements agentiques qui régit chaque transaction proposée par l'agent.
Le flux, de bout en bout sur le réseau GOAT :
- Un développeur enregistre un agent avec une identité ERC-8004 et définit son autorité limitée : budget, destinataires autorisés, moyens de paiement et politique.
- L'agent travaille – il raisonne sur une tâche, planifie un workflow, utilise un service payant et propose un paiement.
- Veridex vérifie la proposition par rapport à la politique avant exécution et renvoie l'un des trois verdicts : autoriser, remonter pour approbation, ou refuser.
- En cas d'autorisation, l'agent paie via x402, et le règlement est confirmé sur le réseau GOAT.
- Veridex écrit un ensemble de preuves infalsifiables pour la transaction – un reçu que l'opérateur peut auditer ultérieurement.
- L'agent répète ce processus pour chaque tâche – un volume de transactions continu, entièrement vérifiable a posteriori.
Le résultat est un renversement du compromis actuel. Les opérateurs doivent actuellement choisir entre des agents qui ne peuvent pas toucher à l'argent et des agents auxquels ils ne peuvent pas totalement faire confiance avec. L'autorité limitée signifie que l'agent transagit librement à l'intérieur du cadre défini par l'opérateur – et ne peut pas agir en dehors.
Le choix de conception qui compte : pas de LLM dans le chemin de paiement
Voici la décision qui définit Veridex, et il est important de s'y attarder : la décision d'autorisation elle-même est déterministe. Il n'y a pas de LLM dans le chemin de paiement.
L'IA fait ce pour quoi l'IA est douée – raisonner sur des tâches, planifier des workflows multi-étapes, décider ce qui vaut la peine d'être payé. Les garde-fous font ce que les garde-fous doivent faire – appliquer la même politique, de la même manière, à chaque fois, sous une forme vérifiable. L'intelligence probabiliste pilote l'activité ; l'application non probabiliste la limite.
Si vous avez suivi notre travail sur les subventions pour les développeurs, vous remarquerez à quel point cela s'intègre proprement avec notre premier projet. @ThoughtProof_ai vérifie si le raisonnement d'un agent tient la route – un problème de vérification, résolu avec des modèles indépendants. Veridex vérifie si l'action d'un agent est dans les limites de son autorité – un problème d'application, résolu avec une politique déterministe. L'un vérifie la pensée ; l'autre limite l'action. Ensemble, ils forment une défense en profondeur pour l'économie des agents.
Construit, open-source et prêt à être déployé
Veridex n'est pas une proposition. La pile est construite et open-source – 12 paquets avec environ 1 400 tests – avec x402 et ERC-8004 déjà intégrés et le système validé sur le testnet. Les paquets publiés sont disponibles sur npm aujourd'hui, notamment @veridex/agents (le Agent Fabric – un runtime d'agent TypeScript-first avec paiements natifs, politique, identité et confiance) et @veridex/agentic-payments (un SDK de paiements multi-protocoles supportant x402, UCP, ACP et AP2 avec détection automatique).
Et voici le détail que nous adorons : tout cela a été livré par une équipe de deux personnes sans aucun capital externe. C'est le profil de ressources des développeurs qui livrent.
Comme les primitives GOAT sont déjà intégrées, cette subvention se convertit rapidement : le travail à venir est le déploiement, pas une nouvelle ingénierie de protocole. Dans le cadre du programme, Veridex déploiera des agents de paiement de production sur le réseau GOAT – des agents qui génèrent un volume de transactions x402 continu et basé sur l'utilisation, chaque paiement étant vérifié par la politique avant d'avoir lieu et prouvé après.
Pourquoi cela appartient au réseau GOAT
L'économie des agents que le réseau GOAT construit repose exactement sur la boucle que Veridex gouverne : des agents découvrant des services, payant à l'utilisation via x402, et construisant des réputations grâce à l'identité ERC-8004. Ce qui manquait, c'était la couche permettant aux opérateurs d'activer cette boucle à grande échelle sans porter un risque illimité. Le raisonnement est vérifié. Maintenant, l'autorisation est appliquée – de manière déterministe, avec des reçus.
Deux des quatre niveaux, couverts. Le schéma se poursuit.
Bienvenue dans l'écosystème, Veridex.
Explorez Veridex : veridex.network · GitHub · npm
Postulez au programme GOAT AI Builder Grants : goat.network/builder-program
Avertissement
Cet article fait référence et renvoie à des projets et produits tiers, y compris ceux développés par des équipes du programme GOAT AI Builder Grants. Ces références sont fournies à titre d'information uniquement. Une subvention, une fonctionnalité, une mention ou un lien ne constitue pas une approbation, une recommandation ou une garantie d'un produit tiers, et le réseau GOAT n'est pas responsable des logiciels, services ou sites Web tiers.
Rien dans cet article ne constitue un conseil financier, d'investissement, juridique ou fiscal. Les actifs numériques et les applications onchain comportent des risques, y compris la perte de fonds. Certains produits décrits ici sont à un stade précoce ou en développement actif et peuvent changer, être suspendus ou cesser de fonctionner. Faites toujours vos propres recherches (DYOR) et évaluez vos propres risques avant d'utiliser un produit ou de prendre une décision financière.
