Last week I wrote about what a distributed game protocol is, and why they're useful: for playing games (cards, board games, etc.) with someone who isn't physically present with you. I covered "open games", those which only need the players and the board (like Chess), and omit randomness, fate, and secrecy. If you haven't read that post, you should! It covers some context you'll need for this one.
Keep reading if you're interested in how we can design a protocol that allows us to play a game remotely where you can trust that your opponent isn't cheating with their dice rolls!
This post series:
It may seem obvious, but let's take a moment to understand why we might need randomness in games, and where the problem comes from when we're trying to use it remotely.
Perhaps you're familiar with Snakes and Ladders, Sorry, or the arch-nemesis of games, Monopoly. These meet all the requirements of an open game, but also use one or more dice — the most common way to introduce randomness to a boardgame. Throw an evenly weighted cube around and you get a random 1-6 number to help introduce a little chaos to your game.
If we tried taking the playing-locally approach to a remote game, you'd quickly run into trust problems. If I tell you I rolled a six, and just happened to land on this ladder (and not that slippery snake), you might wonder how I get so lucky all the time. We could play with webcams turned on and roll our dice on-screen, but with AI going the way it is, it won't be long until someone could fake a dice throw on video in real time. We could include a friend in our game, as our official dice-roller —someone who we trust to not bias their rolls to either one of us — but they'd probably get bored very quickly and leave us stuck.
We have good random number generators on computers but, whether they're pseudo- or true-random, they're still generated locally, so suffer the same problem. This seems like an unsolvable problem, until maths takes a proud step forwards, ripping off its shirt and glasses.
Maths to the rescue
Thankfully for us, and at least until quantum computing gets really freaky, there are mathematical operations that are easy to do one way, but very hard to do the other way. It's just like mixing two paints; volcanic red and blue babe make some kind of light purple when mixed, but if I gave you that purple and asked you to tell me the exact colours that made it… you'd have to try every combination of colours (and ratios!) to determine the precise inputs I used. (You can actually find artists who do literally this kind of colour matching on YouTube — it is an extremely complex process!)
Maths offers us the same kind of deal; there are some mathematical operations that are very easy to do one way, and very hard (or impossible) to do the other way. For example, remembering last week's post, I can tell you the check digit from my credit card is 6 without fear that you'll enjoy a spending spree at my expense, but it is the only one of my card numbers that ends in a six so it can also identify that particular card (for me).
In the (very simple & unoriginal) protocol I designed for randomness in games I make use of these "consistent hashing algorithms" to allow our players to make promises to each other that they can't take back. They take a number, letter, word, or even a book, and turn it into a unique very large number called a "hash" — always the same for the same input. You can share a hash of something important without giving that thing away. The letters
5DE7727 mean nothing special to you, but if I then tell you later that they are the start of the SHA-256 hash the phrase "Secret!" you can know I intended you to have the "Secret!" even before you knew what it was.
There's only one more important piece of maths to know about: pseudo random number generators (PRNGs). Because generating true random numbers can be quite slow, these algorithms are regularly used to take an initial and random number (a "seed") and generate an infinite sequence of unpredictable random numbers from it. If a PRNG is well designed you can't predict the next number unless you know the seed (and how many previous numbers have been generated). Conversely, if you do know the seed, then every single number can be predicted, because a PRNG with the same seed always makes the same sequence of numbers.
To "roll a dice" in a distributed game we now need a few extra steps, but thankfully they're all very simple for a computer to accomplish:
- Alice generates a random number she promises to use (
A) and sends Bob the hash of it (
- Bob receives (
H) and sends Alice a random number (
B) she must use.
- Alice combines those two random numbers (
C = A+B) and uses it to"roll a dice" (
D) with a PRNG.
- Alice sends Bob their move, including the dice roll (
D) and their original random number (
- Bob checks that the hash of
H(if it isn't, then Alice cheated!)
- Bob checks that the PRNG with seed
Cdoes indeed make the dice roll
D(if it isn't, then Alice cheated!)
Expand this to see the geeky sequence diagram!
sequenceDiagram participant A as Alice participant B as Bob activate A A-->>A: Generate a large random number (R1) A->>B: Game invitation
Includes H1 = hash(R1) deactivate A activate B B-->>B: Generate large random numbers (R2, R3) B->>A: Accept invitation
Includes R2, H3 = hash(R3) deactivate B activate A Note over A: Turn PRNG seed is R1 + R2 A->>A: Game state 'chance' move, using RNG Note over A: Alice decides move A-->>A: Generate large random numbers (R4, R5) A->>B: Initial game move
Includes R1, R4, H5 = hash(R5) deactivate A loop Repeats for each player activate B Note over B: Validate hash(R1) == H1
Replicate chance elements and validate move
Else declare protocol failure Note over B: Turn PRNG seed is R3 + R4 B->>B: Game state 'chance' move, using RNG Note over B: Decides move B-->>B: Generate large random numbers (R6, R7) B->>A: Responding game move
Includes R3, R6, H7 = hash(R7) deactivate B end
And that's it! You can now play a game of chance with an opponent who you aren't with and may not be able to trust. This class of problems (distributed game protocols) are studied under the name "mental poker" — and we still have the most challenging part to cover — games with fate and secrecy, in the third and last post of this series, coming soon!