📈 economics

Smart contracts and reaction-function games

Dit artikel introduceert een speltheoretisch kader voor blockchain-gebaseerde smart contracts die spelers in staat stelt zich te committeren aan reactiefuncties in een-malige settings, waardoor het bestaan van evenwicht wordt vastgesteld en wordt aangetoond hoe dergelijke mechanismen vertrouwen en vrijrijdersbarrières kunnen overwinnen om Pareto-verbeteringen te bereiken in symmetrische investeringsspellen zoals zwakste-schakel- en publieke-goederenscenario's.

Oorspronkelijke auteurs: Jens Gudmundsson, Jens Leth Hougaard

Gepubliceerd 2026-01-22

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Jens Gudmundsson, Jens Leth Hougaard

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 voor dat je een spel speelt met vrienden, maar in plaats van alleen je zet uit te roepen (zoals "Ik kies Steen!"), krijg je de kans om een regelboek te schrijven over hoe jij zult reageren op wat een ander ook doet.

Dit document, getiteld "Smart contracts and reaction-function games", onderzoekt een nieuwe manier om spellen te spelen met behulp van blockchain-technologie. Denk aan een blockchain als een superveilig, onveranderlijk digitaal notitieblok. Een "smart contract" is een stukje code dat in dit notitieblok is geschreven en zegt: "Als jij X doet, zal ik automatisch Y doen."

Hier is de uitleg van hun ideeën met behulp van eenvoudige analogieën:

1. De Oude Manier vs. De Nieuwe Manier

De Oude Manier (Strategische Spellen): Jij en je vrienden bepalen tegelijkertijd jullie zetten. Je moet raden wat zij zullen doen. Als je bang bent dat ze valsspelen, ga je misschien zelf ook valsspelen, zelfs als iedereen beter af zou zijn met samenwerking. Het is als een spelletje "Steen, Papier, Schaar" waarbij je niet meer van gedachten kunt veranderen zodra je je hand hebt gegooid.
De Nieuwe Manier (Reaction-Function Games): Voordat het spel begint, vergrendel je jouw "regelboek" in de blockchain. Je kunt het later niet meer aanpassen. Jouw regelboek zegt: "Ik zal doen wat jij doet, maar alleen als jij mij ook evenaart." Omdat de blockchain garandeert dat je niet onder je regels uit kunt komen, kunnen je vrienden jouw regelboek vertrouwen.

2. Het "Vaste Punt" (Het Magische Moment)

Wanneer iedereen hun regelboeken vergrendelt, zoekt het systeem naar een Vast Punt (Fixed Point).

Analogie: Stel je een groep mensen voor die in een cirkel staan, elk met een bordje waarop staat: "Ik zal doen wat de persoon links van mij doet."
Als iedereen instemt met "High Five", en ieders bordje zegt "High Five als de buurman een High Five geeft", dan geeft iedereen een High Five. Dat is een Vast Punt.
Als de bordjes tegenstrijdig zijn (bijv. "Ik zal het tegenovergestelde doen van de buurman"), crasht het systeem omdat niemand weet wat te doen. Het papier bewijst dat als je je regels zorgvuldig schrijft, er altijd een stabiele uitkomst (een Vast Punt) bestaat.

3. Het Oplossen van Twee Beroemde Problemen

De auteurs laten zien hoe deze "regelboek"-methode twee klassieke problemen oplost waarbij mensen meestal falen in samenwerking.

A. Het "Zwakste Schakel" Spel (De Ketting)

Het Probleem: Stel je een team voor dat een brug bouwt. De brug is slechts zo sterk als zijn zwakste plank. Iedereen wil een sterke brug, maar als je denkt dat je teamgenoot een zwakke plank zal gebruiken, gebruik je zelf ook een zwakke plank om geld te besparen. Je eindigt met een verschrikkelijke brug.
De Smart Contract Oplossing: Je schrijft een regel: "Ik zal een plank bouwen die precies zo sterk is als de zwakste plank die mijn teamgenoten bouwen."
Het Resultaat: Als iedereen deze regel schrijft, is de enige stabiele uitkomst dat iedereen de sterkst mogelijke plank bouwt. De angst voor de "zwakste schakel" verdwijnt omdat iedereen zich committeert aan het matchen van de minimale inspanning van de groep.

B. Het "Publiek Goed" Spel (De Potluck)

