BNN 数字分类器

电路 circuitId 11

✓ 已在 X Layer 证明

8×8 二值图像 → 10 个类别分数。两个通用神经元在 ℵ₀ 上只流片一次，通过 REF 连接 130 次。

展开后门数161,220

REF 子电路2

输入 / 输出64 / 70

ℵ₀ 上消耗3,337

绑定

直接求值

396,410,201gas

✗ 超出 210M 区块上限（×1.89）

ℵTape ZK 验证

296,886gas

✓ 占区块 0.14%，与电路规模无关

实测：直接求值 = X Layer 主网分叉上 eval(top) 的 gas；ℵTape = 测试网 Groth16 verifyEval 交易 0x3075…c497 的 gas（含首次写缓存，其中验证器约 233,000）。