官方大脑还没流片
TapeFly 建立在 TapeOut 之上
TapeOut 是 BNB Chain 上的一个协议,大家用 NAND 门搭电路,再把电路放上链。TapeFly 的每一颗大脑就是这样一个电路。下面是一分钟看懂 TapeOut、它对你的果蝇意味着什么,以及亲手流片的面板。
NAND 门只有在两个输入都是 1 时才输出 0。任何计算都能用它搭出来。在 TapeOut 上,每个门是一个晶体管代币,在处理器上购买。
设计是免费的。流片会烧掉电路用到的门代币,把电路永久存到链上,之后谁都改不了。
流片会铸造一个 NFT,证明这个电路归你。电路 NFT 可以在 TapeOut 的市场上买卖。
上链的电路可以通过免费的只读调用回答任何输入,所以谁都能自己验证它在做什么,不用相信任何人。
这对你的果蝇意味着什么
- ✓你的本能已经是一个电路
首页的开关会按 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 字节
字节
每条记录是一个 NAND:操作码 00,接着是它读取的两个信号。信号 0 和 1 是常量,2 到 13 是果蝇的 12 个输入位,每个门再新增一个信号。最后三个门就是答案。
从电路到上链
- ✓把规则编译成 NAND 门
50 个门,9 层深,在全部 4,096 种输入上和规则逐一对过。
- ✓写成字节
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 自己还没流片过。第一次流片就是验证,面板会在流片后立刻核对每一个答案。