🤖 AI

RAILS: Verification-Native Clearing For Agentic Commerce

Dit artikel introduceert RAILS, een verificatie-native clearingprotocol voor agentische commercie dat een formele, falsifieerbare eigenschap van betrouwbaarheid vaststelt die garandeert dat er geen financieel materiële afwikkeling plaatsvindt zonder bewijs dat voldoet aan de toelaatbaarheidsvloer van de verplichting, waardoor het kritieke gat tussen autonome agent-acties en neutrale verplichtingsverificatie wordt opgevuld.

Oorspronkelijke auteurs: Adrian de Valois-Franklin, Alex Bogdan

Gepubliceerd 2026-06-09

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Adrian de Valois-Franklin, Alex Bogdan

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je een wereld voor waarin AI-agenten lijken op hooggeschoolde, onafhankelijke contractanten. Ze kunnen code schrijven, onderdelen kopen, contracten tekenen en geld verplaatsen zonder dat een mens bij elke stap op "akkoord" hoeft te drukken.

Het probleem is, volgens dit paper, dat we de wegen hebben gebouwd waar deze agenten op kunnen rijden (betalingssystemen, communicatiemiddelen, autorisatiecontroles), maar dat we niet de verkeersrechtbank hebben gebouwd om te beslissen wie er daadwerkelijk gelijk heeft wanneer er iets misgaat.

Als een AI-agent een onderdeel van $40.000 koopt dat de verkeerde versie blijkt te zijn, of als een coderingsagent een bug oplost maar per ongeluk een beveiligingslek introduceert, kunnen huidige systemen niet automatisch vaststellen: Heeft de agent daadwerkelijk gedaan wat hij beloofde? Is het bewijs goed genoeg om de betaling vrij te geven? Wie krijgt de schuld?

Het paper introduceert RAILS (Real-Time Agent Integrity & Ledger Settlement) als de ontbrekende "verkeersrechtbank" voor de AI-economie.

Dit is hoe het werkt, met behulp van eenvoudige analogieën:

1. Het kernprobleem: "Autorisatie" is niet "Verrekening"

Beschouw Autorisatie als een baas die een werknemer een creditcard geeft en zegt: "Ga een nieuwe stoel kopen."

Huidige systemen: Zij controleren of de werknemer de kaart had (Autorisatie) en of het geld is verplaatst (Betaling).
De kloof: Zij controleren niet of de werknemer ook echt een stoel heeft gekocht, of een stoel heeft gekocht die direct inklapt.
De claim van het paper: Alleen omdat de agent toestemming had om te handelen en het geld is verplaatst, betekent dit niet dat de klus ook correct is uitgevoerd. We hebben een systeem nodig dat de uitkomst verifieert, niet alleen de toestemming.

2. De oplossing: Het RAILS-protocol

RAILS is een zevenstaps "integriteitslaag" die fungeert als een neutrale scheidsrechter. Het vraagt niet alleen: "Heb je het gedaan?" Het vraagt: "Kun je bewijzen dat je het hebt gedaan, en is dat bewijs sterk genoeg om het geld vrij te geven?"

Hier zijn de zeven "primitives" (instrumenten) die RAILS gebruikt, uitgelegd als een verhaal:

Het Verplichtingsobject (Het Contract): Voordat het werk begint, tekenen de mens en de AI een digitaal contract. Het is niet alleen "Los de bug op." Het is: "Los de bug op, voeg geen nieuwe libraries toe, en bewijs dit met een specifiek testlog." Dit stelt de spelregels vast.
De Bewijsenveloppe (De Bewijzenbox): Nadat de AI klaar is, verpakt het zijn werk. Het zegt niet alleen "Ik heb het gedaan." Het plaatst de codewijzigingen, de testlogs en de beveiligingsscans in een verzegelde, onveranderlijke digitale box. Cruciaal is dat elk item in de box een "vertrouwentag" krijgt (bijv. "Dit kwam van een beveiligde server" versus "Dit is gewoon de bewering van de AI").
Het Verificatiemesh (De Jury): In plaats van één rechter gebruikt RAILS een panel van verschillende "jurors".
- De Robotrechter: Controleert of de code aan strikte regels voldoet (zoals "Heb je een nieuwe library toegevoegd?").
- De Bonnencontroleur: Bekijkt logs van externe systemen (zoals een CI-server).
- De Menselijke Arbiter: Een echt persoon die ingrijpt als de robots in verwarring zijn.
- De Semantische Rechter: Een AI die de code leest om te zien of het daadwerkelijk het probleem oplost.
De Verrekeningsbeslissing (Het Vonnis): Het systeem combineert de stemmen van de jury. Maar hier is de magische regel: het vonnis is alleen geldig als het bewijs sterk genoeg is.
- De "Vloer"-regel: Als het contract zegt: "We hebben bewijs nodig van een beveiligde server (Hoog Vertrouwen)", maar de AI levert alleen een zelfrapportage (Laag Vertrouwen), dan wijst het systeem het vonnis af, zelfs als de AI zegt dat het een goed werk heeft geleverd. Het weigert uit te betalen op basis van zwak bewijs.
De Verrekeningsinstructie (De Cheque): Zodod de beslissing geldig is, geeft het systeem de bank of de betalingsverwerker opdracht: "Laat het geld vrij," "Stort het geld terug," of "Bestraf de agent."
Het Verrekeningspaspoort (De Reputatiescore): Elke agent krijgt een scorekaart. Als ze consequent scoren met sterk bewijs, gaat hun score omhoog. Als ze proberen te bedriegen of zwak bewijs gebruiken, daalt hun score. Deze score bepaalt hoeveel vertrouwen ze in de toekomst krijgen.
Finaliteitsregels (De Hamer): Dit is de timer. De beslissing begint als "Voorlopig". Als er binnen een bepaalde tijd geen bezwaar wordt gemaakt, en het bewijs is nog steeds sterk, wordt het "Definitief" (permanent).

