Veridex dà agli agenti AI un'autorità limitata: controlli deterministici delle policy prima di ogni pagamento, identità ERC-8004 e un bundle di prove a prova di manomissione per ogni transazione. Il terzo progetto del GOAT AI Builder Grants Program.
A tre progetti dall'inizio del GOAT AI Builder Grants Program, emerge uno schema - ed è lo stesso schema di cui abbiamo scritto prima che il programma iniziasse. In Da Agente Standard ad Agente Economico, abbiamo argomentato che il commercio agentico crea rischi su quattro livelli: ragionamento, autorizzazione, fiducia e regolamento. ThoughtProof, il nostro primo progetto, si è occupato del livello di ragionamento - verificando il pensiero di un agente prima che agisca. Il progetto di oggi affronta il livello successivo.
Ecco @Veridex_Labs - il livello di autorizzazione.
Il problema: nessuno può permettere a un agente di spendere soldi veri in sicurezza
Gli agenti possono chiamare un'API di pagamento. Quella parte è risolta. Ciò che non è risolto è la parte che tiene svegli gli operatori la notte: permettere a un agente autonomo di spendere soldi veri, in modo continuo, senza un essere umano che supervisioni ogni transazione.
Un limite di spesa non basta. Un limite non impedisce a un agente vittima di prompt injection di pagare un attaccante nel budget consentito. Non impedisce un pagamento a una controparte soggetta a sanzioni. Non impedisce che la stessa fattura venga pagata due volte. Questi fallimenti non riguardano quanto un agente può spendere - riguardano cosa gli è permesso fare, e oggi questa responsabilità ricade interamente sull'operatore. È il singolo più grande ostacolo tra le demo degli agenti e il volume reale delle transazioni agentiche.
Come dice il team di Veridex: il volume delle transazioni agentiche non è ancora reale a causa del rischio, non delle capacità.
Cosa porta in dote Veridex
Veridex trasforma gli agenti AI in attori economici sicuri. È composto da due elementi che lavorano insieme: un'imbracatura per agenti all'interno della quale l'agente opera, e un livello di pagamenti agentici che governa ogni transazione proposta dall'agente.
Il flusso, end-to-end su GOAT Network:
- Uno sviluppatore registra un agente con un'identità ERC-8004 e imposta la sua autorità limitata: budget, destinatari consentiti, canali di pagamento e policy.
- L'agente lavora - ragiona su un compito, pianifica un flusso di lavoro, utilizza un servizio a pagamento e propone un pagamento.
- Veridex verifica la proposta rispetto alla policy prima dell'esecuzione e restituisce uno di tre verdetti: consenti, inoltra per approvazione o nega.
- In caso di consenso, l'agente paga tramite x402 e il regolamento viene confermato su GOAT Network.
- Veridex scrive un bundle di prove a prova di manomissione per la transazione - una ricevuta che l'operatore può verificare in seguito.
- L'agente ripete questo processo per vari compiti - volume di transazioni continuo, completamente verificabile a posteriori.
Il risultato è un'inversione del compromesso attuale. Oggi gli operatori scelgono tra agenti che non possono toccare il denaro e agenti di cui non possono fidarsi completamente con il denaro. L'autorità limitata significa che l'agente opera liberamente all'interno del perimetro tracciato dall'operatore - e non può agire al di fuori di esso.
La scelta progettuale che conta: nessun LLM nel percorso del denaro
Ecco la decisione che definisce Veridex, e vale la pena rifletterci: la decisione di autorizzazione stessa è deterministica. Non c'è alcun LLM nel percorso del denaro.
L'AI fa ciò in cui l'AI è brava - ragionare sui compiti, pianificare flussi di lavoro a più fasi, decidere per cosa vale la pena pagare. I guardrail fanno ciò che i guardrail devono fare - applicare la stessa policy, allo stesso modo, ogni volta, in una forma che può essere verificata. L'intelligenza probabilistica guida l'attività; l'applicazione non probabilistica la delimita.
Se hai seguito il nostro lavoro sulle sovvenzioni per builder, noterai quanto pulitamente questo si combini con il nostro primo progetto. @ThoughtProof_ai verifica se il ragionamento di un agente è valido - un problema di verifica, risolto con modelli indipendenti. Veridex verifica se l'azione di un agente rientra nella sua autorità - un problema di applicazione, risolto con policy deterministiche. Uno controlla il pensiero; l'altro delimita l'azione. Insieme sono una difesa a strati per l'economia degli agenti.
Costruito, open-source e pronto per il deployment
Veridex non è una proposta. Lo stack è costruito e open-source - 12 pacchetti con circa 1.400 test - con x402 e ERC-8004 già integrati e il sistema validato su testnet. I pacchetti pubblicati sono su npm oggi, inclusi @veridex/agents (il Agent Fabric - un runtime per agenti TypeScript-first con pagamenti, policy, identità e fiducia nativi) e @veridex/agentic-payments (un SDK per pagamenti multi-protocollo che supporta x402, UCP, ACP e AP2 con rilevamento automatico).
Ecco il dettaglio che amiamo: tutto è stato realizzato da un team di due persone con capitale esterno pari a zero. Questo è il profilo delle risorse dei builder che realizzano prodotti.
Poiché i primitivi GOAT sono già integrati, questa sovvenzione procede rapidamente: il lavoro futuro è il deployment, non l'ingegneria di nuovi protocolli. Attraverso il programma, Veridex implementerà agenti di pagamento in produzione su GOAT Network - agenti che generano un volume di transazioni x402 continuo e guidato dall'uso, con ogni pagamento verificato dalle policy prima di essere eseguito e documentato in seguito.
Perché appartiene a GOAT Network
L'economia degli agenti che GOAT Network sta costruendo si basa esattamente sul ciclo che Veridex governa: agenti che scoprono servizi, pagano per utilizzo tramite x402 e costruiscono reputazioni attraverso l'identità ERC-8004. Ciò che mancava era il livello che permettesse agli operatori di attivare questo ciclo su larga scala senza assumersi rischi illimitati. Il ragionamento viene verificato. Ora l'autorizzazione viene applicata - in modo deterministico, con ricevute.
Due dei quattro livelli, coperti. Lo schema continua.
Benvenuto nell'ecosistema, Veridex.
Esplora Veridex: veridex.network · GitHub · npm
Candidati al GOAT AI Builder Grants Program:goat.network/builder-program
Disclaimer
Questo articolo fa riferimento e fornisce link a progetti e prodotti di terze parti, inclusi quelli costruiti da team all'interno del GOAT AI Builder Grants Program. Questi riferimenti sono forniti a solo scopo informativo. Una sovvenzione, una funzionalità, una menzione o un link non costituiscono un'approvazione, una raccomandazione o una garanzia di alcun prodotto di terze parti, e GOAT Network non è responsabile per software, servizi o siti web di terze parti.
Nulla in questo articolo costituisce un consiglio finanziario, di investimento, legale o fiscale. Gli asset digitali e le applicazioni onchain comportano rischi, inclusa la perdita totale dei fondi. Alcuni prodotti qui descritti sono in fase iniziale o in sviluppo attivo e potrebbero cambiare, essere sospesi o smettere di funzionare. Fai sempre le tue ricerche (DYOR) e valuta il tuo rischio personale prima di utilizzare qualsiasi prodotto o prendere qualsiasi decisione finanziaria.
