协议参数
F 为当前持有者的链上加成因子，仅作用于工本；仅最优首创获得设计溢价 K_task·q。
H = ( b*×F + Ktask · q ) × P
算力组成
资格网表不能包含 REF；含引用的电路无法进入任一挖矿池。
工本b* = n + λburn · mn = 本层销毁的 NAND 数量，m = 本层销毁的 LATCH 数量
面积A = g + λ · sg = 递归元件总数，s = 递归 LATCH 总数
深度d = 最长组合路径终点可以是输出引脚，也可以是寄存器输入
成本C = A · max(d,1)β综合面积与深度的设计成本
质量q = clamp(Cref / C, 1/Q, Q)当前设计相对参考实现的质量
算力H = (b*×F + Ktask·q) × PF 为当前持有者的链上加成因子，仅作用于工本；仅最优首创获得设计溢价 K_task·q。
参数
发行
发行上限21,000,000 $FAB（8 位小数，最小单位 1 nand = 1e-8）
首期产出7,200 枚 / 天
减半每 210,000 × 600 秒 ≈ 3.995 年
已验证池99%，按算力 H 分配
未验证池1%，按 b* × P 分配，适用于未认领题目的矿机
无人挖矿时对应产出永久放弃，不补发、不顺延
抽检
最少抽检条数至少 3 条，不可调低
锚点有效期200 个区块
停挖冷却期1,200 区块（≈20 分钟）
举证撤销提交电路未通过的官方测试向量，可撤销其挖矿资格，无需质押
抽检数量按有效门数计算，不计入输出未被使用的门
Gas 上限检查runGasFor(总门数) × 抽检条数 ≤ maxRunGas
题库
公式随 X Layer 上的 PodMining 生效；PodMining 尚未封印，封印后这些参数永久不变。