ZK Circuit Miner —— 面向零知识证明电路设计者的挖矿协议。
每一个零知识证明系统，最终都会落到同一件事上：约束（constraint）。它只做一件事——描述"某个等式必须成立"。
在这里，代币被还原成信息科学里最原始的成分。一个约束零件就是这么一个东西，是所有可验证计算的基础单元。
除了它我们还给你另一样：连线（wire）。它把一个零件的输出接到另一个零件的输入。只有约束而没有连线的世界什么都构不成， 因为不能互相引用的约束，称不上是一个电路。
一种原始成分，一种连接方式。用这两样你可以搭出一整个宇宙。
你手上有了零件——那么怎么把它们接起来？你在 ZK Circuit Miner 的拼装画布上把它画出来。
拖一个零件进来，抓住输出引脚，拉出一根线，落到另一个输入上。连线决定这堆零件算不算一个电路——类型必须兼容、不能成环、 必须连成单一连通图；任何一条不满足，编译按钮就是灰的。这套结构校验在你的浏览器里完成，链上记录的是零件构成与电路指纹。
随便试。画布上的一切都在你的浏览器里实时跑，一分钱不花，直到你满意为止。然后你按下那个按钮：编译上链。
这个词来自真实的密码学工程——电路设计交付编译器，被展开成一组确定的约束系统。在那一刻，你的零件（代币）被真正销毁， 一台矿机（NFT）诞生了。
- 128 个约束，一次 64 位范围证明——你证明某个数落在区间内，却不说它是几。
- 240 个约束，一次 Poseidon 哈希——ZK 世界里最省的承诺原语。
- 1,920 个约束，一条 8 层默克尔路径——你证明自己在名单里，却不说是哪一行。
- 86,400 个约束，一次 ECDSA 验签——链上第一次能认出"这是你签的"，而你没交出私钥。
而在你确认编译之前，同一套搭法可以在画布上反复推倒重来——布线、换零件、看算力怎么变，全部在浏览器本地完成， 不动钱包也不花一分钱。只有当你按下编译，零件才被真正销毁，矿机才会诞生。
Power = Σ证明价值 × (1 + 6% × min(零件种类数 − 1, 5))
1 点证明价值 = 1 点算力，严格线性，没有上限。 零件的 $GATE门元 单价由同一个系数从证明价值推导，因此 12 个零件的性价比基本一致（小零件因取整有不到 1% 的偏差）—— 没有陷阱件，也没有可以无脑堆砌的刷分件。选哪个零件是设计判断，不是查性价比表。
唯一的非线性来自多样性加成：加成按零件种类数计算，每多一种 +6%，6 种封顶 +30%。 关键在于它作用于种类而非数量——把一台大电路拆成多台单件矿机会丢掉全部加成， 而同一种零件堆再多也换不来加成——事实上也堆不了：总件数超过 6 件时，单一种类占比不得超过 70%，超了编译会被合约拒绝。这样「算力」只负责诚实核算你证明了多少东西， 「加成」负责奖励你真的把不同零件组装成一个电路。
// 正在接线…
全网数据
正在从链上读取全网状态…
这是什么
BNB Chain（BSC）上的密码学工程竞技场。你用预审计的零知识证明零件（Poseidon、默克尔路径、范围证明、签名验证等）在画布上拼出一个真实电路。
编译上链的那一刻，协议按电路的证明价值总和与零件多样性为它算出满额算力，这台电路从此成为一台矿机——但满额算力不是一次性躺赚，有效算力自维护起持续衰减，需要你反复提交维护证明。
怎么玩
消耗 $GATE门元 编译电路铸造矿机（销毁量与算力值成正比）；你的产出 = 你的当前有效算力 ÷ 全网算力总和 × 当期奖励池，随时主动 claim 领取 $PROOF。（分母是所有在线矿机的满额算力之和、不扣衰减；你的衰减只让你拿不满自己那一份，省下的直接销毁、不会分给别人。）
值得钻研的是零件搭配：算力严格等于「证明价值总和 × 多样性加成」，用越多种类的零件搭同一台矿机加成越高（每多一种 +6%，6 种封顶 +30%）。算力没有上限，编译与维护都按算力等比付费——所以拆成多台小矿机不会更划算，把零件放进同一台才拿得到多样性加成。弃置过久会衰减到被移出全网分母。
核心循环
- 01
获取零件
在市场购买 $GATE门元（ERC-1155 约束零件代币），按零件的证明价值定价。
- 02
拼装与验证
画布上拖拽连线，本地 WASM 预览验证，实时看到有效约束数与预估算力值。免费、可无限试错。
- 03
编译上链
单笔交易销毁 $GATE门元（随算力凸函数计价），铸造矿机 NFT，结构永久锁定，算力从满额开始计时。
- 04
每日维护并 claim
算力自维护起持续衰减，24 小时降至 35% 保底；每次维护需重新生成证明并销毁 $GATE门元：固定部分 1.5% × 算力，加时间部分 2.5% × 算力 × 欠费天数（按衰减地平线封顶）。每天维护一次即约 4.0% × 算力。产出持续累积，随时主动 claim 领取 $PROOF。
透明度声明
请完整阅读后再决定是否参与。本项目为工程创作实验，不是投资产品。
- 这不是一个稳赚的投资产品。$PROOF 的价格与产出价值可能归零，参与前请只投入你可以完全损失的资金。
- 矿机的满额算力在编译那一刻确定，不随市场冷热变化——但有效算力自维护那一刻起就在持续衰减，需要你反复提交维护证明，不是躺赚资产。另请注意：算力恒定不等于收益恒定，越过冷启动坡道后你的实际产出取决于自己占全网算力的份额。
- 没有满效期：效率从维护完成的第一秒就开始下滑，24 小时后降至 35% 保底。因此即使你每天准时维护，平均效率也只有约 68%，而不是 100%——这是机制本身的设定，不是故障。
- 维护证明不是免费打卡：它需要重新生成一次真实的电路证明，并销毁 $GATE门元。费用分两部分：固定 1.5% × 算力，加 2.5% × 算力 × 欠费天数；每天维护一次合计约 4.0% × 算力。拆成两部分是为了让"拖着不维护"不再免费——V3 时期成本按次收、产出按秒积，拖到清算线前一刻反而资本效率最高。算力越高，持有成本越高——这是为了让"养一台巨型矿机"始终有持续的机会成本，而不能靠脚本无成本永久续期。
- 长期不维护的矿机按三段衰减：24 小时内线性降至 35% 保底；保底值恒定 24 小时；此后进入深度休眠，保底值本身在 24 小时内趋近于零。约第 69 小时跌破 5% 后从全网分母中移除，任何人都可对其发起清算。
- 矿机永不销毁，被清算后已累积的产出也不会丢失，但复活需要销毁 3 倍维护费的 $GATE门元，且算力从当前低位重新爬升。若复活与维护同价，被清算就毫无代价，衰减机制也就失去意义。
- $PROOF 的发行分两个阶段：全网算力低于 15,000（冷启动坡道）时按比例缩减，此阶段新矿机上线会提高全网产出总量，参与者之间不互相摊薄；越过该值后日排放锁定上限，此后新矿机上线会摊薄所有人的份额。请注意这意味着早期低算力阶段确实可能被少数人拿走大部分发行 —— 这是坡道设计的已知代价，不是保证不会发生。
- 每点算力的产出在冷启动坡道内是固定的（当前档位约 1.9178 $PROOF/算力/天，每个减半档位腰斩一次），与你的矿机大小无关。越过坡道后单位算力产出会随全网算力增长而下降——届时你的收益取决于你占全网的份额，而非仅取决于自己的算力。
- 算力值没有上限封顶：算力严格等于「证明价值总和 × 多样性加成」。此前的封顶设计已移除——它反而鼓励把大电路拆成多台小矿机来绕过上限，惩罚了老实把零件放进同一台矿机的人。
- 多样性加成按矿机用到的零件「种类」数计算，每多一种 +6%，6 种封顶 +30%。同一种零件堆再多也不增加加成。加成必须靠把不同零件放进同一台矿机才能拿到，拆成多台单件矿机会全部丢失。
- 单一零件种类有占比上限：当电路总件数超过 6 件时，任何一种零件的件数不得超过总数的 70%，否则编译交易会被合约直接拒绝（不是「白堆」而是无法编译）。总件数在 6 件及以内时不受此限，方便小电路试错。
- 批量优化折扣只对真正接线成单一连通电路的零件生效，但请注意它现在只影响「有效约束数」这一展示数值，不再影响算力与编译成本。
- 每一次编译上链、提交维护证明与 claim 都是真实的链上交易，需要你自己支付 BSC 的 Gas 费用，交易失败的 Gas 不予退还。Gas 由 BSC 网络的验证者收取，用于支付交易的链上计算与打包，并不流经本平台、也不归本平台所有，因此本平台无法退还任何 Gas 费用。
- 电路一旦编译，其结构永久不可修改、不可撤销，$GATE门元 的销毁不可逆；但算力值会随维护状态变化，不是一个恒定不变的数字。
- 全网算力会随参与人数增长而增长，早期参与者天然享有比后期更高的份额占比。全网难度系数设有上限，避免项目运行越久新人入场成本越高，但早期优势本身依然存在，请知悉后再决定参与时机。
- 本项目定位为工程创作与竞技实验，不宣称解决任何真实基础设施需求。零件库经过审计，但你组合出的电路本身不构成任何安全承诺。