Alice, Bob, Carol, Dave and Eve Play Mental Poker in Go

Alice, Bob, Carol, Dave and Eve Play Mental Poker in Go

Okay. You have 52 cards, and you have five people in the game (with Alice, Bob, Carol, Dave and Eve), and they are all remote and none of them trusts any dealer. So how can you create a game, where we shuffle the cards, and where each player will get the same card dealt as each other? One method is defined within the following paper [here]:

What we want to do, is to generate 52 encrypted cards (E(ci)), and send them to each of the players. They will then shuffle them with a randomization factor for each encrypted card, and we should still be able to prove that the shuffle is still correct.

In this case, we will create a public key and a private key for the encryption, which we will share with all of the players. We will then use this to encrypt a number of cards (“1”, “2”,…). In ElGamal we create two values for each card: K and C. Once generated for each card, we can then distribute these to each of the players, and where they will shuffle the encrypted cards, and end up with the same shuffled sequence. We then need to prove that the shuffle and the re-randomization process has worked correctly. The ElGamal method has the advantage of implementing additive homomorphic encryption, and also in creating a shared public and private key.

The following is the code [uses this library here] [Sample run]:

A sample run is [Sample run]:

Private key 97bb9cebdd5e07e94d2980bb920b83e16cf4f6ed078f50cca8ba19cdd887ea0c

==Encrypting cards==
[0] K: 80a2e471253f3b433b479df07af50bc68d1834982d495df8259a75644cf99ec7, C: 2e62d7debb40ffcbeeac7157114410f03cc968f18b1292f8c97bd896cda0e48a
[1] K: d0667997122e21c0431e24f9cb9faed10a0d5cce1491b40c7a13a93225e28311, C: c875538c70a3c46915e0407e6fb59477ede62782221cf97e3644a23f3c1e70ec
[2] K: da852b93029435e057c2242f13482193bfabf3ea51b05ae8f27b4094807370b9, C: c38826c5b9bd66b62113525f8f7d0b1974f7901b3d8f30ec38095ae346ada850
[3] K: 2e1040a2da7b39fc55665233410b15080d660e68ecd388d06b917cb8b0fb9992, C: e19ee90a74d3b7b310ec205507e8a641308611c2888153b9574e1bead7936429

==Check for decryption==
Decrypted 0
Decrypted 1
Decrypted 2
Decrypted 3

== Shuffling and re-randomising keys==
K: 2083c58a4e034cf8a028e7ae79fce104c4a548a67e71c9f9d1e3efe6ee5fcdb9, C: 3088aa97a6534ab4acc1a47cf978b7517c37235fdb9d6c1cf96626d05e8fca2f
K: 4c2fe6a7394aad1283ec1331e136d9b302c64768b68d5e999aab388ba3c1e9fe, C: 0e8e0ab480c0fe723ca0a2f192146da0c942628b5769df26fc5625e6e2a5d2a4
K: 6c765e342087be1371dfcdf36292e5d3869026df646a028b28da91bac789ce56, C: 4c5f050afef043f5fb6f88648d63e01aed096afac70d15faeb0aa044363692b9
K: 6d786036b091c83339ae7a34b446fa8dc307ef791482056f5af178ccae5092e3, C: f4fe8cf20d37c15a4179b8661a0764f7786ff9956abf66d88a72e67e9d55bc75

==Check for decryption==
Decrypted (after shuffle): 0
Decrypted (after shuffle): 2
Decrypted (after shuffle): 1
Decrypted (after shuffle): 3

Proof: 00000000  b2 f7 6c ce 78 57 fa 0d  0b d3 f6 0e b7 
Proven