Een computer kan geen toeval produceren. Dat is geen gebrek aan rekenkracht, maar een fundamentele eigenschap van de machine: hij voert instructies uit, en instructies zijn per definitie voorspelbaar. Toch hangt een verrassend groot deel van het digitale leven aan de belofte dat een uitkomst willekeurig is. Denk aan de shuffle in je muziekapp, de loot in een game, de kaartverdeling in een online pokerruimte of de encryptiesleutel die je bank gebruikt. Ook bij de beste no-Account casinos op thegameroom.org speelt de betrouwbaarheid van zulke willekeurige processen een belangrijke rol. De vraag hoe je die belofte controleert, is technisch veel interessanter dan de meeste mensen denken.
Pseudowillekeurig is het eerlijke woord
Wat vrijwel elk digitaal systeem gebruikt heet een pseudorandom number generator, afgekort PRNG. Het is een algoritme dat vertrekt vanuit een startwaarde, de seed, en daaruit een lange reeks getallen afleidt die er statistisch uitziet als ruis. Het woord pseudo is geen marketingtruc maar een eerlijke waarschuwing. Ken je de seed en het algoritme, dan kun je de volledige reeks reproduceren. Precies daarom wordt in ontwikkelomgevingen bewust met een vaste seed gewerkt: dan zijn testresultaten herhaalbaar.
De veiligheid van zo’n systeem zit dus niet in het algoritme, dat vaak publiek bekend is, maar in de onvoorspelbaarheid van de seed. Slechte seeds zijn historisch de bron van bijna elk spectaculair falen geweest. Een generator die zich laat voeden door de systeemklok is te kraken zodra je weet wanneer een sessie begon. Serieuze implementaties gebruiken daarom entropie uit hardware, zoals thermische ruis in een chip, timingvariaties van interrupts of ruis uit een dedicated hardwarecomponent. Die entropie voedt vervolgens een cryptografisch sterke PRNG, en het geheel wordt continu bijgevoed zodat de interne toestand niet reconstrueerbaar blijft.
Hoe je willekeur test zonder er ooit zeker van te zijn
Hier zit het filosofisch venijn. Je kunt niet bewijzen dat een reeks willekeurig is. Je kunt alleen aantonen dat hij niet aantoonbaar niet-willekeurig is. Statistische testsuites doen precies dat: ze zoeken naar patronen die in echt toeval extreem onwaarschijnlijk zouden zijn.
De bekendste is NIST SP 800-22, een verzameling van vijftien tests die de output onder meer beoordelen op frequentieverdeling, opeenvolgende patronen, spectrale eigenschappen via Fourier-analyse en cumulatief gedrag. Daarnaast wordt de Diehard-batterij van wiskundige George Marsaglia gebruikt, inmiddels grotendeels opgevolgd door de opensource-uitbreiding DieHarder, die subtiele afwijkingen op bitniveau opspoort die simpeler tests missen. Een generator die de volledige suite doorstaat, levert output die statistisch niet te onderscheiden is van echt toeval. Dat is iets anders dan een bewijs, maar het is het beste wat er is.
Naast de statistiek komt de broncode zelf aan bod. Testlabs bekijken de implementatie, de manier waarop de seed tot stand komt, de weerbaarheid tegen bekende aanvallen en de omgeving waarin de generator draait. Een wiskundig perfect algoritme dat in een lekke serveromgeving staat, is alsnog waardeloos.
Wie controleert de controleurs
In de praktijk gebeurt dat door een handvol gespecialiseerde laboratoria. Gaming Laboratories International, actief sinds 1989, is de grootste en werkt in meer jurisdicties dan enige concurrent. eCOGRA, opgericht in 2003 en gevestigd in Londen, is het meest zichtbaar richting consument, mede omdat het ook optreedt als erkend geschilbeslechter tussen spelers en aanbieders. Daarnaast zijn er iTech Labs, actief sinds 2004, en BMM Testlabs, dat al meer dan drie decennia bestaat. De overkoepelende technische standaard voor interactieve spelsystemen is GLI-19.
Belangrijk om te begrijpen: een certificaat is een momentopname. Het lab bevestigt dat een specifieke softwareversie op het moment van testen deed wat de ontwikkelaar beweerde. Het lab zit niet in een controlekamer live mee te kijken. Doorlopend toezicht is de taak van de vergunninghouder en de toezichthouder, niet van het testlab. Een certificaat dat ouder is dan een jaar zegt daarom minder dan mensen denken.
Wat Nederland hier concreet oplegt
In Nederland is dit geen vrijblijvende brancheafspraak maar een vergunningsvoorwaarde. Het spelsysteem van een aanbieder moet volledig gekeurd zijn vóórdat de Kansspelautoriteit een vergunning afgeeft. Sinds 1 oktober 2024 moeten alle keuringen plaatsvinden op basis van keuringsschema versie 2.1, dat exact beschrijft welke onderdelen worden getoetst en aan welke eisen de keuringsrapportage moet voldoen.
De eisen aan de keurders zelf zijn minstens zo streng als die aan de techniek. Een aangewezen keuringsinstelling moet geaccrediteerd zijn, volwaardig lid zijn van een internationaal accreditatiekader zoals ILAC of IAF, en aantoonbaar ervaring hebben met keuringen van online spelsystemen in meerdere EU-lidstaten. Bovendien moet een vergunninghouder in Nederland een controledatabank aanhouden waarin gegevens near real-time worden weggeschreven en waarin niets kan worden overschreven, en waartoe de toezichthouder permanent toegang heeft. Ook de werking van die databank wordt gekeurd. Vergunde aanbieders draaien dus niet alleen op gecertificeerde spelsoftware, maar op een volledige keten die van broncode tot logbestand toetsbaar moet zijn.
Dit is precies het verschil dat een gebruiker zelden ziet. Een site die zegt dat zijn spellen eerlijk zijn en een site die dat moet kunnen aantonen tegenover een toezichthouder die de logs kan opvragen, lijken op het scherm vrijwel identiek.
Provably fair: het toeval openbaar maken
Uit de cryptowereld komt een radicaal ander antwoord op hetzelfde probleem, en het is de moeite waard om te begrijpen omdat het een echte innovatie is en niet alleen een marketingterm.
Bij een provably fair-systeem genereert de server vooraf een geheime waarde, de server seed. Van die waarde publiceert hij de SHA-256-hash, dus een onomkeerbare vingerafdruk. De speler levert zelf een client seed aan, en een meelopende teller, de nonce, zorgt ervoor dat elke ronde uniek is. De uitkomst wordt berekend uit de combinatie van die drie. Na afloop onthult de server de oorspronkelijke seed, en de speler kan zelf narekenen dat de hash klopt en dat de uitkomst volgt uit de opgegeven invoer.
De elegantie zit in de volgorde. Omdat de server zich vooraf via de hash heeft vastgelegd op zijn seed, kan hij achteraf niets meer wijzigen zonder dat de vingerafdruk niet meer klopt. En omdat de speler zijn eigen client seed inbrengt, kan de server de uitkomst niet vooraf op de speler afstemmen.
Toch is de term misleidend als je hem letterlijk neemt. Provably fair bewijst dat de uitkomst niet is gemanipuleerd nadat de inzet was geplaatst. Het bewijst niets over de RTP, dus over hoeveel het spel op de lange termijn uitkeert. Een spel kan perfect verifieerbaar zijn en tegelijk wiskundig zeer ongunstig. Verificatie van een individuele ronde en beoordeling van het spelmodel zijn twee verschillende dingen, en dat onderscheid wordt in de praktijk voortdurend door elkaar gehaald.
Twee modellen, twee soorten vertrouwen
Uiteindelijk staan er twee filosofieën tegenover elkaar. De gecertificeerde route vraagt je te vertrouwen op een keten van instituties: een lab dat de code las, een accreditatie-instantie die het lab controleerde, en een toezichthouder die de vergunning verstrekte en de logs kan opvragen. De provably fair-route vraagt je te vertrouwen op wiskunde die je zelf kunt narekenen, maar laat de kwaliteit van het spelmodel volledig buiten beeld en opereert vaak zonder enige toezichthouder erboven.
Het interessante is dat geen van beide antwoorden het probleem oplost dat we aan het begin tegenkwamen. Een computer maakt nog steeds geen toeval. Hij maakt iets dat er, na vijftien statistische tests en een broncode-review, niet van te onderscheiden is. Dat is genoeg om een industrie op te bouwen, maar het is goed om te weten waar de belofte precies ophoudt.
Zou jij zelf de hash van een spelronde narekenen als de mogelijkheid er is, of vertrouw je liever op een instituut dat de code al heeft gelezen?
