After 03/24/2014, if 1BitcoinEaterAddressDontSendf59kuE has at least 2000 millibits, 1 public key from the first 2-of-4 address will be revealed, and 2 public keys from the second address. Alice will be able send all 20 millibits to her own address.
What prevents Bob, or anyone with knowledge of the redemption script, to quickly move 10 of the millibits before Alice can do so, as soon as realitykeys reveals two of the keys?
Good question. The 4 public keys of the first address are:
1st public key if < 2000:
044BD2C100F5B52B54217A4B7A1356ABE8352FEF64EDC440BEDE7F14793B79E79F967633189796C
A838CB43374563090136FAA3A573BBBDCF3CE8B7130E30A439A
2nd public key if < 2000:
047EE78EE7ED1F7E0E50D3C0585E4C695DC68A2503BA8A5343338CD72F962CA500D5AABD4157739
1294725379CB746CD5F614381951739D17A73DA34C2D134B941
Public key Alice:
0448B9EC5366E8C4DFE9F5599C926220C3FC594CE9322F17FEAF28B59EBA4F3CA3193D7A9DA63AB
975D9BA4642056CCC3C15657B8EB58ED6F45E6663BD8531BFFB
1st public key if >2000:
04501598839906E9782D3EA82AFAFD87839AE6E1DC34061BB17B196B4D9BF4B76BD0F20FE783D87
D995E88774B940866A70B51323AD188AAFFAF51AE30A865882B
Realitykeys will reveal two private keys for this address only if 1BitcoinEaterAddressDontSendf59kuE has less than 2000 millibits. Otherwise, they will reveal only one. Bob can not use the one private key to move the funds, because the address is 2-of-4. He doesn't know Alice's private key. So he needs 1BitcoinEaterAddressDontSendf59kuE to have less than 2000, and this is their original bet anyway.
If Bob keeps the redemption script private, how can Alice prove that Bob deposited coins for the bet.
Another good question. The redemption script is always the same, if you input the same public addresses and required signatures. If Alice knows, that the 4 keys will be the following, she can get the redeem script by herself and see for herself if Bob has deposited coins:
1st public key if > 2000:
04501598839906E9782D3EA82AFAFD87839AE6E1DC34061BB17B196B4D9BF4B76BD0F20FE783D87
D995E88774B940866A70B51323AD188AAFFAF51AE30A865882B
2nd public key if > 2000:
043801DF383779F7EDF643F2F195239032EE00BDC58FE7DD059C72C3E65853C92E926ABE11896C5
09F8D8BAEABD7D7CEC07095472BAA9B231F5E6AAB0E64EA0686
Public key Bob
04EF264DF632BB21AED00BDD2FED565496CBD017CBB59E8CB3B303CF1AB065D42B7205B0C991C54
0F02620AC2DAFBC0CB21D23F4192B68A08E218AED91ED59F71C
1st public key if < 2000:
044BD2C100F5B52B54217A4B7A1356ABE8352FEF64EDC440BEDE7F14793B79E79F967633189796C
A838CB43374563090136FAA3A573BBBDCF3CE8B7130E30A439A
You can play around with this website and see for yourself -
https://coinb.in/multisig/.