证明公平

浏览器验证（proof portal，接口就绪）

v1 无 portal 后端。以下表单为接口就绪的静态层：生产环境将由独立的 proof portal 服务提供查询与浏览器本地验证（WebAssembly verifier），并显示 verifier 版本、proof digest 与验证耗时。

hand id 或 proof digest

验证（portal 服务上线后开放）

当前状态：v1 静态层 · SAMPLE DATA / devnet · 查询接口待 portal 服务

浏览器扩展侧接线（ZChain Wallet Extension 0.2，已交付）

网页静态表单之上的可用路径：ZChain 钱包浏览器扩展（0.2.0-alpha）内置 proof portal（扩展页 portal/portal.html，popup 一键打开）。验证一手 牌的完整流程在本机完成：

1. 输入 hand binding（64 hex）→ 扩展按当前网络解析网关地址（devnet 默认 http://127.0.0.1:18900，可设置；testnet 未部署公共网关、须显式 配置），调 explorer 网关 /api/v1/settlement/{binding} 展示结算明细：payout_root、rake（total/treasury/operator）、层级（proven / soft_accepted，网关水位声明，原样展示）。
2. 拉取 /api/v1/proof/{binding}，展示归档引擎（X-Zchain-Engine）与字节数——STARK 证明本体不在浏览器内验证（stwo-wasm 未交付，如实标注）。
3. wallet-core WASM 本地复验结算关系：payout_root 由赔付集合复算比对（与链同一实现）、守恒（Σinputs == pot == Σpayouts + rake）、费率关系（rake.total == plan.rake）、plan 分层自洽——展示 verifier 版本、耗时与逐项结论。任何一项不一致即 rejected；网关不可达/未配置/404 如实报错，不伪造验证结果。

权限纪律：扩展默认零主机授权；对网关的跨源访问由用户在 portal 页内显式授予（可选主机权限，chrome.permissions.request），或网关以 --public 启动（CORS *）。验收记录见仓库 extension/ACCEPTANCE.md（真实 explorer_gateway + wallet-core wasm 复验 verified）。

独立验证命令（现在可用）

不依赖任何网页或运营方服务，直接用钱包 crate 的 CLI 验证证明文件（poker-wallet crate 由并行工作提供，命令以该接口为准）：

# 验证一手牌的归档证明（proof.json 由 explorer/portal 下载或自节点导出）
cargo run -p poker-wallet --release -- verify proof.json

# 完整 STARK 验证路径（适配器 crate，开发/审计用）
cargo test -p poker-appchain-texasair --release

• verifier 版本（占位）：texas-air-v2；证明系统：stwo 2.3（circle-STARK，Stark curve）。
• 证明覆盖：canonical tagged AIR（29 选择子、状态镜像链、nullifier），批次绑定 table_id、pre/post 状态根、逐字节 pot 镜像。
• 负例保证：垃圾 STARK 字节、承诺不一致、桌不一致、缺绑定、坏签名、Fiat–Shamir 流篡改、状态镜像字节翻转均被验证器拒绝。

公开输入（scope v2 摘要）

归档 scope 与 canonical AIR 公开字段逐字段一致，关键字段：

字段	说明
table_id	桌标识，与结算记录一致
first/last_hand_id、first/last_call_seq	手牌与调用序列边界
transition_count	状态转移数（> 0）
batch_digest	批次摘要
pre/post_state_commitment	首/终态承诺
pre/post_state_root	首/终态 SMT 根
pre/post_lifecycle / overlay / settlement / custody	各子状态根
pre/post_state_image_bytes	定宽状态镜像（1680B，pot @ 偏移 74）
rake_opening / blind_opening	费率与盲注开口

完整字段表见证明系统文档。

示例：一批次的验证结果（SAMPLE DATA）

项	值
hand_id	42（示例）
verifier 版本	texas-air-v2（占位）
引擎	poker-appchain-texasair / stwo 2.3
结果	PASS（示例数据，非真实出证）
验证耗时	约 1–3 s / 批次（开发机参考值，非承诺指标）