3. De "Soundness"-garantie

Het paper maakt een zeer specifieke claim: RAILS garandeert dat er geen geld van hand wisselt tenzij het bewijs voldoet aan een minimale "vertrouwensvloer".

Stel je een casino voor.

De oude manier: De dealer (AI) zegt: "Ik heb gewonnen," en de machine betaalt uit.
De RAILS-manier: De dealer moet zijn kaarten laten zien. Als de kaarten wazig zijn of op een servet zijn getekend (zwak bewijs), weigert de machine uit te betalen, zelfs als de dealer volhoudt dat hij heeft gewonnen. De machine betaalt alleen als de kaarten duidelijk zichtbaar zijn en geverifieerd zijn door de beveiligingscamera's (sterk bewijs).

4. Waarom dit ertoe doet

Het paper betoogt dat zonder deze "verrekeningslaag" de AI-economie niet veilig kan schalen.

Betalingsrails (zoals Visa of crypto) verplaatsen geld, maar weten niet of de dienst is geleverd.
Escrow houdt geld vast, maar heeft een rechter nodig om te zeggen wanneer het vrij te geven.
LLM Judges (AI die AI beoordeelt) zijn vatbaar voor bias en kunnen worden misleid.

RAILS lost dit op door een neutraal proces te creëren dat de kwaliteit van het bewijs beoordeelt voordat er geld wordt verplaatst. Het zorgt ervoor dat een AI het systeem niet kan misleiden om te betalen voor een klus die hij niet daadwerkelijk heeft uitgevoerd, simpelweg door te zeggen "Ik heb het gedaan."

Samenvatting

RAILS is de ontbrekende "vertrouwenslaag" voor AI. Het verandert de rommelige vraag "Heeft de AI een goed werk geleverd?" in een strikt, wiskundig proces van "Is het bewijs sterk genoeg?". Het zorgt ervoor dat je in een wereld van autonome agenten niet alleen betaalt voor de poging; je betaalt alleen voor het geverifieerde resultaat.

Technisch Overzicht: RAILS – Verification-Native Clearing voor Agentic Commerce

1. Het Probleem: De Agentic Clearing Gap

Het paper identificeert een kritieke structurele kloof in de opkomende infrastructuur van autonome agent-commerce. Terwijl bestaande protocollen effectief omgaan met autorisatie (het verlenen van toestemming), executie (tool calls en communicatie) en betaling (waardetransfer), biedt geen van hen een neutrale methode om prestatie-vervulling (performance fulfillment) vast te stellen.

Huidige systemen kampen met het "agentic clearing probleem":

Autorisatie $\neq$ Clearing: Een agent kan geautoriseerd zijn om te handelen, maar toch de verkeerde actie uitvoeren (bijv. een vlucht boeken voor de verkeerde week).
Betaling $\neq$ Clearing: Een betalingsrail kan een transfer cryptografisch valideren, zelfs als de dienst gebrekkig was of niet is geleverd.
LLM-as-Judge $\neq$ Clearing: Hoewel LLM's semantische prestaties kunnen evalueren, lijden ze aan biases (positie, verbositeit, zelfversterking) en missen ze een formeel, falsifieerbaar garant dat hun oordelen gebaseerd zijn op toelaatbare bewijslast.
Escrow $\neq$ Clearing: Escrow en underwriting zijn settlement-mechanismen die een determinatie consumeren; ze produceren de determinatie zelf niet.

