以太坊探索更快的通用STARK系统,Poseidon在隐私证明中的作用受Vitalik Buterin赞誉
随着新的证明系统使传统哈希算法在以太坊L1中变得更加实用,以太坊的密码学计划正在发生转变。尽管Vitalik Buterin高度赞扬了Poseidon过去的价值,但比特币安全研究人员Justin Drake指出,以太坊基金会正逐渐转向SHA或BLAKE算法。Drake将这一变化归因于更快速的二进制域SNARK(简洁非交互式知识论证)的发展以及后量子密码学研究。
Poseidon在以太坊中的历史角色
Buterin表示,Poseidon哈希函数的研发凝聚了多年的心血。他指出,Poseidon使得隐私协议能够生成快速客户端侧的SNARK证明,发挥了重要作用。然而,Buterin也强调了通用STARK系统的最新进展。他提到,当前的系统在处理大规模批量计算时,证明开销约为三位数水平;而未来这一开销有望迅速降至两位数甚至更低。
Drake描述道,Poseidon的开发历时八年,获得了八位数的资金支持。以太坊基金会在2018年开始了针对SNARK友好型哈希函数的研究,Poseidon随后于2019年问世,并后来支持了zk-rollups和zkVM等应用。
二进制域改变了技术格局
Drake表示,较新的SNARK设计可以直接使用传统哈希函数,而无需依赖专门设计的SNARK友好型函数。他以SHA2和BLAKE2s为例,指出它们现在在SNARK内部的表现已与Poseidon相当。根据Drake的解释,二进制域以素数2为基础,非常适合传统哈希运算。相比之下,在大素数域中进行位操作需要更多的计算工作。
Drake指出,研究人员目前可以在笔记本电脑上每秒证明约100万次哈希调用。他估算,这一过程的开销大约相当于原生CPU布尔计算的100倍。
以太坊的后量子路线图
Drake对Jim和Ben在2023年推出的Binius项目,以及Ron、Benedikt和William在今年6月推出的Flock项目表示了认可。他还提到Emile和Thomas正在开发基于二进制域的系統。该路线图的目标是在2027年实现生产级的leanVM(轻量级虚拟机)。Drake表示,共识层、数据可用性层和执行层的部署可能会在2028年陆续跟进。
此外,Drake还提到了涉及基于格结构的HAWK和基于同源性的SQIsign的一些挫折,这两者曾出现在NIST(美国国家标准与技术研究院)第三轮签名方案中。
Drake引用数据显示,SNARK.fast在M3 Max芯片上实现了每秒超过180万次BLAKE3证明。他还提及了ECDSA.fail、zk.golf以及自动研究工作。Ethproofs第10期活动将于UTC时间下午2点聚焦于二进制领域议题。
Drake总结道,基于哈希的密码学在后量子签名方面为区块链赢得了优势。SNARK可以将签名压缩为单个区块证明,从而支持k-of-n阈值签名和复杂的多签场景。
ETH

交易所
交易所排行榜
24小时成交排行榜
人气排行榜
交易所比特币余额
交易所资产透明度证明
去中心化交易所
资金费率
资金费率热力图
爆仓数据
清算最大痛点
多空比
大户多空比
币安/欧易/火币大户多空比
Bitfinex杠杆多空比
ETF追踪
索拉纳ETF
瑞波币ETF
香港ETF
比特币持币公司
加密资产反转
以太坊储备
HyperLiquid钱包分析
Hyperliquid鲸鱼监控
大额转账
链上异动
比特币回报率
稳定币市值
期权分析
新闻
文章
财经日历
专题
钱包
合约计算器
账号安全
资讯收藏
自选币种
我的关注