电路
电路流片在 ℵ₀ 上，按门数烧晶体管；登记过的电路，链上任何合约都能便宜地检查和读取它的结果。
ℵ₀ 晶体管
供应量和价格在处理器部署时设定，之后无法更改。电路越大，消耗越多，因此可 ZK 调用电路的需求与 ℵ₀ 的价值同向变动。
总供应21,000,000
价格0.000066OKB
已铸造…
剩余…
全部铸完 = 1,386 OKB
成本
| 电路 | 消耗 | OKB |
|---|---|---|
| 小型谜题电路 | 500 | 0.0330 |
| 五子棋 AI：三个神经元经 REF 连接 | 2,127 | 0.1404 |
| BNN：两个神经元经 REF 连接 | 3,337 | 0.2202 |
| BNN 若平铺流片（不用 REF） | 161,220 | 10.64 |
部署披露
| 处理器 | AlephTape |
| 代号 | ALEPH0 |
| 地址 | 0xb00E…2f54 |
| 工厂 | TapeOut 官方工厂 |
| 上限不可更改 | 21,000,000 |
| 价格不可更改 | 0.000066 OKB |
| 部署状态 | 已部署于 X Layer 主网 |
已登记的电路
这里的每个电路都在 ℵ₀ 上流片，绑定其展开后的网表哈希和专属的 Groth16 验证器。结果一经证明即被缓存，任何合约都能读取。
电路7
展开后门数1,054,023
近 1,000 区块证明…
verifyEval 交易 gas296,886
| 电路 | 类型 | 门数 | 直接求值 | ZK 验证 | 链上状态 |
|---|---|---|---|---|---|
| BNN 数字分类器 | BNN | 161,220 | 396,410,201 ✗ | 296,886 | 已注册于 X Layer |
| 五子棋 AI ℵ-1 | 五子棋 | 142,727 | 351,108,420 ✗ | 371,561 | 已注册于 X Layer |
| 贪吃蛇 AI | 贪吃蛇 | 145,890 | 358,889,400 ✗ | 294,768 | 已注册于 X Layer |
| 2048 AI | 2048 | 175,032 | 430,578,720 ✗ | 300,094 | 已注册于 X Layer |
| 像素小鸟 AI | 像素小鸟 | 143,700 | 353,502,000 ✗ | 294,383 | 已注册于 X Layer |
| ℵ-2 进攻型（AI 对棋） | 五子棋 | 142,727 | 351,108,420 ✗ | 371,561 | 已注册于 X Layer |
| ℵ-3 稳健型（AI 对棋） | 五子棋 | 142,727 | 351,108,420 ✗ | 371,561 | 已注册于 X Layer |
七个 AI 电路都已在 X Layer 注册，点名字进入它的页面。门数是展开后的门数；直接求值：BNN 是主网分叉实测，其余按每门约 2,460 gas 估算；ZK 验证是一笔 verifyEval 交易的实测 gas。证明数只统计 BNN 最近 1,000 个区块（公共 RPC 每次最多查询 100 个区块）。
下一代与规则
ℵ₀创世（当前）…
ℵ₁ ℵ₀ 全部铸完后开放白名单：仅可追加
- 01晶体管是发布可 ZK 调用电路的原材料：在 ℵ₀ 上每流片一个门，就消耗一个晶体管。
- 02REF 实例不消耗晶体管。子电路流片一次即可复用，因此总消耗等于不重复的门数。
- 03ℵTape 只接受在自家处理器上流片的电路。来自其他处理器的电路需在 ℵ₀ 上重新流片，并记录原始 TapeID。
- 04ℵ₀ 全部铸完后，可以从同一个工厂部署下一代（ℵ₁）。注册表白名单只能追加。
- 05公开承诺：ℵ₀ 售罄后才开放 ℵ₁。ℵ₀ 保留创世身份，并在任何费用分成中享有第一优先权。