De kern van het probleem is dat geen enkele bestaande laag de samengestelde vraag beantwoordt: Wat is er beloofd, wat is er gebeurd, welke bewijslast is toelaatbaar, wie is verantwoordelijk, welk verlies is er opgetreden, en welke settlement-actie is definitief? Zonder dit negeren settlement-systemen ofwel het risico, ofwel leggen ze het risico bij de verkeerde partij.

2. Methodologie: Het RAILS-protocol

RAILS (Real-Time Agent Integrity & Ledger Settlement) wordt voorgesteld als een verification-native clearinghouse-protocol. Het bevindt zich tussen de executielaag (agents, tools, MCP, A2A) en de settlement-laag (betalingsrails, escrow, risicostandaarden).

2.1 De Zeven Primitieven

Het protocol wordt gedefinieerd door zeven datastructuren en functies die intentie (met digitale handtekening) omzetten in een settlebare beslissing:

Obligation Object ( $O$ ): Een gesigneerd, machine-leesbaar contract dat natuurlijke taal-intentie compileert naar een gestructureerde tuple met partijen, taakstellingen, acceptatiecriteria, bewiseisen en een admissibility floor ( $\phi_O$ ).
Evidence Envelope ( $E$ ): Een hash-geankerde container van executie-artefacten (git diffs, logs, bonnetjes, zelfrapportages). Elk item draagt een provenance-keten en een admissibility class.
Verification Mesh: Een geconfigureerde set heterogene verifiers (constraint checkers, receipt verifiers, semantische judges, menselijke arbiters). Elke verifier retourneert een oordeel, betrouwbaarheid en een verklaarde bewijsgrondslag ( $B_i$ ).
Clearing Decision ($CD$): Het gestructureerde oordeel dat de outputs van de mesh aggregeert. Dit bevat status van prestatie/beleid, fouttoewijzing, verliesramingen en de geaggregeerde bewijsgrondslag.
Settlement Instruction ( $S$ ): Een gestructureerde actielijst (fee, hoofdsom, onderpand, sanctieacties) afgeleid van de Clearing Decision, gericht op specifieke executierails.
Clearing Passport: Een cross-transactie betrouwbaarheidsrecord voor agents, tools en verifiers, dat na elke clearing-event wordt bijgewerkt om toekomstige pre-clearance en verifier-selectie te informeren.
Finality Rules: Een predicaat dat bepaalt wanneer een Settlement Instruction overgaat van PROVISIONAL naar FINAL, gebaseerd op de admissibility floors, betrouwbaarheidsdrempels, conflictresolutie en beroepstermijnen.

2.2 De Admissibility-Graded Verification Mesh

De kerninnovatie is de admissibility partial order ( $\Lambda$ ). Bewijs wordt niet gerangschikt op een scalaire score, maar via een partiële ordening van zes klassen:

SELF: Ongeverifieerde zelfrapportage.
SIGN: Cryptografische handtekening (non-repudiatie, maar geen waarheid).
WIT: Handtekening van een derde partij (getuige).
REC: Niet-geïnteresseerd extern bonnetje/bewijs (receipt).
ATT: Attestatie van een Trusted Execution Environment (TEE).
PROOF: Cryptografisch bewijs van correctheid (bijv. zk-SNARK).

Cruciaal is dat WIT en REC niet vergelijkbaar zijn, wat de verschillende vertrouwenstheorieën weerspiegelt. De klasse van een geaggregeerde basis is de join van de componenten, terwijl de klasse van de basis van een enkele verifier de meet is van de items waarop deze steunt.

2.3 De Aggregator en Soundness

De Mesh Aggregator ( $\Gamma$ ) combineert de outputs van verifiers met behulp van een admissibility-weighted majority.

Floor Enforcement: Verifiers wiens verklaarde bewijsgrondslag ( $B_i$ ) onder de toegestane drempel ( $\phi_O$ ) van de verplichting valt, krijgen een gewicht van nul.
Declared Basis Contract: Verifiers moeten eerlijk verklaren welke bewijselementen zij hebben gebruikt. Het verkeerd rapporteren (basis laundering) is een adversariële klasse.
Soundness Property: Het protocol handhaaft een falsifieerbare eigenschap: Geen financieel materiële Settlement Instruction wordt uitgegeven, tenzij de geaggregeerde bewijsgrondslag de vereiste admissibilty floor van de verplichting bereikt of overtreft.
$\text{Emit}(S) \implies \text{cls}(B) \succeq \phi_O$

2.4 Exposure-Driven Intensity