Het Probleem: Stel je een potluck-diner voor. Iedereen profiteert ervan als iedereen een gerecht meeneemt, maar het kost je geld om eten te kopen. De verleiding is om niets mee te nemen (gratis meeliften) en het eten van anderen op te eten. Meestal neemt iedereen niets mee, en wordt het feestje een ramp.
De Smart Contract Oplossing: Je schrijft een regel: "Ik breng een gerecht mee dat het gemiddelde is van wat de rest meebrengt (naar beneden afgerond)."
Het Resultaat: Dit creëert een vangnet. Als de rest een enorme maaltijd meebrengt, breng jij een enorme maaltijd mee. Als de rest niets meebrengt, breng jij ook niets mee (zodat je niet wordt opgelicht). Deze regel stopt mensen bij het gratis meeliften, omdat als zij proberen niets mee te nemen terwijl anderen wel eten meebrengen, de wiskunde de groep terug naar nul dwingt, wat de bedrieger straft.

4. "Veilig Spelen"

De auteurs introduceren een concept genaamd "Safe Play" (Veilig Spelen).

Analogie: In een normaal spel kun je een groot risico nemen om groot te winnen, maar je zou alles kunnen verliezen. "Veilig spelen" is als het dragen van een autogordel; het garandeert dat je niet crasht, zelfs als je de race niet wint.
In hun systeem kunnen spelers regels schrijven die garanderen dat ze nooit een "slecht" resultaat krijgen, ongeacht wat de anderen doen. Verrassend genoeg laat het papier zien dat je zowel "veilig" kunt spelen als nog steeds de best mogelijke uitkomst voor iedereen kunt bereiken. Je hoeft niet te kiezen tussen veilig zijn en samenwerken; het smart contract laat je beide doen.

5. Waarom Dit Er Toe Doet

De auteurs betogen dat we in de echte wereld vaak geen mensen kunnen vertrouwen om hun beloftes na te komen. We hebben een tussenpersoon nodig (zoals een bank of een rechter) om contracten af te dwingen.

De Blockchain Twist: De blockchain fungeert als de ultieme tussenpersoon. Het is onveranderlijk en automatisch.
De Kernboodschap: Door deze digitale regelboeken te gebruiken, kunnen vreemden coördineren op de best mogelijke uitkomst (zoals het bouwen van een sterke brug of het hebben van een geweldig potluck-diner) zonder dat ze elkaar persoonlijk hoeven te vertrouwen. Ze hoeven alleen de code te vertrouwen.

Samenvattend: Het papier stelt dat als we blockchain gebruiken om onze "reactieregels" vast te leggen voordat een spel begint, we onszelf kunnen dwingen om te coördineren op manieren die voorheen onmogelijk waren, waardoor vertrouwensproblemen worden opgelost en mensen worden gestopt met valsspelen, allemaal zonder een menselijke scheidsrechter nodig te hebben.

Technische Samenvatting: Smart Contracts en Reactie-functie Spelen

1. Probleem en Motivatie

