Ethproofs, zkVM Benchmarks & the Unstoppable Rise of ZK with Justin Drake
zkVM Benchmarks
[Anna Rose] (0:05 - 0:21)
欢迎收听《零知识》，我是主持人Anna Rose。在这个播客中，我们将探讨零知识研究的最新进展、去中心化网络，以及有望改变我们在线交互和交易方式的新范式。
[Anna Rose] (0:28 - 2:07)
本周，Nico和我与以太坊基金会（EF）的Justin Drake进行了交流。我们深入探讨了Ethproofs，Justin将其定义为一个迷因（meme）、一个平台、一个基准测试项目，以及一个新兴的社区。具体来说，我们讨论了Ethproofs创建的动机目标、通过这一项目促成的协作类型、zkVM（零知识虚拟机）的基准测试目标以及这些目标的选择方式，还有未来可能扩展这一项目的其他基准测试。我们还探讨了以太坊基金会为何选择开发Ethproofs，以及Ethproofs项目为以太坊网络带来了什么。对我来说，这有点像是重回以太坊Layer 1的核心。我们探讨了以太坊的路线图，尤其是涉及零知识证明（ZK）的路线图在以太坊基金会的演变和变化。这次对话涉及了零知识领域中最具活力和资金充裕的部分，包括zkVM、证明者网络（Prover Network）和通用零知识基础设施项目。许多团队都在朝这个方向努力，目前这个领域所受到的关注非常大。因此，能够深入了解这一生态系统的动态真是非常棒。在开始之前，我想向大家推荐ZK Jobs Board。在那里，你可以找到从事零知识技术顶尖团队的职位发布。如果你是一个正在招聘的团队，也可以在此发布职位信息。我们听到了很多团队通过这个平台找到理想员工的成功案例，希望它也能帮助到你。了解更多信息，请访问jobsboard.zeroknowledge.fm。你可以在我们的网站和节目备注中找到相关链接。现在，让我们开始与Justin Drake关于Ethproofs的访谈。今天，Nico和我与以太坊基金会的Justin Drake一起。欢迎再次来到节目，Justin。
[Justin Drake] (2:07 - 2:08)
感谢邀请我，Anna和Nico。
[Anna Rose] (2:09 - 2:10)
嘿，Nico，你好吗？
[Nico Mohnblatt] (2:10 - 2:12)
很好，谢谢。很高兴来到这里。
[Anna Rose] (2:12 - 3:27)
很好。Justin，这不是你第一次上节目。我想快速回顾一下我们多年来录制的一些节目。我们的合作可以追溯到2019年。每次你来节目，我们几乎都会讨论完全不同的主题，这真的很酷。第一次我们一起录制的节目是关于随机性和随机信标（random beacons）。那是在ETH2时代，你的研究主要集中在那个领域。后来我们录了一期关于以太坊基金会研究工作的节目，那是在COVID疫情爆发前，2020年SBC期间我们面对面录制的。上次你来的时候，我们谈到了“超声波货币”（ultrasound money）和VDFs（可验证延迟函数）。在ZK Summit上，你还谈到了零知识证明和硬件相关的内容。每次有你参与，我们总会讨论一些全新的东西。今天我们将讨论Ethproofs，感觉和之前的内容有些不同，但也许你可以帮我们把这些内容联系起来。在深入Ethproofs之前，我们先回顾一下上次的“超声波货币”节目。你提到这个迷因，它实现了吗？
[Justin Drake] (3:28 - 5:01)
好问题。这个迷因确实在过去几年里实现了。基本上，供应量在减少，因为销毁的ETH比发行的ETH多。不过，发生了一些变化。首先，质押者的数量大幅增加，因此发行量也随之增加。此外，我们在Layer 1启用了数据分片（blobs），这是一种扩展措施，减少了总交易费用。交易费用下降的原因是目前供应量大于需求量。因此，我们需要等待需求赶上供应，以实现价格发现。可以说是处于增长模式，我们更倾向于增长而非价值捕获。另外，我想说的是，有一些想法可以改变发行曲线，使其更可持续。目前的发行曲线结构激励每个理性的ETH持有者成为质押者。但如果几乎所有ETH都被质押，会带来一些负面外部性。因此，有一个提案是将质押的ETH上限设定为50%。我们会通过逐渐减少发行量到零来实现这一上限。
[Anna Rose] (5:01 - 5:02)
好的。
[Justin Drake] (5:02 - 5:14)
当这两件事发生时，我们将大幅减少发行量，同时由于需求赶上供应，销毁量会大幅增加，我相信我们将重新进入“超声波模式”。
[Anna Rose] (5:14 - 5:19)
好的，所以现在我们不在超声波货币模式。
[Justin Drake] (5:19 - 5:23)
这取决于你对“超声波”的定义。
[Anna Rose] (5:23 - 5:29)
我们还没定义它，所以没听过之前节目的听众可能会有些困惑。
[Justin Drake] (5:30 - 5:56)
严格来说，超声波货币的定义是代币总供应量随时间减少。但实际上，这个迷因有点像对比特币的调侃。截至今天，ETH的总供应量增长速度仍然比比特币慢。
[Anna Rose] (5:56 - 5:56)
哦，哇。
[Justin Drake] (5:56 - 6:00)
所以可以说ETH比比特币更“超声波”或更“稳健”。
[Anna Rose] (6:00 - 6:20)
更“超声波”。不错。很好。好的，回到之前的内容，我想了解从上次节目到你现在从事Ethproofs的历程。是什么让你开始研究Ethproofs和现在的工作？分享一下你研究历程的转变。
[Justin Drake] (6:21 - 7:46)
当然。你可能还记得，Vitalik过去会发布那些包含合并（merge）、激增（surge）、清理（plurge）等内容的宏大路线图，但他已经停止更新这些。路线图中的一项是“将一切Snark化”。Snark化是一种非常强大的工具，可以增强以太坊的每一层，从共识层（CL）到数据层（DL），再到执行层（EL）。长期以来，Snark化有点像空中楼阁，因为我们需要实现实时证明（real-time proving），即证明的延迟低于以太坊一个槽（slot）的时间。我一直对实时证明的实现非常乐观，但很长一段时间没人相信我。大约一年前，我们开始看到实时证明可能实现的迹象。因此，我们决定建立Ethproofs网站，记录通向实时证明的旅程，并希望在此过程中加速这一目标。Ethproofs可以说是zkVM的L2BEAT。
[Anna Rose] (7:46 - 8:32)
我正想问它是否类似于L2BEAT。因为L2BEAT是一个独立项目，试图为zkVM和Rollup建立一个标准化的基准。此前，Rollup的基准测试缺乏统一标准，Ethproofs似乎也为zkVM做了类似的事情，提供了路线图和结构。我想确认一下，Ethproofs的重点是zkVM，对吗？我很好奇，我们现在离实时证明有多近？你说一年前你开始感觉到它的到来，估计是在zkVM领域。我们现在进展到哪里了？
[Justin Drake] (8:33 - 10:15)
这取决于你对实时证明的定义，有很多细微的细节。但总体来说，我们希望能够证明以太坊主网的绝大多数区块（即EVM区块），在12秒内完成。我们现在定义的“绝大多数”是99%的区块。我们希望在少于一个槽的时间内完成，通常是10秒而不是12秒。此外，为了去中心化的原因，我们对证明者的硬件有要求。如果你使用一个150个GPU的巨大集群，你可以做到。例如，Succinct团队用SP1 Hypercube展示了这一点。但我们希望总功率不超过10千瓦。这个10千瓦的数字来源于特斯拉家用充电器的功率。全球有数百万人拥有这种10千瓦的家用充电器。因此，未来可能有数百个爱好者在他们的车库或办公室运行这些GPU集群。我们设想的大约是16个高端游戏GPU，比如5090，每块大约消耗500瓦，16块就是大约8千瓦，再加上冷却等开销。
[Anna Rose] (10:15 - 10:18)
要求是10千瓦。
[Justin Drake] (10:18 - 10:19)
是的，没错。
[Anna Rose] (10:19 - 10:32)
有趣。所以你是专注于GPU方面。一些团队在CPU上进行基准测试，Ethproofs更专注于GPU方式吗？
[Justin Drake] (10:33 - 11:39)
不，我们对技术是完全不可知的。但我们开始看到一些模式。我创建了一个zkVM跟踪器，现在有32个不同的zkVM，这是一个电子表格。这些zkVM一个接一个地与Ethproofs整合。通过观察数据，我们发现了一些大的趋势。例如，基于哈希的证明方式正在胜出，优于其他方法。另一个趋势是GPU证明也在胜出。两三年前，这还不明显，有人可能认为一个大型多核CPU集群会胜出。也有人认为FPGA可能会胜出。但通过数据，包括一些团队从其他方式转向GPU，我们看到GPU正在占上风。此外，还有其他模式，比如RISC-V作为zkVM的指令集体系结构（ISA）正在胜出。
[Anna Rose] (11:39 - 12:08)
但它不会与zkEVM项目竞争，对吧？对我来说，zkEVM是用于Layer 2的，它们有自己的用途，可以移植现有的Solidity合约。你说的这些趋势，比如Rust和RISC-V，是一个全新的领域吗？你认为它最终会取代zkEVM吗？
[Justin Drake] (12:08 - 13:08)
从技术上讲，Ethproofs的目标是zkEVM。但五六年前，人们构建zkEVM的方式是单体式（monolithically），试图为每个EVM操作码构建一个电路，这需要巨大的努力。最好的例子是Linear。他们六年前开始，直到几周或几个月前才完成所有操作码的证明，现在他们可以证明所有以太坊区块。但Linear是唯一存活的团队还在这样做。其他团队采用了不同的方法，构建一个针对更低级别ISA的zkEVM，这种ISA比EVM简单得多，然后将高级EVM实现编译到低级别ISA。
[Anna Rose] (13:08 - 13:30)
有趣。所以Ethproofs的目标仍然是zkEVM。它并不是要开启一个摒弃EVM的时代。你仍然希望EVM是核心。
[Justin Drake] (13:31 - 14:34)
绝对如此。每次升级我们都需要保持向后兼容。EVM将永远是以太坊的一部分。通过Snark化EVM，我们试图扩展Layer 1。传统上，扩展Layer 1的方法是提高Gas限制，但这意味着所有验证者、认证者都需要跟上吞吐量。遗憾的是，他们重新执行交易的工作量与吞吐量成线性关系。我们最多可能通过优化执行层客户端将Gas限制提高10倍。但另一种方法是引入一组新的实体——证明者，他们将实时证明以太坊链，验证者只需要验证这些证明，而无需下载区块，仍然可以认证这些区块的有效性。
[Nico Mohnblatt] (14:35 - 14:44)
那么，已经有计划将SNARKs整合到共识机制中了吗？还是现在只是说先尝试证明区块，之后再看如何使用？[Justin Drake] (14:45 - 16:49)
是的，有一个多阶段计划。第一阶段是允许任何人证明区块，这是无需许可的。某种意义上，这就是Ethproofs的目标，让人们自愿证明以太坊区块。之后的阶段是我称之为“强制证明和延迟执行”。目前，要跟上链的步伐很困难，因为你需要在区块生成后的几秒钟内为认证者生成证明。延迟证明或延迟执行的想法是给证明者一个完整或接近完整的槽时间。想象区块在槽开始时被提交，区块生产者在槽结束时提供证明。一旦有了延迟证明，我们可以强制要求证明，即只有附带证明的区块才有效。这是第一阶段。最终目标，姑且称之为第二阶段，是将zkVM嵌入协议。在前两个阶段，我们会有多个zkVM来Snark化EVM。这类似于客户端多样性的情况。我们有五六个不同的共识层和执行层客户端。即使其中一两个或三个有漏洞，以太坊也能存活。我们假设每个客户端都有漏洞。zkVM也是如此，我们假设每个zkVM都有漏洞，但整体上是安全的。为了实现嵌入单一zkVM的最终目标，我们需要端到端的正式验证，并对选定的zkVM有极高的信心。
[Anna Rose] (16:50 - 17:11)
哇，我没意识到这是一个竞争走向最终目标的过程。还是说以太坊基金会在考虑开发自己的zkVM，专为这个场景设计？或者你认为会选择一个开源的zkVM项目？
[Justin Drake] (17:11 - 19:38)
关于竞争，我更喜欢从大局出发。早期，我们关注的是Snark化的可行性和生存性。我们取得了理论和实践上的突破。我记得，大概三年前，PSE（隐私与扩展探索）首次证明了一个完整的以太坊区块，耗时两天。然后进入第二阶段，人们优化吞吐量和成本。现在我们进入优化延迟的阶段。未来，人们可能会优化简单性和安全性。目前还没有竞争，我们都在合作实现所需的zkVM多样性。至于嵌入，最有可能的候选者是类似JOLT的东西。JOLT代表“Just One Lookup Table”，它的核心是极其简单，基本上只有一个查找表。它易于审计，代码库相当小。不过，JOLT并非完美，比如它不是后量子安全的，还有很多可以改进的地方。但方向上我们是这么考虑的。顺便提一句，以太坊基金会确实在开发自己的zkVM，但不是为了Snark化EVM，而是为了聚合共识层的后量子签名。目前我们使用BLS签名（B代表Dan Bonnet），每个epoch生成百万个签名，需要聚合。我们需要后量子的等价物，采用的方法是基于哈希的一次性签名，通过XMSS实现多次签名。具体细节不重要。这些签名通过基于哈希的后量子SNARK进行聚合。
[Anna Rose] (19:40 - 20:32)
我想退一步明确定义Ethproofs项目，因为我听到它被以不同方式使用。对我来说，它像是一个社区、一个网站、一个基准测试工具，一个可以公平比较不同zkVM特定指标的地方，而不是各团队在自己硬件上的理想设置中进行基准测试。但感觉它比这更大。请告诉我们，Ethproofs到底是什么？是一个倡议？一个网站？一个团体？Ethproofs这个名字是“以太坊证明”（Ethereum proofs）的意思吗？是实际的零知识证明吗？
[Justin Drake] (20:33 - 21:17)
可以说Ethproofs是一个迷因。它来自“Ethereum proof”，是一个组合词。最初我们考虑的网站是proofs.ethereum.org，字面意义是以太坊区块的证明。我们试图加速Layer 1大幅扩展的瓶颈。这里还有另一个迷因——“千兆Gas Layer 1”（gigagas L1）。意思是Layer 1每秒处理一千兆Gas的吞吐量。实现这一目标的唯一方法是拥有多样化的实时zkVM。[Anna Rose] (21:17 - 21:17)
什么是千兆Gas？
[Justin Drake] (21:18 - 21:39)
以太坊的计算单位是Gas。例如，一次转账是21,000 Gas。目前我们每秒处理大约2兆Gas。目标是将吞吐量提高大约500倍，达到每秒1千兆Gas。
[Anna Rose] (21:40 - 22:03)
这就是你想达到的速度。所以已经比过去有所改进。我经历过Gas价格高得离谱、速度慢的时期。但这会是什么样子？我很难理解ZK、zkVM和证明如何帮助实现千兆Gas或降低Gas价格。
[Justin Drake] (22:04 - 23:02)
让我们暂时抛开Gas这个抽象概念，回到每秒交易量（TPS）。目标是达到10,000 TPS。平均每笔交易大约需要100,000 Gas。所以每秒1千兆Gas除以100,000 Gas就是10,000 TPS。10,000 TPS是很多交易，超过目前任何Layer 1的数倍。你说得对，以太坊刚开始时不到10 TPS，现在通过Layer 2已经增长了很多。我的终极愿景是通过ZK实现Layer 1的10,000 TPS，以及所有Layer 2加起来达到1000万TPS。这意味着1太拉Gas（teragas），即1000千兆Gas每秒。
[Anna Rose] (23:03 - 23:29)
太疯狂了。好的。这会允许更复杂的程序、更快的速度。如果有这样的设置，还能实现什么？因为对我来说，现在的速度已经比过去快很多了。你为什么需要这么多？
[Justin Drake] (23:29 - 24:55)
以太坊是一个极其雄心勃勃的项目，我们的目标是成为价值互联网。人们会希望进行一些高价值的交易。如果我们能实现10,000 TPS，大约相当于每人每天0.1次高价值交易。这不多，但足以起步。这些高价值交易可能包括铸造资产、结算其他Layer 2或进行高价值交易等。在我看来，Layer 1还不够。每天0.1次交易远远不够。我们需要大约1000倍，即每人每天100次交易，这可以通过Layer 2实现。好消息是我们有完整的扩展路线图，通过数据分片（blobs）提供足够的数据可用性，以确保1000万TPS。由于Layer 2是水平扩展的，比如可以想象1000个Layer 2，每个处理1千兆Gas，总和就是1太拉Gas。因为这种水平扩展，没有顺序计算瓶颈，扩展性非常强。
[Anna Rose] (24:56 - 25:13)
每人每天100次交易，这个数字是基于当前金融系统吗？是为了匹配传统金融世界（比如信用卡）的要求吗？
[Justin Drake] (25:13 - 25:56)
如果你看Visa、MasterCard或PayPal，它们每秒处理数万次交易。如果看交易所，比如纳斯达克或纽交所，它们每秒处理数十万次交易，设计上甚至支持数百万次交易。我预计一旦我们提供了这种容量，就会出现所谓的“诱导需求”。人们会找到各种用例。我的一个设想是，AI代理会帮助我们代表进行这些交易。
[Justin Drake] (25:56 - 25:57)
有道理。
[Justin Drake] (25:57 - 26:08)
最终，我们每天可能访问超过100个网站，执行很多操作。为什么不能在金融领域也这样做？
[Anna Rose] (26:09 - 26:19)
我正想问关于代理（agents）的问题，因为听起来这种加速与AI代理带来的未来需求有关。
[Justin Drake] (26:19 - 26:29)
我的一个设想是，世界上最富有的实体将是AI，而AI会将价值存储在像ETH这样的加密货币中。
[Anna Rose] (26:29 - 26:36)
很可能。很棒的设想。好的，回到Ethproofs，它是什么？[Justin Drake] (26:38 - 27:09)
这个迷因是一个抽象概念，但具体来说，我们试图加速主要瓶颈。正如你所说，Ethproofs有多个方面。其中之一是网站，展示平均情况下的基准测试，即以太坊区块链的实际负载。我们还关注所谓的“证明杀手”（prover killers），这些是人为设计的对抗性区块，试图让证明者的证明工作尽可能困难。
[Anna Rose] (27:10 - 27:10)
哇。
[Justin Drake] (27:10 - 29:10)
这将帮助我们指导Layer 1需要的一些硬分叉，特别是某些操作码的重新定价。比如ModX（模幂运算）的Gas价格远低于证明成本。我们还设立了一些赏金。我们宣布了三个10万美元的赏金，奖励那些能在一段时间内实时证明所有以太坊区块并在Ethproofs上发布证明的团队。我们还有Ethproofs的电话会议。到目前为止已经举办了三次。第一次介绍了30个zkVM团队。第二次是关于实时证明及相关创新。第三次主题是“千兆Gas Layer 1”。第四次将于8月22日举行，欢迎任何人参加，将专注于RISC-V，讨论是否应将RISC-V作为以太坊的原生ISA嵌入。这将允许开发者使用Rust编写智能合约，性能也会更好，因为Gas成本将大致设定为一个RISC-V周期对应一个Gas。这样开发者可以获得接近底层硬件的性能。此外，以太坊作为一个项目会变得更加简单。因为RISC-V的ISA只需几十行Python代码就能描述，而EVM则需要数千行代码。
[Nico Mohnblatt] (29:11 - 29:26)
这让我想到你提到的zkVM出现的模式。你认为RISC-V胜出是因为它是第一个有zkVM的ISA，还是它确实比其他ISA有优势？
[Justin Drake] (29:26 - 29:30)
来参加Ethproofs第四次电话会议，我们会一起探讨。很好的广告。
[Nico Mohnblatt] (29:31 - 29:47)
我必须说，我强烈推荐这些电话会议。我参加了其中两次，真的很开眼界，尤其是看到各团队在做什么。看到这些团队协作、分享想法真的很棒，这是三四个月前我们看不到的。
[Justin Drake] (29:48 - 30:20)
确实。以前，很多团队对其他团队的成果不以为然。因为每个团队都声称自己是最快的zkVM。原因在于大家使用不同的基准测试，这导致了很多挫折和时间浪费，因为每个zkVM团队都要深入研究竞争对手的基准测试，找出问题和“作弊”之处。但现在有了公平的竞争环境，我们可以进行更客观、更健康的协作。
[Anna Rose] (30:21 - 30:35)
我想回到你说的关于zkEVM和EVM是核心的内容。你提到RISC-V可能被嵌入，这不是与EVM保持核心的说法相矛盾吗？这是否意味着EVM可能被取代？
[Justin Drake] (30:36 - 31:44)
EVM不会被取代，而是在EVM下引入一个新的ISA，EVM将定义为RISC-V字节码。目前，EVM在黄皮书或EELS（EVM的Python规范）中被抽象定义为一个ISA，比如加法操作码执行加法，乘法操作码执行乘法。然后各个客户端实现这个规范。我们要做的是取一个实现，编译到RISC-V，这将成为EVM的定义，即一串RISC-V字节码。抽象定义的ISA将是RISC-V，位于EVM之下。作为合约开发者，你始终可以选择使用EVM。但如果你更高级，可以直接使用RISC-V，获得更好的性能。
[Anna Rose] (31:44 - 31:52)
现在EVM基于什么ISA？
[Justin Drake] (31:52 - 31:54)
EVM本身就是ISA。
[Anna Rose] (31:54 - 31:57)
所以你会在下面加一层，EVM会编译到这层。
[Justin Drake] (31:58 - 32:09)
是的，嵌入的ISA将是RISC-V，EVM基本上是运行在RISC-V上的智能合约。
[Anna Rose] (32:09 - 32:56)
哇，这会开放其他语言在基础层的可能性吗？稍微回顾一下，zkVM已经存在一段时间了，并不总是RISC-V。zkVM最初关注隐私，比如Miden是最早的zkVM之一。现在RISC-V成为主流。如果RISC-V成为底层ISA，你会在其上构建EVM。能不能再放一个Python层？可能这个例子不恰当，但你明白我的意思吧？也许有比Python更好的语言例子。
[Justin Drake] (32:57 - 32:58)
这是个很棒的问题。
[Anna Rose] (32:58 - 33:11)
抱歉，这个问题是精彩还是只是我没学过计算机科学？也许Python是个笨例子，但你知道我在说什么吧？
[Justin Drake] (33:11 - 33:50)
不，这是个好问题。有一个叫LLVM的编译器工具链，可以将高级编程语言编译到多个后端，其中之一是RISC-V。如果你支持RISC-V，就支持LLVM支持的所有高级语言，包括Rust、C、C++，可能还有Haskell。
[Nico Mohnblatt] (33:51 - 33:53)
抱歉，我想Go也在其中。
[Justin Drake] (33:54 - 35:01)
我认为Go是单独的，他们有自己的编译器，支持RISC-V，但不通过LLVM。这是我的理解，但我不是这方面专家。重点是编译器工具有很多，构建编译器极其困难。你提到其他ISA，比如Miden ISA、Valida ISA、Cairo ISA等。除了Valida外，这些ISA大多没有LLVM整合，开发者因此受限。Cairo是个老ISA，但也没有LLVM整合。Kakarot团队花了三年试图在低级语言中构建EVM，最终放弃了，太难了。所以编译器工具的价值很大。
[Anna Rose] (35:02 - 35:20)
有趣。我还是想问，Ethproofs是一个组织吗？它是以太坊基金会的一部分吗？有专门的Ethproofs团队吗？
[Justin Drake] (35:20 - 36:35)
我来分享一下起源故事。一年多前，RISC Zero团队和我们讨论，他们提出一个想法：如果有一个存档，存储所有历史以太坊区块的证明？我说，这太棒了，我们做吧。最初网站是proofs.ethereum.org。当时以太坊基金会非常支持将尽可能多的工作委托给社区。因此，我们决定为Ethproofs创建一个独立的GitHub组织，并计划将其从以太坊基金会剥离。但最近几个月，以太坊基金会内部重组，现在Ethproofs作为基金会的一部分更被接受。现在我们有一个专门的zkEVM团队，帮助开发网站并利用网站加速目标实现。
[Anna Rose] (36:36 - 37:08)
哇。你提到L2BEAT是灵感来源，L2BEAT一直是独立的，基于Vitalik提出的五个阶段框架来基准测试Layer 2。在Ethproofs的情况下，指标和判断标准还在演变，对吗？还是已经定下来了，现在只是在推广？
[Justin Drake] (37:08 - 38:16)
是的，方向上我们非常强调延迟。网站展示证明成本和延迟，但最重要的指标是延迟，因为我们想实现实时证明。类似L2BEAT，我们有“披萨”概念。我们有八个披萨切片，每个切片有绿色、黄色或红色三种颜色，代表zkVM的不同方面，包括安全性，比如目标多少位安全性？是否经过审计？是否正式验证？这些标准已经确定，但未来可能会略有调整。如果展望2026或2027年，Ethproofs的范围可能会扩展，不仅仅局限于扩展Layer 1，可能还会包括隐私和客户端证明的部分。
[Anna Rose] (38:18 - 38:56)
太有趣了，Justin。我本来想晚点提到这个，我们几周前请了Muthu上节目，谈了很多Ethproofs，但你当时不在，很高兴现在能直接和Ethproofs团队的人聊。Muthu提到目前没有衡量客户端功能或隐私的指标，重点一直在扩展性和简洁性上。听到你也在考虑这个真好。
[Justin Drake] (38:56 - 39:16)
是的，PSE小组在以太坊基金会内部也将重组，专注于隐私。PSE代表“隐私与扩展探索”，未来可能会改名，只关注隐私。
[Justin Drake] (39:16 - 39:17)
更简洁。
[Justin Drake] (39:17 - 39:18)
或者给它一个新含义。
[Anna Rose] (39:20 - 39:25)
不错。给S一个新含义。
[Nico Mohnblatt] (39:27 - 39:39)
我对披萨和目标指标很感兴趣。我看到验证时间和证明大小也是指标。这些在哪应用？为什么我们关心验证时间和证明大小？
[Justin Drake] (39:40 - 40:16)
在扩展Layer 1的背景下，验证者需要下载证明，可能是三个证明，我们要确保在12秒内下载三个证明是合理的。最新目标是证明大小约为300千字节，三个证明加起来不到1兆字节，这在12秒内是合理的。验证时间也是如此。我们要验证三个证明，确保总CPU时间可以忽略不计。
[Nico Mohnblatt] (40:17 - 40:31)
有道理。安全性方面，有些团队用80位安全性，有些用100位，过去金标准是128位。我们如何选择安全性级别，为什么选择这个级别？
[Justin Drake] (40:31 - 42:40)
现在大多数团队选择100位安全性。例外是ZisK用128位，Airbender用大约79位或80位。以太坊基金会推动128位安全性，但缺点是证明大小会更大，尤其是在我们推荐的基于哈希的SNARKs中。通常zkVM的构建方式是有一个内部基于哈希的SNARK，然后可能有一个可选的包装器，比如Groth16包装器，以降低链上验证成本。但我们只有链下验证，所以不需要包装器。包装器会增加延迟，我们不想要。因此我们鼓励团队不使用包装器，但证明大小就变得重要。另一个细微问题是是否使用接近性间隙猜想（proximity gaps conjecture）。基于哈希的SNARKs有两种选择：一种是在随机预言机模型中具有可证明的安全性，另一种是使用猜想。我第一次在节目中透露，以太坊基金会将设立100万美元的赏金，证明社区目前使用的Reed-Solomon码的接近性间隙猜想。几乎所有团队都在使用这个猜想，它可以将证明大小减少大约一半。如果猜想被证明，太好了。如果猜想不成立，所有团队可能需要调整证明大小。
[Nico Mohnblatt] (42:42 - 42:52)
澄清一下，这个猜想是普通的关联一致性猜想（correlated agreement conjecture），还是我们在WHIR或BaseFold中看到的增强版？
[Justin Drake] (42:52 - 44:04)
给听众一点背景，传统上我们用FRI作为基于哈希的SNARK的主要工具，只需要关联一致性。最近出现了FRI 2.0，比如WHIR，使用的是增强版的猜想，称为“相互关联一致性”（mutual correlated agreement）。大多数专家认为，如果有关联一致性，几乎肯定也有相互关联一致性。我们将鼓励证明更强的相互关联一致性，这对聚合后量子签名有好处，因为WHIR的证明大小很小，且对递归非常友好。如果我们想聚合签名并进行多级聚合，WHIR会很出色。
[Nico Mohnblatt] (44:05 - 44:15)
回到指标和性能，是否有披萨切片衡量能耗、硬件配置或证明成本？
[Justin Drake] (44:16 - 46:01)
目前网站上有两种证明模式：单个4090 GPU和GPU集群。已整合的八个团队几乎都使用单个GPU。我们跟踪的指标包括美元成本。我们通过查看在AWS上租用证明者使用的机器每小时的费用，再结合证明时间计算有效成本。令人震惊的是，这些证明非常便宜，每个以太坊区块大约1美分。如果一个区块有100笔交易，每笔交易的证明成本仅为1美分的百分之一。常被问到的问题是，证明者有什么激励去做证明？答案和现在一样。我们要求用户支付证明成本，至少每笔交易百分之一美分。如果用户通过小费支付，证明者有激励将交易包含在区块中，因为证明成本低于小费，最终交易会上链。我希望未来一年证明成本再降低10倍，用户甚至不会察觉这是小费的一部分。
[Anna Rose] (46:01 - 46:46)
我想澄清一下，我们谈到zkVMs、虚拟机，但也提到证明者这个角色。过去节目中我们讨论过，我一直认为zkVM或其用户是客户，证明者是证明的供应商，尤其在证明市场（proving marketplace）背景下，许多zkVM也在提供这种市场。所以当你谈到证明成本时，我有点困惑。你说的是证明市场的成本，证明者与特定zkVM连接的成本，还是zkVM发出的请求成本？
[Justin Drake] (46:46 - 47:30)
证明的实体是区块生产者，也称为区块构建者。他们在构建区块时也负责生成证明。他们可以选择以任何方式生成证明。一种方式是自己拥有GPU集群，另一种是与中心化的可信提供商合作，或者与无需许可的去中心化市场交互。无论哪种方式，最终支付的是能源成本和硬件折旧成本，大约每个区块1美分。
[Anna Rose] (47:30 - 47:52)
但这是因为有了这些证明市场和更多的证明者，还是因为这就是成本？你提到区块生产者，zkVM本身是什么？是序列器吗？这个连接点是什么？
[Justin Drake] (47:53 - 48:20)
zkVM只是纯软件，两端有两个实体。一端是证明者，操作硬件，处理大量计算生成证明；另一端是验证者，消费证明，即认证者。左边是区块构建者（证明者），右边是认证者（验证者）。
[Anna Rose] (48:20 - 48:27)
但zkVM是什么？你提到成本，谁定义成本？是验证者吗？[Justin Drake] (48:27 - 48:48)
是证明者。证明者需要租用硬件，比如在AWS上，生成一个区块的证明需要大约1美分的AWS资源。验证者几乎没有成本，只需下载不到300千字节的证明，验证时间大约10毫秒，基本免费。
[Anna Rose] (48:49 - 49:03)
但如果你在比较成本，是在比较不同的证明者吗？是比较证明系统，还是zkVM的成本？我还是有点困惑。
[Justin Drake] (49:04 - 49:48)
好问题。通常一个zkVM会带有一个参考证明者，即一套参考证明算法软件。你说得对，证明算法可以替换，硬件也可以替换。可以用AWS、Vast.ai或其他组合。人们正在尝试最佳组合以获得最高效的证明。你说得对，市场是一个自然的经济学机制，能让最有效的证明者赢得大部分工作。
[Nico Mohnblatt] (49:48 - 50:03)
顺便说一句，这在Ethproofs网站上也能看到，对吧？你列出了zkVMs，也列出了证明者基础设施，有些证明者运行不同的VM，甚至可能使用竞争对手的VM。很有趣。
[Justin Drake] (50:04 - 50:25)
没错。在Ethproofs上可以看到使用的是哪种CPU、核心数、内存量。我们尽量提供尽可能多的信息，甚至希望任何人能自己重现这些数字。理想情况下，我们会有一个Docker镜像，比如在AWS上一键部署，你可以重现结果。
[Nico Mohnblatt] (50:25 - 50:29)
对了，时间和成本是自我报告的吗？
[Justin Drake] (50:29 - 50:53)
时间不是自我报告的，因为我们可以测量区块生成到收到证明的时间。使用的机器目前是自我报告的，但任何人都可以无需许可地获取相同硬件，重新运行证明者，前提是二进制文件或源代码可用。
[Nico Mohnblatt] (50:54 - 51:15)
顺便说一句，二进制和源代码的可用性是Ethproofs的另一个亮点。它推动了团队开源代码和二进制文件。你有一个电子表格，列出所有团队的名字，中间有两列，如果不开源就是大红框，开源就是大绿框，太棒了。
[Justin Drake] (51:16 - 51:49)
绝对如此。为了系统的活性（liveness），证明者必须开源。因为如果大多数证明由少数实体完成，这些实体下线后，任何人都应能重新启动证明者。年初几乎没有开源的证明者，现在我们接近大多数证明者开源。
[Anna Rose] (51:51 - 52:28)
我想再回顾一下和Muthu的节目，当时是Guillermo做共同主持。Muthu提到Ligero更专注于客户端证明，比如在手机上做证明，不需要GPU。你如何比较这样的团队？在目前的披萨模型中，没有隐私或客户端的指标。你会改变要求，比如是否能在手机上运行？还是会将其作为另一个类别？
[Justin Drake] (52:29 - 52:54)
目前我们专注于服务器端证明，目标是延迟和成本。对于客户端证明，我们需要新的基准测试。一个有趣的可能性是“虫洞”（wormhole），与隐私和客户端证明相关。
[Anna Rose] (52:54 - 52:56)
不是那个桥，对吧？
[Justin Drake] (52:56 - 54:06)
不是桥，是更好的虫洞。想法是你可以从一个以太坊地址发送资金到另一个地址，并证明这个地址不可花费。在链上，这看起来像普通交易，无法区分。一旦证明该地址不可花费，你可以铸造另一个具有相同余额的地址。这需要硬分叉启用虫洞。证明的安全性和简单性非常重要，就像Zcash一样，如果证明有健全性漏洞，可能无限铸造代币。就像我们为签名聚合使用的最小zkVM，可以想象同样的zkVM经过端到端验证后，也用于隐私和虫洞。
[Anna Rose] (54:06 - 54:55)
有趣。今天我读到Tarun的一句话，可能我会记错，他提到在DeFi背景下，广泛使用ZK可以做类似虫洞的事情，不是关于不可花费，而是证明某处的流动性或用作跨链抵押品。因为有了证明，你不需要锁仓、持有或桥接。你只需要证明，就可以在不同地方使用抵押品。这有点像你描述的虫洞。
[Justin Drake] (54:55 - 55:09)
完全正确。我认为SNARKs是区块链的第三大工具。我们有哈希、签名，然后是SNARKs，可以做很多事情。
[Anna Rose] (55:09 - 55:11)
第三是什么？哈希？
[Justin Drake] (55:12 - 55:14)
哈希、签名和SNARKs是第三个。
[Anna Rose] (55:14 - 55:16)
哦，好的，明白了。抱歉。
[Justin Drake] (55:16 - 57:18)
就像Michael Saylor说的，没有第四个最好的。这几乎是你需要的一切。我们已经提到SNARKs解锁了扩展性和隐私，但它们还能解锁其他东西。比如可组合性（composability）。有两个方面：一是跨Rollup的同步可组合性，一旦实现实时证明，这就可能了。还有跨Rollup捆绑安全（cross-rollup bundle safety），可能就是Tarun说的。如果有一个涉及多个Rollup的超级交易意图，你希望确保它不会被拆分成单独的交易，可以用证明来确保意图得到满足。SNARKs还带来Rollup的安全性。目前Rollup有两个攻击面：一是实现中的漏洞，无论是欺诈证明游戏还是SNARK电路；二是治理。典型的EVM等效Rollup需要治理来与EVM同步。通过SNARKs，我们可以在以太坊上暴露一个执行预编译（execute-precompile），实现原生Rollup。原生Rollup重用Layer 1的执行层，即EVM的精确副本，天然无漏洞，且无需治理。
[Anna Rose] (57:18 - 57:33)
几年前你不是提到过这个吗？是基于Rollup（based rollup）之类的东西？我记得你在别的节目里提过类似的内容。
[Justin Drake] (57:33 - 58:19)
是的，有两个不同概念：基于Rollup和原生Rollup，涉及Rollup堆栈的不同层。基于Rollup涉及序列化，使用与Layer 1相同的序列器，验证者为Rollup排序交易。原生Rollup使用Layer 1的执行层，即EVM副本。结合这两者，你就得到一个“超声波Rollup”，同步可组合性比其他方式简单得多。
[Nico Mohnblatt] (58:20 - 58:41)
展望Ethproofs和zkVM的未来，我们会看到已出现的模式被颠覆吗？比如基于格（lattice-based）的证明会成为主流吗？尤其如果我们追求更小的证明。RISC-V会被取代吗？
[Justin Drake] (58:42 - 58:53)
人们总觉得研究已经很多，应该差不多了。但我总是惊讶于还有多少创新。
[Anna Rose] (58:53 - 58:54)
总有酷的新东西。
[Justin Drake] (58:54 - 59:35)
是的。现在我们见证了基于哈希的SNARKs的两个小型革命。一是从单变量多项式到多线性多项式的迁移，sum-check成为高效的SNARK构建原语。另一个是从FRI 1.0到FRI 2.0及相关构造的转变，因为我们越来越依赖递归，WHIR在这方面非常出色。
[Anna Rose] (59:35 - 59:47)
顺便提一下，WHIR是W-H-I-R。我们做过一期关于WHIR-STIR的节目，我会附上链接。继续，Justin。
[Justin Drake] (59:48 - 1:00:30)
STIR可以看作FRI 1.5，WHIR比STIR更好。另一个小型革命是电路的正式验证。传统上，验证需要证明电路的健全性和完备性。大多数漏洞是由于电路未充分约束。Veridise的Picus工具专注于未充分约束部分，实际上能发现几乎所有漏洞。
[Anna Rose] (1:00:31 - 1:00:32)
因为大多数漏洞是未充分约束。
[Justin Drake] (1:00:32 - 1:00:47)
是的。研究发现，98%的SNARK漏洞是未充分约束。
[Anna Rose] (1:00:48 - 1:00:49)
是zkSecurity的研究吗？
[Justin Drake] (1:00:50 - 1:00:51)
网站上有。
[Anna Rose] (1:00:51 - 1:00:57)
好的，我们在最近的《ZK状态报告》中也提到过。有趣。
[Justin Drake] (1:00:58 - 1:02:57)
RISC-Zero和SP1开始使用这些工具，效果惊人。回到你的问题，关于更大的革命，格基SNARKs可能会有大进展。我最近从一位非常可信的研究者那里听说，格基SNARKs可能有100倍的性能提升，不仅是性能，还可能简化复杂性。如果属实，格基SNARKs可能复兴。至于ISA，RISC-V目前胜出。但这是否只是因为工具链完善？长期看（10-20年），如果从头设计并完善工具链，可能会有更好的选择。但最近几个月和几年的一个意外发现是，硬件约束在SNARK设计中惊人地相似。Justin Thaler在Jolt的背景下提到，硬件的局部性等约束与密码学几乎一致。如果是这样，RISC-V是为硬件设计的，可能长期是均衡选择。
[Anna Rose] (1:02:59 - 1:03:30)
硬件的现状如何？你早先提到探索FPGA，在ZK-11时你谈过ZK ASIC。ZPrize也专注于硬件，引发了很多创新。现在似乎倾向于GPU，有些团队甚至提到在手机上运行，不需要专用硬件。硬件的现状如何？
[Justin Drake] (1:03:31 - 1:04:23)
在我看来，主要瓶颈是降低功耗。我们已经通过大集群实现了低延迟。现在需要降低功耗。ASIC可能带来一个数量级的功耗改进。之前尝试过FPGA，比如Irreducible，但他们最近放弃了FPGA和硬件，转向客户端证明。这证明了短期内GPU碾压了一切，AI的兴起也帮助了GPU的效率提升。
[Anna Rose] (1:04:23 - 1:04:24)
GPU越来越强大。
[Justin Drake] (1:04:24 - 1:05:37)
但如果电路设计针对素数域、扩展域、FFT和哈希等操作，应该能再挤出一个数量级的改进。真正的问题是一个2000万美元的ASIC初创公司能否与2万亿美元的NVIDIA竞争。Fabric公司拿到了几千万美元，已经完成了芯片设计和封装，但工厂产能不足。希望几周或几个月内能有数据。他们设计了一个ZPU（专为ZK设计的GPU），声称有10倍性能提升。
[Anna Rose] (1:05:37 - 1:06:15)
我们多次讨论过这个问题，证明系统的快速发展是个挑战。如果转向格基证明，是否需要不同硬件？我不知道，但如果密码学创新这么快，很难冻结一个系统，决定为某个特定系统打造ASIC。这需要巨大投资，可能未来其他系统会超越它。
[Justin Drake] (1:06:16 - 1:06:42)
Fabric的卖点之一是可编程性。他们有基本构建模块，可以更改素数域，甚至在芯片上有RISC-V CPU，用于处理FFT和MSM等专用模块的粘合逻辑。
[Anna Rose] (1:06:43 - 1:08:16)
酷。我想问问你的看法，关于zkVM的商业模式。2023年我们看到协处理器和证明者网络出现，RISC-Zero率先定义了现在的zkVM概念。zkVM开始变成证明者市场，融合了两种商业模式。还有团队在去中心化验证层。不同团队从证明栈的不同部分切入，试图找到可行的商业模式。zkVM本身只是虚拟机，不需要代币。你怎么看这些变化的商业模式？这么多团队转向证明者市场可持续吗？你说有32个团队，他们都能这样做吗？
[Justin Drake] (1:08:17 - 1:10:12)
天真地看，zkVM像是公共物品，开源硬件和软件，任何人都可以复制。但现在我改变了看法，这有点短视。三四年前，以太坊基金会尝试收购一个zkVM团队，收购价格大约是每人100万美元。一种策略是组建一个30名优秀工程师的团队，然后被其他实体收购。我认为zkVM会席卷全球，远超区块链领域。银行、医疗、航空等高完整性、高价值领域都会被Snark化。Google可能会雇佣数百名工程师，NVIDIA可能会生产ZPUs。几年前，风投（VCs）进入，提供了数亿美元，而以太坊基金会只提供了几千万。他们下了大赌注，现在看来正在回报。几天前，Succinct推出了证明者网络和市场，Proof代币的完全稀释估值约为15亿美元。
[Anna Rose] (1:10:13 - 1:10:16)
现在还不好说这些代币的表现。
[Justin Drake] (1:10:16 - 1:11:09)
对，我们拭目以待。但至少有资金注入的可能。这对以太坊Layer 1的公共物品直接资助非常好，因为Layer 1的商业模式不大。如果看所有Layer 2的吞吐量，1000万TPS，即使每笔交易的证明成本是几分之一美分，整个网络加起来也很可观。可能有商业模式，比如制造硬件或开发快速算法。Supranational、Ingonyama、ZAN等公司有百万美元的合同来加速系统。
[Anna Rose] (1:11:09 - 1:11:41)
我明白你的意思。但我觉得还没被证明。VC热潮注入太多资本，可能产品市场契合度还不成熟。很多团队在调整方向。要知道是否成功，得等这些项目上线并运行几年。这是我的看法。
[Justin Drake] (1:11:42 - 1:11:52)
我不会惊讶如果RISC-Zero或Succinct被微软或谷歌以超过10亿美元收购。
[Anna Rose] (1:11:52 - 1:11:54)
被FAANG之类的大公司收购。[Justin Drake] (1:11:54 - 1:11:54)
是的。
[Anna Rose] (1:11:55 - 1:11:57)
不知道这个缩写还用不用。
[Justin Drake] (1:11:57 - 1:12:11)
我们的人才有限。我们的领域人才很少。RISC-Zero和SP1有几十名顶尖工程师。
[Anna Rose] (1:12:12 - 1:12:36)
酷。你提到EF的结构和PSE的变化。录制前我问你怎么介绍你，你说不再只是研究员，而是换了领域。能分享一下这些变化吗？
[Justin Drake] (1:12:36 - 1:14:08)
我在EF八年了。刚加入时，我以为会是一个专业的团队保护这个百亿美元的网络，但当时只有五人的杂乱团队。组织非常扁平，有点混乱，但也赋予了主动和自主的人很多权力。现在EF有大约250人，需要更多结构。我们现在有至少两个集群：协议集群和生态开发集群。PSE可能是第三个集群。在协议集群中，我在架构团队。协议集群有大约20个团队，每个团队有负责人，还有项目和项目负责人。现在有了很多层级。过去几个月运转得很好。比如我提到的100万美元赏金，是8月9日周六想到的。我们现在是8月11日录制，我周末联系了几个人，获得许可在播客上宣布。我们行动很快。
[Anna Rose] (1:14:09 - 1:14:12)
这比重组前快很多吗？
[Justin Drake] (1:14:12 - 1:14:23)
是的。现在决策者很明确，你可以直接找他们拿到绿灯。
[Anna Rose] (1:14:23 - 1:15:37)
酷。我想以开头的迷因结束。我们谈到“超声波货币”迷因，你放出去后被重新定义。ZK有很多迷因，比如“ZK是终局”“ZK为所有人”“ZK是未来”。现在有一个迷因是“ZK一切”。这些通常来自单个团队。你谈到的Ethproofs目标很具体，面向开发者，但这些迷因非常高层次，内容不明确。你怎么看这种差异？作为迷因制造者，你的看法是什么？
[Justin Drake] (1:15:37 - 1:16:19)
我最喜欢的迷因是“实时ZK是终局”。实时很重要。迷因的作用之一是招募人才，我们需要更多人才。经验表明，市场泡沫会吸引人。我2013年底加入时，比特币涨到1000美元。有句话叫“为钱而来，为技术而留”。这对很多人适用。
[Anna Rose] (1:16:20 - 1:16:26)
我也一样，2017年加入，也是一个泡沫时期。
[Justin Drake] (1:16:26 - 1:16:58)
2025年会有泡沫，会有成千上万的开发者进来。我们需要一个激励人心的故事。这些迷因有点像广告，可能有承诺未兑现的风险，但需要这种火花吸引人。
[Anna Rose] (1:16:59 - 1:17:38)
你说的泡沫多与区块链和加密货币价格相关。但ZK是一个分支，它不完全是货币相关的，可能被Web2公司使用。我很兴奋看到ZK突破区块链。但没有货币因素，它还能保持这种“泡沫”吗？必须与区块链挂钩吗？
[Justin Drake] (1:17:39 - 1:17:51)
你说得对。Vitalik几年前说，即使所有区块链归零，也值得，因为..
.[Anna Rose] (1:17:51 - 1:17:52)
因为创造了ZK。
[Justin Drake] (1:17:52 - 1:17:53)
是的，加速了ZK的发展。
[Anna Rose] (1:17:53 - 1:18:01)
我喜欢这个说法。不是创造ZK，而是通过区块链加速了它。
[Justin Drake] (1:18:01 - 1:19:12)
几年前我查看Crypto会议的演讲者和ePrint论文，震惊地发现近一半的摘要提到比特币、以太坊或区块链。我们提供了数亿美元的资助，比如EF资助了斯坦福区块链小组，支持SBC和Dan Bonet小组的研究。密码学和区块链有很好的共生关系。ZK的技术基础很强，泡沫不会失控。相比货币溢价，ZK有更强的技术约束。
[Anna Rose] (1:19:14 - 1:19:33)
有趣。我想继续和大家讨论这个。Tarun常问，ZK很重要，但能赚钱吗？
[Justin Drake] (1:19:33 - 1:19:38)
NVIDIA会生产zkVM加速器。
[Anna Rose] (1:19:38 - 1:19:40)
这是确定的吗？
[Justin Drake] (1:19:40 - 1:19:50)
我愿意打赌，10年内NVIDIA会生产ZPUs。
[Anna Rose] (1:19:50 - 1:19:56)
这想法太酷了。没人这么说过，我喜欢。
[Justin Drake] (1:19:56 - 1:21:11)
全球很大一部分能源将用于AI。我们需要高效的AI，因此投入了大量资金开发GPU。如果大部分计算需要可验证，当前10,000倍的能源开销需要降低。比如一个5瓦的CPU，运行在1.5GHz，证明者需要100个GPU，每个15MHz，耗电500瓦，比CPU高100倍，100个GPU就是10,000倍开销。如果计算要可验证，必须降低这个开销。
[Anna Rose] (1:21:11 - 1:22:00)
这让我想到早期的互联网，安全性很差，像现在的AI，难以验证，可能有欺诈。现在AI处于“快乐时光”，坏人还没完全活跃。ZK可以为AI提供结构和可信度。
[Justin Drake] (1:22:01 - 1:22:24)
即使我们将开销从10,000倍降到100倍，训练AI可能需要100兆瓦时，加上100倍开销就是10吉瓦时，非常多的能源。优化越好越好。
[Anna Rose] (1:22:25 - 1:22:38)
你在说扩展性，而我在说验证AI，比如证明训练数据是否正确。
[Justin Drake] (1:22:38 - 1:23:01)
是的，比如证明训练正确。训练的开销可能是100倍。能源已经是AI的瓶颈，可验证性会让它更糟100倍。
[Anna Rose] (1:23:02 - 1:23:24)
疯狂。Justin，谢谢你来节目。最后的部分激发了很多讨论，我们可以继续聊。但时间到了。谢谢你分享Ethproofs、以太坊的未来和数字互联网世界的未来。
[Nico Mohnblatt] (1:23:24 - 1:23:34)
谢谢你们。Justin，这很激动人心，期待看到接近性间隙猜想被证明，获得更小的安全证明。
[Anna Rose] (1:23:36 - 1:23:37)
还有你提到的格基证明。
[Nico Mohnblatt] (1:23:37 - 1:23:39)
绝对是的。
[Justin Drake] (1:23:39 - 1:23:40)
谢谢。
[Anna Rose] (1:23:40 - 1:23:50)
再次感谢。感谢播客团队Rachel、Henrik、Tanya和Kai，以及我们的听众。感谢收听。