Publikovat
老哥，老哥
V神给以太坊提了一个要求：证明的最坏情况得算清楚。
别人都在比谁证明得快，
他问的是——最费算力的那个区块，得花多少。
先说背景。
ZKsync的团队搞出了很快的证明速度。10月15日，V神公开恭喜了他们。
然后他提了三件事要做：
一是让证明跟以太坊的规范对得上。
二是给证明成本设一个上限。
三是把证明系统本身做安全。
为什么第二条最难。
以太坊靠gas来算工作量、给每个区块限资源。
但生成一个证明要多少算力，一直没有对应的算账方式。
所以他要的是一条换算规则：gas涨多少，证明就多花多少算力。
这里的坑在最坏情况四个字。
普通区块几秒钟就证明完了，看起来很便宜。
但规则得防的是——万一有人故意提交一个特别难证明的区块。
而这里有个漏洞。
EIP-7904已经算过了：按目前CPU速度，不用重新定价。
但那份分析里，没算证明生成这一块。
所以V神说的最坏情况测试是这个问题：
一台机器，按规定的硬件和时间，跑完一个最难的合法区块，要花多少？
现在没人知道答案。
一句话：
以太坊的ZK路线不缺更快的速度，缺一个保证它不会失控的上限。
Zřeknutí se odpovědnosti: Obsah v síti OKX Orbit je poskytován pouze pro informační účely. Další informace
Odpovědi
Zatím žádné komentáře. Odpovězte jako první!
