← Back to lotto

Provably-fair proof

This page reproduces the winner computation from public inputs. You can recompute every step in your browser's DevTools — don't trust our math, verify it.

1. Pre-commit (server_seed_hash)

Published when the lotto went live (2026-04-16T02:10:59.954Z).

01a49d376cf05cbdcdfefa7360894c445bdd5db9c2fd9091e6aeca0b6f08c47a

2. Reveal (server_seed)

Revealed after draw (2026-04-16T08:04:30.420Z).

7993e149fe168c364ca872014ef1d45db9e57c859c724ef8b9aa5b2b93774b80

Hash check: ✓ sha256(server_seed) === published hash

3. Client seed inputs (all sold tickets)

#WalletWinner?
1did:pr...1fei
2did:pr...1fei
3did:pr...1fei
4did:pr...1fei
5did:pr...1fei
6did:pr...1fei
7did:pr...1fei
8did:pr...1fei🎉
9did:pr...1fei
10did:pr...1fei

4. Derived client_seed

client_seed = sha256(sorted by entry_number, joined as "N:wallet" with '|')

d42f066526a5fbd0e754b689f6b14cf29dc110f77566926eeacc0a5925a2031a

5. External entropy (Bitcoin block)

Mixed into the HMAC input so the draw depends on a value the operator could not have known when the server seed was committed ( 2026-04-16T02:10:59.954Z). Any Bitcoin block mined after the commit works — we take the tip at draw time.

sourcemempool.spaceheight945,296hash00000000000000000001195546773442671d86b6336bd215d097c1513643b2a8block time2026-04-16T07:47:45.000Z

Cross-check on mempool.space or blockstream.info.

6. Winner computation

HMAC-SHA256(server_seed, "client_seed:lotto_id:source:height:hash"), first 16 hex chars, mod sold_count (10).

hmac = dabaeda777f97013358d649158070184f1df70a76d56fb6464bdbf367dbdab0e

Computed index: 7 → winning entry: #8

7. Independent verification

Show JS snippet (paste into DevTools)
const seed = "7993e149fe168c364ca872014ef1d45db9e57c859c724ef8b9aa5b2b93774b80";
const hashStr = "01a49d376cf05cbdcdfefa7360894c445bdd5db9c2fd9091e6aeca0b6f08c47a";
const clientSeed = "d42f066526a5fbd0e754b689f6b14cf29dc110f77566926eeacc0a5925a2031a";
const lottoId = "09eb12d1-8fa9-402e-920b-e75c2f43117a";
const sold = 10;
const entropy = "mempool.space:945296:00000000000000000001195546773442671d86b6336bd215d097c1513643b2a8";

async function run() {
  const enc = new TextEncoder();
  const seedBytes = enc.encode(seed);
  const hashed = await crypto.subtle.digest("SHA-256", seedBytes);
  const recomputed = [...new Uint8Array(hashed)]
    .map((b) => b.toString(16).padStart(2, "0")).join("");
  console.log("hashOk:", recomputed === hashStr);

  const key = await crypto.subtle.importKey(
    "raw", seedBytes, { name: "HMAC", hash: "SHA-256" }, false, ["sign"]
  );
  const message = entropy
    ? clientSeed + ":" + lottoId + ":" + entropy
    : clientSeed + ":" + lottoId;
  const sig = await crypto.subtle.sign("HMAC", key, enc.encode(message));
  const hex = [...new Uint8Array(sig)]
    .map((b) => b.toString(16).padStart(2, "0")).join("");
  const idx = Number(BigInt("0x" + hex.slice(0, 16)) % BigInt(sold));
  console.log("hmac:", hex);
  console.log("winnerIndex:", idx);
}
run();