权重永不公开
链上只存 234 个权重的哈希承诺，模型本身留在你的浏览器里。最强的那组权重不会被任何人抄走——训练成果第一次成为真正的资产。
每一次推理都可验证
对局时你的浏览器生成一份 PLONK 证明：我用赛前已承诺的那组权重、在链上随机抽出的样本上、得到了这个成绩。承诺先锁、题目后抽，无法临场换模型。
$PROOF 的独立应用
双方投入等额 $PROOF，胜者取走奖池，抽水 2.5% 全额转入黑洞地址永久退出流通。这是 $PROOF 第一个只消耗、不增发的板块。
为什么这件事必须用零知识证明，而不是把模型公开。
如果权重公开在链上，任何人都能把最强的那组抄走，一天之内全场趋同， 竞技也就不存在了。所以权重必须保密——但保密立刻带来另一个问题： 你凭什么让对手相信你报的成绩？
零知识证明恰好只解决这一件事。链上存的是权重的哈希承诺， 对局时你证明的是「我用那个承诺对应的权重跑出了这个成绩」。 承诺公开是安全的：没有权重本身，谁也造不出这份证明。
这里需要区分两件事：证明「一个模型存在于链上」， 和证明「这一次计算确实是按承诺跑过的」。 前者是存在性，后者是执行性。执行性需要一整套完整的证明栈—— 电路、可信设置、链上验证合约——而那正是本协议已经在 BSC 上运行的东西。
一场对局怎么走
- 01
设计特征检测器
固定架构 36→6→3，权重全部是 ±1。你手绘 6 个特征检测器，读出层自动拟合——技艺体现在「让网络去找什么形状」。
- 02
锁定权重承诺
把权重的哈希写上链。权重本身不上链，任何人都看不到你的模型，但你从此无法更换它。
- 03
投注并等待抽样
双方投入等额 $PROOF（自行输入 1 – 100000 之间的整数枚）。承诺全部锁定之后，链上才抽出本局的 6 个样本——顺序反了整个博弈就失效。
- 04
在浏览器里出证明
你的模型在本地跑完推理，并生成一份零知识证明。对手拿不到你的权重，却无法质疑你的成绩。
- 05
链上裁定与销毁
合约验证双方证明并比对得分，胜者取走奖池，抽水部分转入黑洞地址，永久退出流通。
结算算例 · 下注 500 $PROOF
- 1,000
- 975
- 25
双方各投 500
奖池扣除抽水
抽水 2.5%，转入黑洞地址
抽水以标准 ERC20 转账进入黑洞地址 0x000000000000000000000000000000000000dEaD（无人掌握其私钥，进去就再也出不来）。请注意这是转账而非 ERC20 的 burn：$PROOF 的 totalSupply 不会因此下降，减少的是流通量，任何人都可以在链上自行核对那个地址的余额。
当前状态
零知识证明与链上结算均已接入：对局台会在你的浏览器里生成真实的 PLONK 证明， 提交到链上由 Verifier 合约验证，胜负与派奖由合约裁决，平台不参与判定。
模型工坊里的准确率、混淆矩阵、逐样本判定全部由你的浏览器实时计算，不是展示用的假数字。但工坊本身不生成证明，因此工坊里的分数只是本地自评；只有对局里的得分经过证明验证，才在链上成立。
电路规模 4,706 条 R1CS 约束，展开成 24,055 个 PLONK 门，域大小 32,768。首次进入对局需下载 75.4 MB，之后由浏览器缓存；出一份证明浏览器实测 23.6 秒，你自己的设备可能更慢。
公开题库为每类 24 个样本，每局从中随机抽取。 模型架构与 234 个权重的规模由协议写死、所有人一致， 这样证明才能在你自己的设备上生成，而不必把权重交给任何服务器。 你的权重只保存在本地浏览器里，上链的只有一份承诺哈希。
出证明需要把 73.6 MB 的验证密钥一次性读入内存，Node 端实测常驻内存约 880 MB。移动浏览器通常在 300–500 MB 就会被系统终止进程，所以在手机上大概率不是慢， 而是直接失败。
我们没有在手机上实测过，因此说的是「不建议」而不是「不支持」—— 没量过的结论不替你下。桌面浏览器已经实测：出一份证明 23.6 秒。你自己的机器可能更慢，这一项我们无法代你测。
透明度声明
- 这是一个竞技板块，不是投资产品。输掉的一方会失去全部 $PROOF，参与前请只投入你可以完全损失的 $PROOF。
- 抽水以转账方式进入黑洞地址 0x000000000000000000000000000000000000dEaD，永久退出流通。但这不是 ERC20 的 burn：$PROOF 的 totalSupply 与已铸总量都不会下降，减少的只是流通量。任何声称「销毁使总量减少」的说法都不准确。
- 本板块给 $PROOF 造了一个消耗口，但它不修正主协议冷启动坡道的参数偏差。请不要把「AI 板块上线」理解为主协议经济模型已经健康——那是两笔独立的账。
- 零知识证明的生成与链上结算已接入。对局中的每一次得分都由你的浏览器生成证明、由链上合约验证。但模型工坊本身不出证明，工坊里的准确率只是本地自评，不具备可验证性。
- 模型架构由协议写死，不可自选。这是为了让电路规模可控——证明是在你自己的设备上生成的，因此需要桌面浏览器。
- 每一场对局的投注、证明提交与结算都将是真实的链上交易，需要你自己支付 BSC 的 Gas 费用，交易失败的 Gas 不予退还。Gas 由 BSC 网络的验证者收取，不流经本平台，因此本平台无法退还任何 Gas 费用。