Publier
老哥Laoge
V神给以太坊提了一个要求：证明的最坏情况得算清楚。
别人都在比谁证明得快，
他问的是——最费算力的那个区块，得花多少。
先说背景。
ZKsync的团队搞出了很快的证明速度。10月15日，V神公开恭喜了他们。
然后他提了三件事要做：
一是让证明跟以太坊的规范对得上。
二是给证明成本设一个上限。
三是把证明系统本身做安全。
为什么第二条最难。
以太坊靠gas来算工作量、给每个区块限资源。
但生成一个证明要多少算力，一直没有对应的算账方式。
所以他要的是一条换算规则：gas涨多少，证明就多花多少算力。
这里的坑在最坏情况四个字。
普通区块几秒钟就证明完了，看起来很便宜。
但规则得防的是——万一有人故意提交一个特别难证明的区块。
而这里有个漏洞。
EIP-7904已经算过了：按目前CPU速度，不用重新定价。
但那份分析里，没算证明生成这一块。
所以V神说的最坏情况测试是这个问题：
一台机器，按规定的硬件和时间，跑完一个最难的合法区块，要花多少？
现在没人知道答案。
一句话：
以太坊的ZK路线不缺更快的速度，缺一个保证它不会失控的上限。
Avertissement : les contenus d'OKX Orbit sont uniquement publiés à titre informatif. En savoir plus
Réponses
Aucun commentaire pour le moment. Soyez le premier à répondre !
Cryptos tendance
BTC/USDTBitcoin
$80 536,9+0,00 %
ETH/USDTEthereum
$2 425,73+0,00 %
UNI/USDTUniswap
$7,61-0,01 %
Tendances du marché
1#L'ISM PMI des services aux États-Unis en octobre a chuté à son rythme le plus lent en trois mois
2#Trump déclare être prêt à opposer son veto à la législation démocrate
3#Perspectives du rapport financier de Sony : comment se comportent les activités de jeux et de musique ?
