让我给你讲个故事。 2023年中。我刚刚决定开始Fermah。 我与一些我深深信任的人进行了电话交流，其中包括Amit Sahai，一位世界知名的密码学家，他在ZK领域有着基础性的贡献。我分享了愿景：ZK应该对开发者来说是简单的。没有人应该为设置证明基础设施和优化而斗争；他们应该能够将证明委托给一个能够完成任务的平台。 Amit： “见证数据怎么办？如何信任随机GPU处理敏感的见证数据？” 我： “今天生产中的大多数应用程序甚至没有使用ZKP的零知识部分——只是简洁性。” Amit笑了： “所以这就像没有ZK的ZK！那么关心隐私的应用程序如何生成证明呢？” 我：…… 电话结束后，我有很多会议，整天都很不安。我写信给Amit，内容大致如下： “ZK技术无法被最初设计来保护的人所访问，这太疯狂了。但我不确定现在是否是构建解决方案的合适时机。我需要做一些市场调研。” 所以我开始采用简单的方法： 步骤1. 列出开始显示出巨大潜力的应用程序 步骤2. 看看哪些需要隐私的ZK 果然，两个顶级应用程序是ZK身份和zkTLS。 让我快速告诉你为什么我对它们持乐观态度，然后继续讲故事。 我对证明人身份在确保AI驱动的未来中的吸引力感到震惊——以及Sam Altman在AI领域的领导，强调了使用@worldcoin的ZK身份的必要性。 zkTLS是一个更个人的故事。我在几乎只有几个人参与时就加入了这个潮流。这是大约5年前。我在@MinaProtocol领导了一个zkTLS项目的产品和实施。我甚至在那时就理解到，随着加密货币的采用将通过利用已经存在的采用来推动——Web2。那个桥梁就是zkTLS。 我确信我们必须解决这个问题。显然我们需要走MPC路线——FHE对于这种繁重的工作仍然过于乐观。我深入研究论文，发现了Dan Boneh和Alex Ozdemir的合作SNARKs论文以及后续的工作。这个想法是通过MPC协议进行证明生成，确保没有单一机器可以访问敏感数据。 快进到2023年10月/11月，我正在向Dan展示整个Fermah愿景。得到他的祝福是美好的。 从那里，我继续推进我们的种子融资，核心论点是：构建Fermah今天所知的——一个通用证明市场——并在上面加上一颗金色樱桃：MPC-zkVM。 我的愿景是构建一个MPC友好的ZKVM，并内置机密证明委托。 这个想法是： A. 开发者可以用流行语言如Rust编写计算 B. 他们不必担心用户体验——不再需要客户端证明 C. 他们不必管理证明基础设施 他们的客户只需向Fermah发送一个“用隐私证明这个”的交易——然后就会生成一个机密证明 这就是我们机密证明委托（CPD）协议的核心。 我很高兴分享我们朝着这个愿景迈出的第一步：用于Groth16证明的CPD——仍然是最广泛使用的证明系统之一。 我们站在巨人的肩膀上： - @Ingo_zk 的Icicle，它加速了GPU上的证明 - Taceo，将MPC带到Circom - Boneh-Ozdemir，将MPC添加到Arkworks 我们的CPD协议与Fermah的匹配层紧密合作，为任何以ZK和隐私为目标的构建者提供完整解决方案。 我们也非常感谢@worldcoin早期相信这个愿景。他们给了我们一个探索Remainder证明系统的CPD的资助，这在我们对ZK身份持乐观态度的Fermah来说意义重大。非常感谢@recmo和@DCbuild3r的支持和信任。我们也感谢来自前Modulus Labs的@nico_mnbl、Ryan和Daniel，现在在World，为我们提供了一个讨论平台！ 我们已经在与一些优秀的客户合作，并希望帮助所有分享ZK隐私愿景的人。 前进！