In de Pre-Clearance fase berekent het protocol een Exposure Score ( $X$ ) op basis van autorisatierisico, waarde onder risico, ambiguïteit van de intentie, onomkeerbaarheid, agent-historie en domeinsensitiviteit. Deze score koppelt aan een getrapt beleid ( $K$ ) dat bepaalt:

Verifier Set: Van enkel deterministische verifiers (LOW) tot mesh + menselijke arbiter (CRITICAL).
Settlement Timing: Van directe naar vertraagde finaliteit.
Margin Requirement: Van geen tot volledige onderpandstelling.

3. Belangrijkste Bijdragen

Formele Specificatie van Clearing: Het paper definieert clearing niet als een score of een boolean pass, maar als een determinatie gegradeerd door de toelaatbaarheid van het bewijs.
Soundness Guarantee: Het introduceert een falsifieerbare soundness-eigenschap die garandeert dat geen enkele materiële settlement rust op ontoelaatbaar bewijs. Dit onderscheidt RAILS van "pass/fail" systemen, numerieke scoring of speltheoretische evenwichten.
Admissibility Partial Order: Het stelt een non-scalaire, partiële ordening van bewijs voor die de structurele verschillen in vertrouwen respecteert (bijv. het onderscheid tussen een getuige en een bonnetje).
Lifecycle State Machine: Het specificeert een tienfasen-lifecycle (van Discovery tot Finality) met expliciete grenzen voor omkeerbaarheid en escalatiepaden (Human Arbiter, Appeal Window).
Integratie met Bestaande Stack: RAILS is ontworpen om inputs van bestaande protocollen (MCP, A2A, AP2, x402) te consumeren en outputs naar settlement-risicostandaarden te voeden, waarbij het fungeert als de noodzakelijke "clearing layer" in de agentic stack.

4. Resultaten en Validatie

Het paper valideert het protocol via een canonieke gesimuleerde scenario: een clearing-event voor softwarelevering waarbij een autonome coding agent een bug fixt, maar een dependency-beleid overtreedt.

Scenario Dynamiek: De agent voegt een ongeautoriseerde dependency toe. Een semantische LLM-judge wordt misleid door de zelfrapportage van de agent (een SELF-klasse bewijs) en geeft een PASS.
Protocol Executie: Omdat de LLM-judge eerlijk haar grondslag verklaart (de SELF-rapportage), detecteert de floor-enforcement gate dat de grondslag onder de vereiste ATT (TEE-geattesteerde) drempel ligt.
Uitkomst: Het oordeel van de LLM-judge krijgt een gewicht van nul. De aggregator vertrouwt op andere verifiers (constraint checkers die gebruikmaken van ATT-klasse git diffs) die de beleidsovertreding correct identificeren. Het result wordt een policy FAIL oordeel, waardoor de vrijgave van fondsen wordt voorkomen.
Betekenis van het Resultaat: Dit demonstreert dat de soundness van het protocol standhoudt, zelfs wanneer een verifier wordt "misleid", mits de verifier zich houdt aan de contractuele plicht om de bewijsgrondslag eerlijk te verklaren. Het systeem vereist niet dat de verifier alwetend is, enkel dat hij eerlijk is over zijn inputs.

5. Betekenis en Claims

Het paper beweert dat autonome agent-commerce niet kan schalen zonder een neutrale methode die executietraces omzet in toelaatbaar bewijs en sound settlement-instructies afgeeft.

Onderscheid met Voorgaand Werk: In tegen tegenstelling tot "verify-then-pay" systemen die een boolean pass uitgeven, of "challenge-game" systemen die vertrouwen op rationele evenwichten, geeft RAILS een falsifieerbare claim af over de toelaatbaarheid van het bewijs dat een settlement ondersteunt.
Scope van Soundness: Het paper is bescheiden over wat soundness biedt. Het garandeert dat het protocol geen settlement zal uitgeven op basis van ontoelaatbaar bewijs. Het garandeert niet de grondwaarheid, de correctheid van de verifier (kalibratie) of de eerlijkheid van de attester. Het begrenst wat het protocol kan laten emitteren, niet wat waar is in de wereld.
Positionering: RAILS wordt gepresenteerd, niet als een vervanging voor andere protocollen (MCP, A2A, betalingsrails), maar als de noodzakelijke clearing layer die deze bindt en converteert van "wat er gebeurde" naar "wat er afgerekend moet worden".

Het paper concludeert dat door het afdwingen van een admissibility floor en het vereisen van een eerlijke verklaring van de grondslag, RAILS de structurele integriteit biedt die nodig is om agentic commerce te laten evolueren van experimentele benchmarks naar financieel materiële verplichtingen in de echte wereld.