前面 #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。
也就是说没有毒废料,没有需要被