提高机器检查的安全基准以通过代理协作推进基于哈希的SNARKs

发生了什么

以太坊基金会形式化验证团队与Yukon和zkSecurity一起发起了better.codes开放式自动研究挑战，该挑战使用Lean形式化的Proximity Prize问题和公共排行榜来推进基于哈希的零知识证明安全基准。

已确认

全球影响 / 市场背景

该挑战允许多个研究人员测试和改进基于哈希的零知识证明的安全性，这些证明用于创建廉价、私有的交易证明。更好的安全性可以降低构建以太坊扩容解决方案的公司的成本并增加其信心。

分析师推断

零知识证明技术是区块链扩容和隐私的关键组成部分，许多项目正在投资zk-rollups及相关工具。better.codes等形式化验证工作与这一趋势保持一致，可能会引导资金流向安全的证明基础设施。

分析师推断

下一步关注

1. 跟踪better.codes排行榜的提交数量和质量，因为较高的参与度表明社区在形式化验证基于哈希的零知识证明构造方面付出了更大的努力。 分析师推断
2. 关注从挑战中出现的任何关于基于哈希的零知识证明系统的健全性界限或效率的改进公告，这可能会增强以太坊的扩容工具。 分析师推断
3. 监控以太坊核心开发者或其他协议团队是否采用基准测试结果，因为采用可能会影响未来的升级优先级、资金分配或生态系统路线图。 分析师推断

受影响资产

• ETH — Ethereum

证据

• blog.ethereum.org