官方大脑还没流片

TapeFly 建立在 TapeOut 之上

TapeOut 是 BNB Chain 上的一个协议,大家用 NAND 门搭电路,再把电路放上链。TapeFly 的每一颗大脑就是这样一个电路。下面是一分钟看懂 TapeOut、它对你的果蝇意味着什么,以及亲手流片的面板。

NAND 门就是代币

NAND 门只有在两个输入都是 1 时才输出 0。任何计算都能用它搭出来。在 TapeOut 上,每个门是一个晶体管代币,在处理器上购买。

流片 = 把电路放上链

设计是免费的。流片会烧掉电路用到的门代币,把电路永久存到链上,之后谁都改不了。

你得到一个电路 NFT

流片会铸造一个 NFT,证明这个电路归你。电路 NFT 可以在 TapeOut 的市场上买卖。

任何人都能向它提问

上链的电路可以通过免费的只读调用回答任何输入,所以谁都能自己验证它在做什么,不用相信任何人。

这对你的果蝇意味着什么

  1. 你的本能已经是一个电路

    首页的开关会按 TapeOut 自己的格式编译成 NAND 门。你在那里看到的门数,就是流片要烧掉的晶体管数。

  2. 用你自己的钱包流片

    用下面的面板:连接钱包,买够大脑需要的 NAND,流片。网站随后会向新电路问全部 4,096 个问题,证明它就是你的大脑。

  3. 每周冠军上链

    计划中:每周冠军的大脑由 TapeFly 流片,电路 NFT 送给冠军。要等第一次流片核对通过后才开始;在那之前冠军只记录,不铸造。

用你自己的钱包 · BNB Chain

流片一颗大脑

1 · 选大脑

想流片你自己的,先去首页拨好果蝇的本能。

NAND 门
50
需持有 NAND
50
字节
350

流片时每个门烧掉 1 个 NAND,所以要准备 50 个 NAND,另付 0.0002 BNB 流片费和 gas。

2 · 选处理器

处理器就是造电路的地方。你需要持有它的 NAND 晶体管。

3 · 签名

官方大脑:350 字节

50个 NAND 门,没有记忆单元
9层深
12 → 3输入位 → 输出位
36,450排名成本,门数 × 层数³

字节

每条记录是一个 NAND:操作码 00,接着是它读取的两个信号。信号 0 和 1 是常量,2 到 13 是果蝇的 12 个输入位,每个门再新增一个信号。最后三个门就是答案。

000000050000050000000b00000d0000000400000f0000000e0000100000000c00000c0000000b000012000000130000130000000e000014000000110000150000000a00000b000000020000020000000d00000d000000190000120000001800001a0000001b00001b0000001700001c0000000300001d00000006000006000000070000070000001f0000200000000d00000c000000220000220000001700002300000021000024000000090000090000000200000a000000270000270000000b000028000000260000290000002a00002a0000002500002b0000002c00002c0000001e00002d0000001600002e000000110000110000001d00001d00000030000031000000030000030000000b00000b0000000400000400000034000035000000280000360000003300003700000038000038000000160000390000003200003a000000050000050000001600002e0000003200003a0000003c00003c
操作码 00 = NAND 第一个输入 第二个输入

从电路到上链

  1. 把规则编译成 NAND 门

    50 个门,9 层深,在全部 4,096 种输入上和规则逐一对过。

  2. 写成字节

    350 字节,TapeOut 的记录格式;SHA-256 a763117011fe…

  3. 买 NAND 晶体管并调用 tapeout()

    tapeout(bytes, 12, 3) 会烧掉晶体管并铸造电路。

  4. 在链上核对每一个答案

    eval() 是免费的只读调用;把 4,096 个问题全问一遍并比对。

  5. 让网站指向它

    config/tapeout.json 填上处理器和电路编号,网站就开始在链上抽查。

npm run tapeout -- bytes                                  # 准确的调用参数
npm run tapeout -- verify --processor 0x… --id <circuit>  # 全部 4,096 个答案逐一比对

为什么这颗大脑适合上链

果蝇的每一个决定,就是向电路提一个问题:12 位输入,3 位输出。电路上链之后,任何一天的任何一步,任何人都能免费核对,因为 eval 是只读的。

玩家的大脑也是电路。在大脑编辑器里做的任何大脑,都能用上面的面板按同样格式流片。

如实说明

官方大脑还没上链。字节已经定稿并测试过,流片交易还没发出。在那之前,网站上的每一项核对都是用同一个电路在浏览器里跑的。

字节格式参考的是公开笔记,笔记作者在主网上测试过;TapeFly 自己还没流片过。第一次流片就是验证,面板会在流片后立刻核对每一个答案。