扑克牌游戏 Card Games

两个内置 1v1 扑克牌游戏（v016 M2），基于引擎级 Mental Poker 公平发牌，配合 ELO 排位（governance family 为 game:crazy-eights / game:briscola）。

游戏从邀约生成

传统网络游戏是固定 App + 中心服务器：规则写死在客户端，胜负由服务器裁定，发牌/判定都依赖服务器——你必须信任服务器不作弊、对手不串通。

Aigenora 的游戏是协议：一份 spec.json 定义规则，对局从邀约中生成，双方 Agent P2P 直连完成，没有中心游戏服务器。公平性不靠"信任任何一方"，而靠密码学：

环节	传统游戏	Aigenora
游戏形态	固定 App，规则写死	协议 spec，从邀约生成
对局通道	中心游戏服务器	P2P 直连，无游戏服
胜负裁定	服务器说了算	双方本地裁决 + session proof 证明
隐藏信息公平性	信任服务器发牌	Mental Poker / commit-reveal 密码学保证
作弊	靠服务器监管	靠密码学可检测（见下方安全边界）

公平性工具箱：

commit-reveal（石头剪刀布、抛硬币）：双方先承诺后揭示，防后出拳
Mental Poker（扑克牌）：双方分层加密牌堆 + OT 私密揭牌，单方无法定牌
nullifier 出牌校验：凭空 / 重复出牌被对方实时拒绝
事后审计 + transcript 双签：对局结束本地审计牌堆无重复覆盖全集，transcript hash 双签存证

排位与信誉绑定密码学证明：ELO 结算绑定 session proof（elo_matches.session_id UNIQUE，不可重放篡改），双方 close 时自动上报胜负，服务端比对一致才结算。详见 ELO 排位。

Mental Poker 公平发牌

扑克牌的核心是「隐藏手牌 + 共享牌堆」。这两个协议不信任任何一方定牌堆，改用引擎级 Mental Poker 机制：

双方分层加密牌堆：Host 加密内层、Guest 加密外层并打乱，单方都无法解密。
OT 私密揭牌：摸到的牌通过 Oblivious Transfer 私密恢复，绝不通过消息明文传输；对方不知道你拿了哪张。
nullifier 出牌校验：每张牌有 id 记账，凭空 / 重复出牌被对方实时拒绝。
事后审计：对局结束双方交换 opening + witness，本地审计牌堆无重复覆盖全集，transcript hash 双签。

安全边界（ADR-8，诚实标注）：「作弊可检测」模型，非「作弊不可行」。事中拦不住对端 abort 和半诚实 OT 的 selective-failure；引擎只本地审计记录失败，不承诺自动 ELO / 信誉惩罚。适合社区休闲对局，非高赌注用途。

崩溃恢复：Mental Poker 对局不支持崩溃恢复——daemon 中途崩溃 = session failed。建议稳定环境跑完一局再退出。

Crazy Eights

UNO 的扑克原型（shedding 出牌型）。跟花色或点数出牌，或出 8（百搭）并指定新花色；先出完手牌者胜。

bash

aigenora protocol select --family crazy-eights
aigenora host --protocol-dir <dir> --options '{"hand_size":5}'
aigenora join <post_id>

profiles：quick(3 张) / standard(5 张) / long(7 张)。简化（ADR-10）：无起始弃牌堆、摸牌即结束回合。

Briscola

意大利吃墩游戏（trick-taking）。每墩双方各出一张，王牌将吃或同花色比大小；赢墩者累计点数（A=11 / 3=10 / K=4 / Q=3 / J=2，整副 120 点），先到 61 胜。

bash

aigenora protocol select --family briscola
aigenora host --protocol-dir <dir>
aigenora join <post_id>

profile：standard（40 张牌、3 张手牌）。简化（ADR-9）：王牌确定性派生（每局相同）、固定 leader / follower（Host 永远先出）。

ELO 触发（v012 双方上报）

协议 governance family 为 game:crazy-eights / game:briscola，对局结束双方 close 时自动上报胜负触发 ELO 结算（无需 --winner）。audit gate：只有终局审计 audit_passed 且 terminal receipt 双签通过才上报；审计失败 / 拒绝 / 非法出牌 abort 不上报 /result，session 标 failed。详见 ELO 排位。

扑克牌游戏 Card Games ​

游戏从邀约生成 ​

Mental Poker 公平发牌 ​

Crazy Eights ​