这是我们上周在 Google ZK 峰会上的演讲：高速密码学 / @OmerShlomovits 感谢 Mauro 提供录音，感谢 Google 主办。

正好一年前，我加入了 @Ingo_zk。 在这段时间里，我参与了许多项目，但有两个特别：icicle-snark 和 icicle-halo2。 当我第一次了解 zk 时，我试图理解什么是 r1cs，groth16 是如何工作的，如何编写 circom 电路。 今天，我是最快的 groth16 证明者和最快的（我想）halo2 证明者的作者。 icicle-snark 是一个新的 groth16 实现，使用 ICICLE 并用 Rust 编写。它比 snarkjs 快 160 倍，比 rapidsnark 在 5090 上快 30 倍。 icicle-halo2 是 @ezklxyz-halo2 的一个分支，集成了 ICICLE，使用门评估内核提供高达 25 倍的证明提升。 总的来说，这一年是学习、构建和交付的有趣一年。

我怎么会成为一名数学家的？ （长话短说） 小时候，我爸爸对我说：“我们家不擅长数学。”而我更喜欢足球和约会，而不是任何需要动脑子的事情，于是我接受了这个事实。 作为本科生，我学习生物学和计算机科学，想进入神经科学（我最后嫁给了我一位受人尊敬的教授的女儿。但那是另一个故事）。 我意识到我真的很喜欢数学课程，而讨厌任何应用课程——无论是编程还是生物实验。事实上，每个学期开始时，我都会去找当时的本科院长（诺亚·尼萨教授，现为StarkWare的顾问）谈判，要求用更多的数学课程替代编程课程（这也是我至今不懂编程的原因；尽管《C++入门》是我作为助理教授教授的第一门课程。但那也是另一个故事。） 然后，作为研究生，我想进入机器学习，但那位备受追捧的教授（塔利·提什比，愿她安息）已经有了无数学生。 我在一门由一位博士后教授的计算复杂性课程上，当他被阿维·维格德森替换进行一节讲座时，我当时对他一无所知（他的照片出现在海报上，因为他刚获得了内文林奖，但作为一个愚蠢的年轻研究生，我不知道那意味着什么）。 阿维谈到一些人现在试图正式证明解决P与NP猜想是不可能的。我对此感到着迷。于是我告诉他：我想把这个作为我的硕士项目。 于是开始了一段追求的时期。阿维不确定我是否适合他（我的数学成绩还不错，但我从来不是那种直A学生）。于是，他给我扔了一本关于证明复杂性的书，说：读完并给我总结一下。 我把那本书从头到尾读了三遍，但除了介绍章节外，我一句话也没理解（今天我知道这更可能是作者的错，而不是我自己的愚蠢。但那是另一个故事）。 几周后，仍然对这个主题一无所知，阿维让我解释一篇关于“多项式演算证明的度和大小”的最新论文。我们坐在他家里，我解释。 在某个时刻，他问：“为什么这不能应用于分辨率证明系统？”（分辨率是最重要和基本的命题演算证明系统）。我眯起眼睛，想了一会儿，说：“哦，但可以，这就是方法”，并将相同的证明方法应用于分辨率。 阿维非常兴奋。 我说：“让我们给之前论文的作者发封邮件”，想着如果我理解这些东西，那肯定不是什么深奥的内容。 阿维坚持我们把它写成论文。每隔几天我试图说服他放弃，只发封邮件，但他坚持，我听从了。 我做得真是太好了。它最终成为我在STARK/SNARK论文之前被引用最多和最重要的论文。 在那篇论文之后，又有几篇论文问世。每一篇，我都确信这只是一个值得发邮件的观察，而不是深奥的数学。我看到所有这些其他论文，难以理解，而相比之下，我自己的东西却是如此清晰简单。 我花了很多年才意识到，这就是数学的进步方式。你花很多时间内化一些理论概念，然后有一天你“看到了”。然后在你看来，一切都清晰简单。但这对别人来说却很复杂。 今天，当我不得不回顾我早期的一些论文时，我发现自己眯起眼睛，挠着头，说：“天哪，这真是严肃的东西，他们是怎么想到这些的？”:-) 在那些初步的数学突破之后，阿维建议我不仅仅做硕士，而是实际上做博士，这就是我成为一名理论计算机科学家的原因（这是一种数学家）。 完。

