Download and verify hash.keys
For more details on the secret keys see secrets
Verify that the secret used hashes to the hash listed for for 2012-07-17 in hash.keys
sha256(vwnimTrzV1Gdc3duEw5lzhsNEBxnMWVZ42hH40ntqc42FxeLPlWhR2eSVSHwkosg) -> 52e022f374273beeee7ced34b9e6560fac20de4d9e3a295a51687663cb1656b6
Verify that the hmac sha512 with secret and transaction_id hash to the bet hash
hmac_sha512(vwnimTrzV1Gdc3duEw5lzhsNEBxnMWVZ42hH40ntqc42FxeLPlWhR2eSVSHwkosg,37318a714b509e30a5fd5b6e8acdd9de0e6c61d07e61587873ff484abba31f95) -> fa5e78284ee13fc5874d6b7791c071e0f9032baf2e6fde227b5e73a358f1f69d hmac512
Verify that the first bytes of the bet hash above is the lucky number
fa5e78284ee13fc5874d6b7791c071e0f9032baf2e6fde227b5e73a358f1f69d -> fa5e -> 64094