2024年零知识峰会见闻

近日，第11届零知识峰会在雅典举行，约500名与会者参加了为期一天的活动。会议涵盖了零知识硬件、SNARK性能和去中心化证明网络等多个主题。

零知识硬件进展

硬件支持一直是零知识证明领域的重要目标。会议探讨了当前的发展状况：

• 有研究员对零知识硬件进行了全面概述，包括使用通用硬件和定制硬件的公司，以及运营去中心化证明网络的企业。预计硬件优化的SNARK验证系统结合专用硬件，可能实现1000倍的性能提升，这将对以太坊的未来版本产生重大影响。

• 某公司联合创始人介绍了同时设计证明系统和硬件的概念。初步测试显示，在某些应用中Groestl哈希函数的性能优于Keccak，这一发现可能影响未来的系统设计。

去中心化证明网络

业内人士设想未来大规模证明生成将由竞争激烈的去中心化专业证明者市场完成。会议讨论了几种潜在的网络设计方案：

• 一家公司即将推出的证明者网络被介绍。该公司认为网络设计目标应依次为：最小成本、最大延迟和抗审查性。他们预测拍卖模式最有可能成功，未来可能类似于当前的区块构建机制。

• 有研究人员提出了一种新的证明者网络经济模型，引入了匹配交易和证明的新机制，以应对双边拍卖中可能出现的勾结问题。

• 另有专家探讨了支持多方计算的证明市场，特别关注如何在保护隐私的同时实现小型客户和大型证明者之间的去信任交互。

零知识凭证应用

会议还探讨了基于现有身份系统构建零知识凭证的多种方案：

• 利用电子邮件DKIM签名验证地址所有权，可应用于匿名汇款和举报等场景。

• 基于OpenID Connect与传统Web2身份交互，实现向社交媒体账户汇款等功能。

• 利用电子护照构建匿名凭证，使用户能够证明特定信息而无需披露完整身份。

这些讨论反映了零知识证明技术在硬件、网络设计和身份验证等领域的快速发展，为未来应用开辟了广阔前景。