科技准备好现代化金融，但我们必须首先现代化我们的法律。GENIUS法案是向前迈出的巨大一步，让我们继续保持这种势头。 像ZK证明这样的解决方案的广泛采用将为消费者保护带来巨大的解锁。

🍫 新的 Snark Chocolate 集 🍫 Sunscreen 的 FHE 未来 本周我们与 @ravitals，@SunscreenTech 的创始人坐下来，讨论了 FHE 在现实世界中的采用之路。 🔐 FHE 的过去、现在与未来 🏗️ Sunscreen 的架构与设计 🛠️ 技术栈与路线图 ✨ Sunscreen 的独特之处 🤝 与 Monad 的合作 🧲 深度技术招聘的建议 Spotify: Apple Podcasts: YouTube: Telegram 上的 Snark Chocolate Club:

上午！我们直接与 @AIatAMD 的专门客户经理合作，帮助跟踪客户报告的软件问题。 发现错误？提交 GitHub 问题，我们将向上游并跟踪解决问题。虽然我们不能保证时间表（某些修复可能需要未来的 ROCm 版本），但这是与旧@AMD相比向前迈出的一大步。 我们知道让开发人员感到被倾听是多么重要，现在，他们确实如此。这是我们提供的众多增值之一。 ❤️

今天，在@ethereum成立10周年之际，我们推出了EigenDA V2，具有100 MB/s的吞吐量，使其成为第一个突破三位数门槛的数据可用性解决方案。 随着以太坊进入第二个十年，我们很自豪能够帮助推动其下一波创新的扩展。 了解更多 🧵

里面有一些令人印象深刻的结果！

为了商品而来，为了技术而留！

Dragonfly于2020年8月投资了PepperSec, Inc.，即Tornado Cash的开发者。我们之所以进行这项投资，是因为我们相信开源隐私保护技术的重要性。在我们投资之前，我们获得了一份外部法律意见，确认Tornado Cash的构建符合法律，遵循了FinCEN在2019年给出的指导。 政府现在在公开法庭上表示，他们正在考虑对Dragonfly提起指控，理由是其在2020年投资了Tornado Cash团队。 在律师的建议下，我们一直未作公开评论。但我们再也无法保持沉默。 我们深信美国人有隐私权，而隐私权的缺失仍然是加密货币最大未解决的问题之一。因此，我们支持我们的投资。我们没有对Tornado Cash进行操作或行使任何控制权，也没有与任何恶意用户接触，我们始终鼓励我们的投资组合公司遵循法律，并且我们坚持认为Tornado Cash本身有合法存在的权利——这一观点得到了Van Loon诉财政部及OFAC随后撤销制裁的支持。在这种情况下，因投资组合公司的所谓不当行为而对风险投资公司提起指控将是前所未有的。 在2023年，我们收到了DOJ的传票，并已全面配合政府对Tornado Cash的调查，确信我们始终遵守法律。DOJ已明确表示，我们并不是他们调查的目标。与每项投资一样，我们向PepperSec提供了与我们为所有投资组合公司提供的相同建议和支持。 我们认为政府今天在法庭上的声明主要是为了削弱Tornado Cash的辩护——使辩护方更难让Tom上庭作证。 经过这么长时间——多年后——对Dragonfly提起指控将是令人愤慨的，违背事实和法律，并将对美国所有对加密货币和隐私保护技术的投资产生寒蝉效应。 我们不相信DOJ会真正提出如此荒谬和毫无根据的指控。但如果他们这样做，我们打算积极为自己辩护。