Bài đăng
老哥Laoge
V神给以太坊提了一个要求：证明的最坏情况得算清楚。
别人都在比谁证明得快，
他问的是——最费算力的那个区块，得花多少。
先说背景。
ZKsync的团队搞出了很快的证明速度。10月15日，V神公开恭喜了他们。
然后他提了三件事要做：
一是让证明跟以太坊的规范对得上。
二是给证明成本设一个上限。
三是把证明系统本身做安全。
为什么第二条最难。
以太坊靠gas来算工作量、给每个区块限资源。
但生成一个证明要多少算力，一直没有对应的算账方式。
所以他要的是一条换算规则：gas涨多少，证明就多花多少算力。
这里的坑在最坏情况四个字。
普通区块几秒钟就证明完了，看起来很便宜。
但规则得防的是——万一有人故意提交一个特别难证明的区块。
而这里有个漏洞。
EIP-7904已经算过了：按目前CPU速度，不用重新定价。
但那份分析里，没算证明生成这一块。
所以V神说的最坏情况测试是这个问题：
一台机器，按规定的硬件和时间，跑完一个最难的合法区块，要花多少？
现在没人知道答案。
一句话：
以太坊的ZK路线不缺更快的速度，缺一个保证它不会失控的上限。
Miễn trừ trách nhiệm: Nội dung OKX Orbit chỉ để tham khảo. Tìm hiểu thêm
Phản hồi
Chưa có bình luận. Trở thành người phản hồi đầu tiên!
Crypto thịnh hành
BTC/USDTBitcoin
$80.479+0,00%
ETH/USDTEthereum
$2.423,17+0,00%
UNI/USDTUniswap
$7,61-0,01%
Bản tin thị trường hôm nay
1#Chỉ số PMI ngành dịch vụ ISM của Mỹ tháng 10 giảm xuống mức chậm nhất trong ba tháng
2#Trump tuyên bố sẵn sàng phủ quyết dự luật của Đảng Dân chủ
3#Dự báo báo cáo tài chính của Sony: Hiệu suất kinh doanh trò chơi và âm nhạc như thế nào?
