Mines 公平性

​

承诺了什么，何时承诺

1. 承诺运营方所贡献的部分。 后端生成一个随机的 32 字节 server_seed，交易中存储它的 SHA-256 哈希 —— 即承诺。种子本身在本局结束前一直保持隐藏。
2. 捕获链上熵。 程序从 Solana 的 SlotHashes sysvar 中读取最近的槽位哈希并存入本局。
3. 冻结各项条件。 庄家优势、赔付上限与退款超时都会被快照进你这一局 —— 任何变更都无法对你正在进行的棋盘重新定价。

​

Mines 的棋盘是如何推导出来的？

输入
  server_seed  32 字节   运营方种子，开局时以 sha256(server_seed) 承诺
  slothash     32 字节   开局交易执行时最新的 Solana 槽位哈希
  user         32 字节   你链上用户账户的地址
  nonce        8 字节    你的 Mines 游戏计数器，小端
  mines_count  1..24     你所选择的地雷数量

随机流 —— SHA-256 区块，每次消耗 4 字节
  block(k)   = sha256( server_seed ‖ slothash ‖ user ‖ nonce ‖ "mines" ‖ k )
               // "mines" = 5 个 ASCII 字节；k = 区块计数器 0, 1, 2, …，8 字节小端
  next_u32() = 当前区块中尚未读取的下 4 字节，按大端读取；
               区块耗尽后，转到 block(k+1)

0..bound 范围内的无偏抽取（拒绝采样 —— 无取模偏差）
  draw(bound):
    zone = 4294967295 − (4294967295 mod bound)
    重复 v = next_u32() 直到 v < zone
    返回 v mod bound

棋盘 —— 部分 Fisher–Yates 洗牌
  tiles = [0, 1, …, 24]
  mine_mask = 0
  for i in 0..mines_count:
      j = i + draw(25 − i)
      交换 tiles[i] 与 tiles[j]
      mine_mask = mine_mask OR (1 << tiles[i])

• 哈希输入顺序严格为：种子、槽位哈希、用户账户地址、nonce（8 字节小端）、ASCII 标签 "mines"，然后是区块计数器（8 字节小端，从 0 开始）。
• 每 4 字节的分块按大端读取。一个区块最多产出 8 次抽取；随机流会按需以下一个计数值补充。
• 拒绝采样的循环使每一次抽取都严格均匀 —— 洗牌不存在可供争论的偏差。

​

程序强制执行的赔付公式是什么？

倍数 = (1 − 庄家优势) × ∏(i = 0 … k−1) ( (25 − i) / (25 − M − i) )

M = 地雷数量，k = 已翻开的安全格子数

​

程序在结算时强制执行什么

• sha256(server_seed) 必须等于开局时存储的承诺 —— 换一个种子无法结算本局。
• 棋盘会用上面的公式从头重新推导。任何实际是地雷的「已翻开」格会被拒绝；被声称踩雷但实际不是地雷的格子会被拒绝；既被声称踩雷又被声称已翻开的格子也会被拒绝。
• 倍数在链上依据快照下来的优势与你实际翻开的格数计算 —— 赔付无法被谎报。
• 结算事件会永久公布种子、槽位哈希、完整地雷掩码、你翻开的格子与最终结果。

​

什么被保证了，什么没有

• 棋盘在你第一次点击之前，就由承诺加上所存槽位哈希固定下来。地雷无法在局中移动。
• 结算时，运营方无法就棋盘撒谎：错误的种子、把地雷说成安全格、伪造踩雷，都会让交易失败。
• 你开局时所适用的条件（优势、赔付上限、超时）一直适用到本局结束。
• 你的本金绝不会被锁死：如果运营方始终不结算，超时之后任何人都可以调用取消，退还你的本金。正常运行下你根本不会走到这一步 —— 被放弃的棋盘会在超时前按当前倍数替你兑现（见 Mines），因此你保住的是收益而不仅仅是本金。无需许可的取消，是运营方彻底消失时兜底的那层保障。

• 游戏过程中运营方知道棋盘。 这是结构性的，而非此设计特有的缺陷：翻格由链下即时提供，而提供这一服务的一方必然知道地雷在哪。没有任何随机数方案能消除这一点 —— 即便棋盘由 VRF 生成，运营方在响应你第一次翻格时同样会知道它。承诺机制所保证的是：这份认知既不能用来_改变_棋盘，也不能用来_谎报_结果。
• 开局时机。 棋盘取决于你开局时捕获的槽位哈希，而开局交易由后端提交 —— 与其他游戏是同一类时机考量。提前知道一个棋盘，只有在你的点击可被预测时才有用；变换你点击的位置就能挫败基于时机的棋盘挑选。
• 作废。 运营方可以取消一局进行中的游戏 —— 原则上也包括你正在赢的那一局。取消会全额退还本金（不存在没收路径），并且总会发出公开事件，因此作废频率任何人都可以在链上审计。
• 每一局都必须使用全新的种子 —— 已揭示的种子是公开的，重复使用会让下一个棋盘可被公开推导。程序会在链上拒绝连续重用，后端则强制保证全局唯一性。

​

如何验证一局 Mines？

1. 核对承诺：sha256(server_seed) 必须等于你开局交易（MinesGameStarted 事件）中公布的 commit_hash —— 这证明棋盘在你第一次点击之前就已锁定。
2. 用上面的公式重新推导地雷掩码，并与事件中的 mines_mask 对照。
3. 依据掩码核对结果：revealed_mask 的每一位都必须是安全格，而踩雷的那一格必须是地雷。
4. 用赔付公式核对倍数。