币圈界报道：

以太坊密码学范式转型：从专用哈希迈向通用二进制域证明

随着新型证明机制在以太坊主网上实现更高效率，其底层密码学设计正经历深刻变革。尽管创始人Vitalik Buterin曾高度评价Poseidon函数对隐私计算的关键作用，但当前研究趋势显示，以太坊基金会正逐步将重心转向标准哈希算法如SHA与BLAKE，背后是二进制域SNARK技术突破及后量子安全需求推动。

Poseidon的技术遗产与阶段性使命终结

Buterin回顾称，该哈希函数凝聚了多年研发心血，显著提升了客户端侧生成零知识证明的速度，为早期zk-rollups和zkVM部署提供了核心支撑。然而，他亦指出，新一代通用STARK系统已在批量处理能力上取得飞跃——当前证明开销已进入三位数区间，未来有望压缩至两位数以下。

二进制域重构零知识证明生态

比特币安全专家Justin Drake揭示，新一代SNARK设计不再依赖特制哈希函数，传统算法如SHA2与BLAKE2s如今可在非交互式证明中达到与Poseidon相近性能。其根本原因在于二进制域（以素数2为基础）天然适配位运算，相较大素数域大幅降低计算复杂度。目前，研究人员已在笔记本设备上实现每秒百万级哈希验证，整体开销约为原生布尔计算的100倍。

后量子密码路线图明确：2027年部署轻量虚拟机

Drake认可Binius与Flock等项目在构建二进制域系统中的进展，并指出由Emile与Thomas主导的同类研究正在推进。整体规划目标是在2027年前完成生产级leanVM部署，后续共识层、数据可用性层与执行层将于2028年陆续上线。尽管格基HAWK与同源性SQIsign在NIST第三轮评选中受阻，但基于哈希的后量子签名路径仍具优势。通过SNARK可将多签场景压缩为单一区块证明，支持k-of-n阈值签名等复杂应用。

最新数据显示，SNARK.fast在M3 Max芯片上达成每秒超180万次BLAKE3证明能力。相关研究还涵盖ECDSA.fail、zk.golf及自动化工具链。第10期Ethproofs活动将于UTC下午2点聚焦二进制领域前沿议题。