De baan
Een gokautomaat is een bewering over waarschijnlijkheid die je niet kunt inspecteren. De rollen zijn plaatjes; de uitkomst wordt bepaald door code op een chip, en geen speler heeft ooit die chip kunnen lezen. Dus de industrie bouwde een vertrouwensketen in plaats van een bewijs: de fabrikant schrijft de software, technisch personeel van een staatsregulator onderzoekt het, en het gecertificeerde programma wordt op een chip gebrand en verzegeld in het kastje. Alles daarna berust op dat onderzoek.
Ronald Dale Harris werkte bij dat onderzoek. Hij was computeringenieur bij de Nevada Gaming Control Board in het begin van de jaren 1990, verantwoordelijk voor het vinden van fouten en fraudeapparaten in de software van gecomputeriseerde casinospellen. De latere uitzonderingsverklaring van New Jersey beschrijft hem duidelijk als een ingenieur die zich specialiseert in het opsporen van software en apparaten ontworpen om fraude te plegen bij gokautomaten. Hij had de broncode, de tools en de status die kwam met het feit dat hij degene was die het afkeurde.
Medeplichtige Ronald D. Harris is een ingenieur die zich specialiseert in het opsporen van software en apparaten ontworpen om fraude te plegen bij gokautomaten. New Jersey Division of Gaming Enforcement, uitzonderingsbevel voor Reid E. McNeal, docket 95-0240-EL
Twee schema's, en slechts één ervan was manipulatie
Wat Harris deed was niet één oplichtingstruc maar twee, en de tweede is veel interessanter dan de eerste.
De eerste was een achterdeur. Met zijn toegang tot broncode modificeerde hij bepaalde machines zodat het invoegen van munten in een specifieke volgorde en aantal een grote uitbetaling zou veroorzaken. Van 1993 tot 1995 haalde hij en een medeplichtige duizenden dollars uit Las Vegas casino's mee. Het is een schone insideraanval: de man die op zoek was naar vijandige code voegde het toe.
Het tweede schema raakte niets aan. Aan het einde draaide Harris zich naar keno en schreef een programma dat van tevoren bepaalde welke nummers de pseudorandom number generator van het spel zou selecteren. Geen chip werd gewijzigd. Geen zegel werd verbroken. De machine liep precies de code die ermee was gecertificeerd, en produceerde precies de nummers die die code altijd zou produceren — wat het hele probleem was.
| DE MUNTVOLGORDEACHTERDEUR | DE KENO-VOORSPELLER | |
|---|---|---|
| Wat veranderde | Het programma op de machine | Niets |
| Wat een inspectie zou vinden | De gewijzigde code — als iemand het opnieuw zou lezen | Niets om te vinden; de machine was conform |
| Waarom het werkte | De inspecteur was de aanvaller | De uitvoer was voorspelbaar voor iedereen die het algoritme kende |
| De implicaties van de fix | Vertrouw niet op één vertrouwde lezer | Vertrouw niet op de methode die geheim blijft |
Een pseudorandomgenerator is een deterministische functie. Voer dezelfde begintoestand in en deze produceert elke keer dezelfde reeks, en de onvoorspelbaarheid ervan voor een speler is een kwestie van die toestand en dat algoritme die onbekend zijn. Harris kende beide. Van buiten af gezien was het spel onveranderd en eerlijk; van waar hij stond was het een afgedrukte lijst.
Atlantic City, januari 1995
Het systeem eindigde bij de kassa. Op 15 januari 1995 werden Harris en Reid E. McNeal aangeklaagd wegens poging tot diefstal door bedrog, samenzwering en computerdiefstal, in verband met een poging om een jackpot van $100.000 keno uit Bally's Park Place Casino/Hotel in Atlantic City te verkrijgen met behulp van informatie over propriëtaire computersoftware. De aanklacht is het waard om nauwkeurig te lezen: poging. Het ticket werd nooit uitbetaald.
Wat het stopte was geen technische controle. Toen McNeal het winnende ticket presenteerde, vonden casinobestuurders zijn gedrag verdacht en belden ze onderzoeken van New Jersey gaming in. De wiskunde was verslagen; de man die het geld haalde had niet geoefend om verheugd te zijn.
| DATUM | GEBEURTENIS |
|---|---|
| 1993–1995 | Harris en een medeplichtige nemen duizenden uit Las Vegas-casino's via gewijzigde machines |
| 15 januari 1995 | Harris en McNeal aangeklaagd in New Jersey over de poging tot $100.000 keno-jackpot |
| 21 juni 1995 | New Jersey geeft een voorlopige uitsluiting tegen McNeal af (docket 95-0240-EL) |
| 5 november 1997 | De New Jersey uitsluiting wordt definitief gemaakt |
Harris werd veroordeeld tot zeven jaar en vrijgelaten na twee jaar uit te zitten. Hij staat in het zwarte boek van de Nevada Gaming Control Board en mag geen casino's in de staat betreden.
Wat de zaak eigenlijk bewijst
De gebruikelijke moraal uit de zaak-Harris is dat regelgevers beter moeten screenen. Dat is waar en het is klein. De grotere les is structureel, en het geldt voor elk gokspel dat op dezelfde manier is gebouwd sinds die tijd.
- Een vertrouwde lezer is een enkel kritiek punt. Als de garantie "een expert heeft het onderzocht" is, dan is de garantie exact zo sterk als die expert, en het faalt volledig en in stilte wanneer zij omslaat.
- Geheimzinnigheid is geen beveiligingseigenschap. De keno-voorspeller had helemaal geen manipulatie nodig. Een systeem waarvan de eerlijkheid ervan afhangt dat niemand leert hoe het werkt, heeft al verloren van iedereen die dat doet — wat, in een gereglementeerde industrie, een roterend team van werknemers, examinators en contractanten omvat.
- De speler staat buiten het bewijs. In het model van de jaren 1990 kon geen enkele speler iets verifiëren. Het beste beschikbare antwoord op "hoe weet ik dat dit eerlijk is?" was een naam op een certificaat, wat het antwoord is dat hier mislukte.
Cryptografie had het middelste punt al in de negentiende eeuw beantwoord. Het principe van Kerckhoffs stelt dat een systeem veilig moet blijven zelfs wanneer alles over het ontwerp openbaar is, en dat het enige wat geheim mag zijn een sleutel is. Een keno-generator waarvan de veiligheid ervan afhangt dat het algoritme onbekend is, faalt die test op de dag dat het wordt geschreven. Het faalt gewoon niet openbaar totdat iemand als Harris opdikt.
Het model dat het vervangde
Commit-reveal eerlijkheid bestaat om precies de aanname te verwijderen die Harris brak. Het huis genereert een server seed en publiceert de hash voordat je inzet — een verbintenis die het achteraf niet kan wijzigen. Je eigen client seed wordt in het resultaat gemengd, dus het resultaat hangt af van een waarde die het huis niet heeft gekozen. Een teller maakt elke ronde verschillend. Roteer het seed-paar en de oude server seed wordt onthuld, op welk punt elke vorige ronde opnieuw kan worden berekend op je machine en gecontroleerd tegen wat je werd betaald.
Lees dat tegen de twee schema's hierboven. De achterdeur faalt omdat het resultaat is vastgepind door een verbintenis gemaakt vóór de inzet, dus geen codepad kan besluiten anders uit te betalen zodra het weet wat je deed. De voorspeller faalt omdat het algoritme kennen niets oplevert: de server seed is vastgelegd en verborgen, je client seed is van jou, en de hele methode kan worden gepubliceerd zonder het te verzwakken. Dat is het punt — het algoritme is bedoeld om openbaar te zijn. De hele uitleg van het verifiëren van een ronde duurt ongeveer een minuut, en het is een bewijs in plaats van een belofte.
Het is de moeite waard om precies te zijn over wat dit wel en niet oplevert, omdat overclaiming hier zijn eigen soort oneerlijkheid is. Een geverifieerde trekking bewijst dat de nummers niet zijn gestuurd. Het zegt helemaal niets over of de uitbetalingstabel genereus is — een spel dat de helft van de eerlijke waarde uitkeert, verifieert perfect. Dit zijn twee aparte vragen, en alleen een gepubliceerde uitbetalingstabel beantwoordt de tweede.
Commit-reveal maakt een exploitant ook niet eerlijk op zichzelf. Het beperkt hoe oneerlijkheid eruit kan zien: het huis kan een spel nog steeds slecht prijzen, maar het kan niet langer het resultaat van een ronde besluiten na het zien van je inzet, en het kan niet langer vertrouwen dat je het niet kunt controleren.
Harris wordt herinnerd als een cheater, wat hij was. Hij is nuttiger als een bewijs van een negatief: hij demonstreerde, twee keer, dat een vertrouwensmodel dat steunt op de integriteit en discretie van insiders uiteindelijk een insider zal tegenkomen. Het antwoord van de industrie was om voorzichtige mensen aan te blijven stellen. Het betere antwoord was om ze niet meer nodig te hebben.
Veelgestelde vragen
Wie was Ronald Dale Harris?
Een computeringenieur die in het begin van de jaren 1990 werkte voor de Nevada Gaming Control Board, wiens taak was om software en apparaten op te sporen die ontworpen waren om te frauderen bij speelautomaten. Hij gebruikte die toegang om machines zelf op te zetten.
Hoe fraudeerde Ronald Harris speelautomaten?
Hij wijzigde de software op bepaalde machines zodat het invoeren van munten in een specifieke volgorde en hoeveelheid een grote uitbetaling zou triggeren. Tussen 1993 en 1995 gebruikten hij en een medeplichtige het om duizenden dollars uit casino's in Las Vegas te nemen.
Hoe werd hij betrapt?
Niet door een technische controle. Zijn medeplichtige Reid McNeal probeerde een keno jackpot van $100.000 te innen bij Bally's Park Place in Atlantic City; casinobestuurders vonden zijn gedrag verdacht en waarschuwden onderzoekers van New Jersey gaming. Beiden werden op 15 januari 1995 aangeklaagd.
Wat gebeurde er met hem?
Hij werd veroordeeld tot zeven jaar gevangenisstraf en vrijgelaten na twee jaar. Hij staat op de zwarte lijst van de Nevada Gaming Control Board, die hem verbiedt toegang tot gelicentieerde casino's in de staat.
Zou de keno-voorspellingsaanval tegen een provably fair game werken?
Niet op dezelfde manier. Harris exploiteerde een generator waarvan de output voorspelbaar was voor iemand die het algoritme en zijn toestand kende. Bij commit-reveal wordt de server seed per hash vastgelegd voordat je inzet en daarna geopenbaard, en je eigen client seed bepaalt het resultaat — dus het publiceren van het algoritme kost niets, en de uitkomst kan niet worden gewijzigd nadat je inzet is geplaatst.
BRONNEN & REFERENTIES
- New Jersey Division of Gaming Enforcement — exclusion order voor Reid E. McNeal, docket 95-0240-EL (aanklachten van 15 januari 1995, de $100.000 Bally's Park Place keno-poging, Harris' rol)
- Ronald Dale Harris — werkgeverschap, de coin-sequence modificatie, het keno-programma, arrestatie en straf
- Nevada Gaming Control Board — List of Excluded Persons
- Auguste Kerckhoffs, "La cryptographie militaire" (1883) — het principe dat een systeem veilig moet blijven met alles behalve de sleutel openbaar gemaakt
DE GAMES IN DIT ARTIKEL