《zeroknowledge FM》最新的一期访谈，非常值得一看 采访的是EF基金会的Justin Drake 这期非常值得一看，会看到一些zk方面的趋势在ETH中的价值，以及关联到最近发币的项目的一些综合的信息 我摘要我阅读后一些有意思/重要的点： -Vitalik路线图中一项将一切Snark化，Snark化是可以增强以太坊的每一层，从共识层（CL）到数据层（DL），再到执行层（EL）。长期以来，Snark化有点像空中楼阁，因为我们需要实现实时证明（real-time proving），即证明的延迟低于以太坊一个槽（slot）的时间，通常是10秒以内。 -他们制作了Ethproofs（http://Ethproofs.org)一个记录通向实时证明的旅程，并希望在此过程中加速这一目标。Ethproofs可以说是zkVM的L2BEAT。 -Ethproofs起源故事。一年多前，RISC Zero （@Boundless_xyz 母公司） 团队和我们讨论，他们提出一个想法：如果有一个存档，存储所有历史以太坊区块的证明 -Ethproofs有一个一个zkVM跟踪器，现在有32个不同的zkVM，这些zkVM一个接一个地与Ethproofs整合。 -通过Snark化EVM，扩展Layer 1，引入一组新的实体——证明者，他们将实时证明以太坊链，验证者只需要验证这些证明，而无需下载区块，仍然可以认证这些区块的有效性（注释：未来证明者的相关周边的价值会越来越大） -zkVM来Snark化EVM。这类似于客户端多样性的情况。有五六个不同的共识层和执行层客户端。即使其中一两个或三个有漏洞，以太坊也能存活。假设每个客户端都有漏洞。zkVM也是如此，我们假设每个zkVM都有漏洞，但整体上是安全的。为了实现嵌入单一zkVM的最终目标，我们需要端到端的正式验证，并对选定的zkVM有极高的信心。（注释：所以XD们，即使有了@Succinctlabs 占了先机，但是这个证明市场足够容纳多家，也必须是多家，@Boundless_xyz 不用去争论谁技术更强） -每个团队都声称自己是最快的zkVM。原因在于大家使用不同的基准测试，这导致了很多挫折和时间浪费，因为每个zkVM团队都要深入研究竞争对手的基准测试，找出问题和“作弊”之处。但现在有了公平的竞争环境，Ethproofs可以进行更客观、更健康的协作。 -zkVM的商业模式：2023年我们看到协处理器和证明者网络出现，RISC-Zero率先定义了现在的zkVM概念。zkVM开始变成证明者市场，融合了两种商业模式。还有团队在去中心化验证层。天真地看，zkVM像是公共物品，开源硬件和软件，任何人都可以复制。但现在我改变了看法，这有点短视。认为zkVM会席卷全球，远超区块链领域。银行、医疗、航空等高完整性、高价值领域都会被Snark化。Google可能会雇佣数百名工程师，NVIDIA可能会生产ZPUs。 播客原文中文版本：https://zkvc.substack.com/p/ethproofs-zkvm-benchmarks-and-the （实在是太长了，但我看完很有收获，如果你也有耐心。。。坚持看完请）