零知识峰会2024实地报告

2024年4月10日，第11届零知识峰会在雅典举行。约500名与会者参加了为期一天的活动，同时进行了四场演讲。以下是对峰会重点内容的概述，涵盖了最新的零知识硬件、SNARK性能和去中心化证明网络设计等话题。

ZK硬件发展

零知识证明硬件支持一直是业界关注的焦点。本次峰会上有两场主题演讲探讨了这一领域的最新进展:

一位研究员对ZK硬件进行了全面概述，将相关公司分为三类:使用通用硬件的公司、制造定制硬件的公司，以及运行去中心化证明网络的公司。他预测，随着专用硬件和优化技术的发展，zkVM的计算开销有望降低1000倍。这可能对未来以太坊的发展产生重大影响。他还提到，将举办一项针对证明者和验证者进行正式验证的竞赛，奖金高达2000万美元。

另一位演讲者介绍了Binius系统，这是一种同时设计证明系统和硬件的方法。Binius使用二进制塔场和sumcheck协议。有趣的是，早期测试表明哈希函数Groestl在某些应用中的性能优于Keccak。

去中心化证明者网络

业界普遍认为，未来大型陈述的证明生成(如Rollup中一批交易的正确性)将由一个竞争激烈的、去中心化的专业证明者市场完成。

一位演讲者介绍了他们即将推出的证明者网络。她分析了不同的网络机制设计，认为基于竞赛或挖矿的设计可能不会带来理想结果。她提出设计目标应该依次是:最小化成本、最大化延迟和抗审查性。她预测拍卖模式最有可能胜出，最终可能类似于今天的区块构建。

另一位演讲者讨论了一篇关于证明者网络经济学的新论文。他们提出了一种名为Proo-phi的新机制，引入了新的匹配交易和证明机制，以应对双边拍卖中可能出现的勾结问题。

还有一场演讲探讨了支持多方计算(MPC)的证明市场，特别是如何在保护隐私的同时实现小型客户和大型证明者之间的去信任交互。

ZK凭证创新

三场演讲讨论了基于现有身份系统构建零知识凭证的努力:

一个项目致力于实现ZK电子邮件地址所有权证明，这可应用于匿名电子邮件汇款和举报等场景。

另一个项目专注于利用OpenID connect与传统web2身份进行交互，使得向Google或Facebook账户汇款等应用成为可能。

第三个项目则探索了如何从现有电子护照构建匿名凭证，例如证明持有特定国家护照且年满某个年龄，但无需透露具体护照号码或确切年龄。

这些创新为零知识技术在身份验证和隐私保护方面的应用开辟了新的可能性。