Het artikel behandelt de uitdaging van geloofwaardige toezegging (credible commitment) in eenmalige strategische interacties, met name in omgevingen die worden gekenmerkt door tekorten aan vertrouwen, coördinatiefouten en vrijbuitersgedrag (free-riding). Traditionele speltheorie suggereert dat spelers in eenmalige spelen vaak niet in staat zijn om Pareto-efficiënte uitkomsten te bereiken (bijv. het Prisoner's Dilemma of de zwakste-schakel coördinatiespelen), omdat zij niet in staat zijn om hun acties geloofwaardig te conditioneren op de acties van anderen.

De auteurs stellen voor om blockchain-gebaseerde smart contracts te gebruiken als een mechanisme om dit op te lossen. In tegenstelling tot standaard strategische spelen waar spelers direct acties kiezen, stellen smart contracts agenten in staat om zich te committeren aan reactie-functies—algoritmen die een actie voorschrijven als een functie van de acties die door andere spelers zijn gekozen. Eenmaal gedeployed op een blockchain zijn deze contracten onveranderlijk (immutable) en worden ze automatisch uitgevoerd, waardoor het spel effectief wordt getransformeerd van een gelijktijdige zet-spel naar een "reactie-functie spel". Het kernproblein is het formaliseren van de evenwichtconcepten voor dergelijke spelen, bepalen welke uitkomsten ondersteund kunnen worden, en het identificeren van robuuste strategieën die de beperkingen van conventionele Nash-evenwichten overstijgen.

2. Methodologie en Raamwerk

De auteurs formaliseren een nieuwe klasse spelen en oplossingsconcepten:

Strategische Spelen versus Reactie-functie Spelen:
- In een standaard strategisch spel $(N, A, (u_i))$ kiezen spelers acties $a_i \in A_i$ .
- In een reactie-functie spel kiezen spelers reactie-functies $R_i: A_{-i} \to A_i$ . Een profiel $R = (R_1, \dots, R_n)$ definieert een mapping van de ruimte van actieprofielen naar zichzelf.
Vaste Punten en Uitkomsten:
- Een uitkomst wordt gerealiseerd als de gekozen reactie-functies wederzijds consistent zijn. Formeel gezien is een actieprofiel $a$ een vast punt (fixed point) van $R$ als $a_i = R_i(a_{-i})$ voor alle $i$ .
- De verzameling vaste punten wordt aangeduid met $E(R)$ . Als $E(R) = \emptyset$ , is de uitkomst ongedefinieerd (toegewezen uitbetaling $-\infty$ ).
- Spelers evalueren een profiel $R$ op basis van hun geprefereerde vaste punt binnen $E(R)$ .
Evenwichtsconcept:
- Een Reactie-functie Evenwicht (RFE) wordt gedefinieerd als een ondubbelzinnig profiel $R$ waarbij geen enkele speler eenzijdig kan afwijken naar een andere reactie-functie $R'_i$ om een strikt hogere uitbetaling te bereiken bij het resulterende vaste punt.
- Ondubbelzinnigheid vereist dat alle spelers het gerealiseerde resultaat overeenstemmen (d.w.z. er is een Pareto-superieur vast punt in $E(R)$ ).
Verfijningen:
- Om de multipliciteit van evenwichten en implausibele toezeggingen aan te pakken, introduceren de auteurs "veilige" (safe) reactie-functies. Een reactie is veilig als deze de speler ten minste zijn maxmin-uitbetaling (beveiligingsniveau) garandeert, ongeacht de acties van anderen.
- In symmetrische investeringsspelen verfijnt de auteurs de analyse verder met behulp van Norm-proofheid (weerstand tegen het conformeren aan willekeurige sociale normen) en Uitbetalingsconsistentie (identiek reageren op uitbetalingsequivalente profielen).

3. Belangrijkste Bijdragen en Resultaten

A. Bestaan en Karakterisering van Evenwichten

Bestaan: Stelling 3.1 bewijst dat een reactie-functie evenwicht altijd bestaat in elk eindig spel. Dit wordt vastgesteld door het reactie-functie spel te mappen naar een sequentieel spel in uitgebreide vorm (waarbij spelers in een vaste volgorde bewegen), waarvan bekend is dat het een Nash-evenwicht heeft via backward induction.
Tweespeler Spelen (Folk-stelling Analoog): Stelling 3.2 karakteriseert de verzameling ondersteunde uitkomsten in tweespeler spelen. Een uitkomst $a$ kan worden ondersteund in een RFE indien en slechts indien $u_i(a) \geq \bar{v}_i$ (de maxmin-uitbetaling) voor alle spelers. Dit weerspiegelt de logica van de folk-stellingen in oneindig herhaalde spelen, maar past dit toe op een eenmalige setting. Spelers kunnen "belofte en dreiging" reactie-functies gebruiken om Pareto-efficiënte uitkomsten (zoals samenwerking in het Prisoner's Dilemma) af te dwingen die geen Nash-evenwichten zijn in het onderliggende strategische spel.
Veel Spelers: Stelling 3.3 laat zien dat met drie of meer spelers (afhankelijk van de omvang van de actieruimte), de verzameling ondersteunde uitkomsten aanzienlijk groter wordt, wat potentieel elke uitkomst kan ondersteunen. Dit benadrukt de noodzaak van verfijningen zoals veilige spelvormen om voorspellingen in te perken.

B. Veilige Reactie-functies

Het artikel demonstreert dat als een veilige uitkomst (één die maxmin-uitbetalingen oplevert) een Nash-evenwicht is in het strategische spel, er een veilige RFE bestaat.
Cruciaal is dat Stelling 4.1 stelt dat als een veilige RFE bestaat, er ook een Pareto-efficiënte veilige RFE bestaat. Dit impliceert dat spelers uitkomsten met een hoge uitbetaling kunnen bereiken zonder hun maxmin-garanties op te offeren, mits zij passende reactie-functies gebruiken (bijv. matching-strategieën in de Stag Hunt).

C. Toepassing op Symmetrische Investeringsspelen
De auteurs passen het raamwerk toe op twee prominente klassen van investeringsspelen, waarbij zij uitgaan van monotone reactie-functies (meer investeren naarmate anderen meer investeren) en smart contracts gebruiken om fondsen in escrow te plaatsen.

Weakest-Link Spelen:
- Context: Uitbetalingen hangen af van de minimale investering. Coördinatiefalen komt veel voor.
- Resultaat: De Best-Reply (BR) reactie-functie ( $R_i(a_{-i}) = \min_{j \neq i} a_j$ ) wordt geïdentificeerd als de unieke norm-proof en uitbetalingsconsistente reactie.
- Hoog-risico Geval: In "hoog-risico" settings (waar coördinatievoordelen klein zijn ten opzichte van de inspanningskosten), wordt aangetoond dat de BR-reactie zwak dominant is tegen monotone spelvormen. Dit biedt een robuuste aanbeveling voor spelers om de minimale investering te matchen, waardoor het vertrouwen/coördinatieprobleem effectief wordt opgelost zonder communicatie of centrale autoriteit.
Publieke Goederen Spelen:
- Context: Investeringen bevoordelen iedereen, maar kosten het individu geld; vrijbuitersgedrag is dominant in standaard spelen.
- Resultaat: De BR-reactie (altijd 0) is ineffectief. In plaats daarvan identificeren de auteurs reactie-functies die het gemiddelde van de investeringen van anderen matchen.
- Verfijning: Tussen het naar boven en naar beneden afronden van het gemiddelde, is naar beneden afronden superieur. Dit is veilig over alle parameterwaarden en ondersteunt investerings-evenwichten met een hoge intensiteit.
- Hoog-risico Geval: Voor hoog-risico publieke goederen spelen is de "naar beneden afronden" reactie de unieke welvaartsmaximaliserende strategie onder de voorwaarde van veilig spel. Deze strategie maakt vrijbuitersgedrag zelfvernietigend: als iedereen het gemiddelde matcht (naar beneden afgerond), stort de vaste punt door een eenzijdige afwijking naar nul-investering in naar nul, wat de afwijker straft.

4. Betekenis en Claims

Het artikel beweert dat blockchain-gebaseerde smart contracts een praktische methode bieden om reactie-functie spelen te implementeren, waardoor de reikwijdte van geloofwaardige toezegging wordt uitgebreid voorbij traditionele herhaalde spel-settings.

Overwinnen van Vertrouwensbarrières: In weakest-link spelen stellen reactie-functies vreemden in staat om onmiddellijk te coördineren op efficiënte uitkomsten door zich te committeren aan het matchen van de minimale inspanning, waardoor de noodzaak voor communicatie vooraf of vertrouwen wordt weggenomen.
Disciplineren van Vrijbuitersgedrag: In publieke goederen spelen creëert de voorgestelde "naar beneden afronden" reactie-functie een zelfhandhavend mechanisme waarbij conditionele samenwerking rationeel is, zelfs zonder altruïsme of externe strafinstituten.
Praktijk versus Theorie: De auteurs onderscheiden hun aanpak van "program equilibrium" (Tennenholtz, 2004) en "commitment games" (Kalai et al., 2010). Terwijl die kaders spelers toestaan hun acties te conditioneren op de code van de programma's van tegenstanders (wat leidt tot oneindige strategieruimtes en kwetsbaarheid voor code-mismatches), conditioneren reactie-functies acties op de acties van tegenstanders. Dit houdt de strategieruimte beknopt, interpreteerbaar en computationeel hanteerbaar (bijv. via eenvoudige iteratieve vaste-punt algoritmen).
Implementatie: Het artikel schetst een praktische implementatie-schets waarbij een coördinerend contract reactie-functies en stortingen verzamelt, het vaste punt berekent en overdrachten uitvoert. De auteurs merken op dat voor monotone functies op eindige lattice-structuren, de berekening van het vaste punt eenvoudig is.

Samenvattend betogen de auteurs dat smart contracts het strategische landschap transformeren door spelers in staat te stellen zich te committeren aan conditionele strategieën, waardoor de implementatie van Pareto-verbeterende uitkomsten mogelijk wordt die anders onbereikbaar zouden zijn in eenmalige interacties, specifal door het gebruik van veilige, norm-proof en uitbetalingsconsistente reactie-functies.