emma

前面 #TapeOut 在15U几个买了 $BEM 后面涨到80多U一枚出掉了
研究了一下，发现挖矿在入场已经卷不过了，好吧，我踏空了
今天看到ZK Circuit Miner研究了一下
虽然是彷盘，但是能赌一下早期的红利
ZK Circuit Miner 做了一件我很少见到有人真做的事：
它把零知识证明放进了主循环，而不是放进白皮书。
你在浏览器里点一下，本地真的生成一份 PLONK 证明——
要算 5 到 10 秒，风扇会转。
然后证明送上 BSC，验证器合约逐字段验完，通过了才铸币。
链上验一次 296,906 gas。这笔 gas 就是「真」的成本。
但真正让我停下来的是另一件事：它没有可信设置仪式。
玩过 ZK 的都知道那个心结。Groth16 的 Phase 2 是电路专属的，
每改一次电路就得重新组织一场多方仪式，
安全性押在「至少一个参与者诚实销毁了自己的随机数」上。
那个随机数叫毒废料，谁偷偷留着，谁就能凭空伪造证明，而你验不出来。
作者的做法是整套换成 PLONK，只用通用的 Phase 1，
直接站在 Hermez 那场公开仪式上（ceremonyPower = 28，
贡献数 55 = 54 次贡献 + 1 次 beacon）。
关键在于 PLONK 的 setup 是确定性的：同样输入跑两次，
得到字节完全相同的 zkey。
也就是说没有毒废料，没有需要被