原文作者：Foresight X
在刚刚结束的 EthCC 期间，Foresight Ventures 旗下的区块链孵化器 Foresight X，与 Generative Ventures 共同举办了以 Empowering a Trustless Future 为主题的第二期 OpenBuild hacker house 活动。我们共收到了超过 200+申请，最终录取了 11 位优秀的开发者入驻，其中 4 名成员所在的团队获得 EthGlobal Finalist 提名， 3 名成员获得 LambdaZkWeek Hackathon 的一等奖和二等奖，其他成员也获得了多个 bounty 奖励。（后文将详细列举获奖项目信息）
一、开放的学习和探索旅程
Foresight Ventures 投资布局了 Polyhedra, Hyper Oracle, Veridise, Accseal, OlaVM 等零知识证明项目。此次 OpenBuild Hacker House @ EthCC 由 Foresight X 和 Generative Ventures 共同主办，以 Empowering a Trustless Future 为主题持续探索 ZK、ZKML 等相关技术前沿。同时深度参与了由 Cointelegraph 和 Manta Network 举办的 zkDay 活动。
在 EthCC 期间，我们为开发者提供协作共享的开发空间，与开发者深入探讨 zk 相关的前沿技术。此次 OpenBuild hacker house 团队的项目在 EthGlobal Hackathon，LambdaZkWeek Hackathon 获得了多个奖项，在利用 zk 技术抗击深度伪造(deep fakes)，基于意图(intent-based)的基础设施，AIGC NFT 领域都有亮眼的创新。
二、工作坊中的头脑风暴
此次 OpenBuild hacker house @ EthCC workshop 覆盖了 trustless building 的所有堆栈，旨在为 OpenBuild hacker house 开发者和 EthCC 参会者提供有意义的探讨并提供灵感。Workshop 内容涵盖了去中心化存储(EthStorage), ZKVM (ZKWASM, OlaVM ZK-ZKVM), 中间件(Hyper Oracle，Herodotus)，ZKML（Modulus Labs, EF PSE），以及可以部署的 ZKEVM(Taiko)等等。在这个过程中，涌现了一些很有价值的观点：
OpenBuild Hacker House @ EthCC workshop
What to build on Hybrid ML NOW by EF PSE
相比于（ZK）难以实现/需求尚且不明朗的隐私功能，可验证的 AI 是更为实际可以开发的方向，鼓励 ZKML 背景的开发者考虑三个方向进行尝试：( 1) ZKML AIGC NFTs：采用 ERC 7007 ，利用智能合约触发 prompt，由 ML 模型推理生成 AIGC 相关文件，再由 ZKML 的 prover 进行验证生成证明，进行新型的 NFT 创作。（2）递归神经网络(Recursive Neural Networks, RNN)：可以使用 ZK RNN 开发价格预测、交易机器人、大语言模型等。（3）好玩的应用：针对特定的用例从头开发 ZK 友好的模型、开发例如 Zordle, Leela vs the World 等游戏。
Hybrid ML Practical On-chain AI/ML, by Hyper Oracle
Hyper Oracle 支持的链上数据平台，当前已经支持一些新的项目如 ZKAMM 等出现。但是对于高强度计算，如大型人工智能模型上链是不够的。项目提出 Hybrid ML，即借用零知识证明压缩 opML 中的欺诈证明周期和大幅减少上链时 gas 消耗，其性能可把超大型人工智能模型带上链，并开发相关应用。
Who killed ZKML? by Modulus Labs
当前 ZKML 仍然非常早期，目前也仅仅有 10 个相关项目... 这是为什么？主要是成本约束、 过于早期，以及这件事情本身就很困难。Modulus Labs 通过设计 AI 领域专用的 ZK，希望可以降低成本 90% ，甚至 100% 。但是回过头来看，追求极致的性能最终的目标是什么呢？我们或许会拥有完全不同的 UX，以及全新的项目形态。
Unleash the power of ZK-ZKVM by OlaVM
Ola 提出 ZK-ZKVM 愿景，即首个基于 ZKVM 的可编程性隐私平台 ——可以很方便的给不具有隐私和高性能特性的平台扩展出相应的功能，同时继承其网络安全性，将致力于为生态最大的区块链公链 Ethereum 及整个 Web 3 生态带来可控可选隐私。
此次我们观察到，具备 ZK 和 ML 双重背景的 hackers 数量较多，并在黑客松中对开发 ZMKL 领域项目跃跃欲试。因此，在 zkDay 活动上，Foresight Ventures 技术总监 Maggie 输出了 ZK 领域前沿的 proof recursion(证明递归)的研究分析，主要内容包括：
介绍了为什么要用到证明递归。当我们要用 ZKP(Zero-Knowledge Proof)证明一个庞大的复杂的程序，且希望得到的证明很小时，我们需要用到证明组合(proof composition)，证明聚合(proof aggregation)，证明递归(proof recursion)三个重要方法。
介绍了证明递归能用于实现 IVC(incrementally verifiable computation)，IVC 能用于证明很长的程序。将要证明的程序能拆成很多步骤，并递归证明，最后得到一个小的 ZKP。这个方法不仅降低了证明者的内存要求，且可以通过这个小的 ZKP 就能证明整个执行历史都是正确的。
介绍了 IVC 的技术发展历史。并重点介绍了最近备受关注的十分有潜力的基于折叠的 IVC(folding-based IVC)。这种基于折叠的 IVC 比起以前的两类 IVC 来说，递归的负担最小，最高效。
介绍了多个重要的基于折叠的 IVC 方法，包括 Nova，SuperNova，Sangria，HyperNova，Protostar。证明递归几乎是用 ZKP 证明大程序的唯一方法，我们相信基于折叠的 IVC 会被业界广泛实用。
On Proof Recursion, Maggie from Foresight Ventures
以零知识证明为代表的去信任的未来，尤其是区块链与 AI 未来的结合，是 Foresight Ventures 一直持续关注、投资的技术方向，并在往期发表了《What Exactly is Fiery ZKML》 《️Best Attempt at a Decentralized AI Marketplace》 《on Proof Recursion》等文章。我们将持续发表相关研究，欢迎联系交流。
三、OpenBuild Hacker House @ EthCC 项目介绍及点评
1. ZK Microphone (Winner of Filecoin—Runner Up, EAS—Best Use and ETHGlobal Paris 2023 Finalist)
ZK Microphone 旨在利用 ZK-SNARKs，于深度伪造（deepfakes）泛滥的时代打造可信赖的音频验证服务。生成式 AI 和深度伪造音频已对我们的社会安全构成了巨大的危害，为了抑制该问题的扩散，ZK Microphone 构建了一个全栈解决方案 —— 利用 ZK-SNARKs 的音频的验证服务。
ZK Microphone 的基本运行原理为，在一个安全的飞地中存储用于数字签名的秘钥，从而保证录音的真实性，即确认音频确实是从指定的硬件麦克风之上录制产生的；与此同时，ZK Microphone 还会利用由 ZK-SNARKs 驱动的音频编辑软件来对原始音频进行一定的变换，从而在保证数字签名可验证的同时确保原始音频内容的隐私性。
获奖主页: https://ethglobal.com/showcase/zk-microphone-8161v
Foresight Ventures 点评：ZK microphone 可以保证音频是真实从某个硬件设备录制而来得。团队考虑得非常全面，还考虑到了对录音进行剪辑编辑得需求，能以保留数字签名和隐私的方式对音频进行编辑。利用 ZK 证明来对抗虚假信息是一个非常有价值的举措。
2. Bob the Solver（winner of 1 inch — Best use of 1 inch Contracts and ETHGlobal Paris 2023 Finalist)
Bob the Solver 旨在作为基于「意图」的交易基础设施，集成到钱包和去中心化应用程序中。该项目源自于账户抽象领域的新兴范式转变，其核心焦点不关注精确的交易流程，而是关注用户的最终「意图」。
「意图」代表了期望的结果，而「交易」则概述了执行交易所需的精确步骤。比如，某用户打算在 Polygon 网络上购买一个 NFT，「意图」很简单，但是精确的交易则可能涉及换币、跨链、购买等一系列复杂且耗时的任务，需要深入了解各种区块链知识。
Bob the Solver 意识到用户通常只有「意图」，而没有精确的「交易」细节需求。该项目旨在简化交易过程，它会接受用户的「意图」，自动制定适当的交易，并代表用户执行它们。
获奖主页: https://ethglobal.com/showcase/bob-the-solver-yxtgp
Foresight Ventures 点评：Bob the Solver 是一个降低 Web 3 使用门槛的好工具，能让没有深入区块链知识 Web 2 用户快速上手 Web 3 。用户只需要描述出自己的意图，Bob the Solver 即可为用户生成交易，消除了构建交易的复杂性。且采用 AA 钱包来管理用户的 gas fee, 进一步方便用户快速上手。
3. Starksplitter（winner of Starknet — Best Use)
Starksplitter 在 Cairo 中实现 OpenZeppelin 的支付分账合约。该合约允许将 ERC 20 的支付按权重转给一组账户中，进行分账。发送方无需知道 ERC 20 将以这种方式进行分割，合约会自动透明进行处理。
获奖主页: https://ethglobal.com/showcase/starksplitter-2m5j2
Foresight Ventures 点评：支付分账合约是用来实现给某一个群体进行支付的合约，Starknet 需要有这些常用合约的实现。
4. ZenetikNFT （winner of the Metamask — Best Use, Worldcoin — Pool Prize, and The Graph — Pool Prize）
ZenetikNFT 通过遗传 AI 来「繁育」新的 NFT 图像。它利用 EZKL 生成证明和 ERC 7007 来监督每个 NFT 铸造的过程。并且这一过程将通过 ZKML 证明验证得到强化，确保选定的图像特征能够传递给下一代 NFT。此外，ZenetikNFT 将采用 Worldcoin ID 的登录方式，该登录方式在链上验证，以确保只有真实的人类可以拥有和「繁育」这些 NFT。
获奖主页: https://ethglobal.com/showcase/zenetiknft-1ph5r
Foresight Ventures 点评：ZenetikNFT 是一个有趣且技术前沿的项目。通过遗传 AI 来繁育新的 NFT。技术上，利用 EZKL 工具和 ERC 7007 结合 ZKML 来验证 AIGC-NFT 所有权和确保铸造过程的正确执行。ZKML 是一个前沿且发展迅速的研究领域，能将可验证 AI 带到区块链上，是非常有前景的技术。
5. Photon（1 st prize winner of LambdaZkWeek hackathon)
使用 Celestia 作为 zkapps 的 DA 层来解决 Mina Protocol 现有的大多数链下存储解决方案缺乏安全性并依赖集中式服务器的问题。
Github: https://github.com/photon-bridge/overview
Foresight Ventures 点评：Photon 是一个特殊的桥，它能支持 Mina 区块链上的 zkDapp 的使用 Celestia 作为链下数据层，用于存储复杂的算法和数据。相比于 Mina 现有的大多数链下存储方案，Photon 采用的 Celestia 作为 DA 层具有更高的活性和可靠性，使得 zkDapp 的数据能更可靠地被访问。Photon 是一个很有前景的项目。
6. Delta Z ( 2 nd prize winner of LambdaZkWeek hackathon)
Delta Z 是第一个零知识差分隐私(Zero Knowledge Differential Privacy)协议。此方案已经将差分隐私文献中的关键算法实现部署在 StarkNet (goerli)的基于 Cairo 的智能合约上。这允许用户像往常一样提交查询，接收的结果包含可验证正确的噪声，不会影响分析。
Github: https://github.com/manuj-mishra/zkdiffpriv
Foresight Ventures 点评：Delta Z 实现了一个可验证的保护隐私的数据查询方法，有潜力使用在一些数据分享应用中。Delta Z 用 Cairo 合约实现了差分隐私的关键算法，差分隐私是一个数据共享方法，可以实现仅分享可以描述数据库的一些统计特征、而不公开具体到个人的信息。
四、Foresight X 对开发者提供后续支持
OpenBuild hacker house @ EthCC 已经落下帷幕，但 BUIDL 不会停止。作为 Web 3 生态系统的推动者， Foresight X 始终致力于为 Web 3 的开发者提供最新的研究洞察、咨询辅导、生态资源和约 20 万美金的早期资金支持，协助他们实现愿景并且推动整个 crypto 行业向前发展。
香港和巴黎之后，敬请期待我们后续推出的 hacker house 活动。您可以通过多种渠道了解我们的最新动态，包括 Foresight X 网站、微信公众号、Foresight News、Twitter 和其他媒体平台。为即将到来的更多精彩活动做好准备！期待下次再见！
关于我们
Foresight X 是 Foresight Ventures 旗下以项目孵化、生态资助、研究基金三个板块为核心的 Web 3 加速器。为早期项目提供约 20 万美元的扶持资金，此外，Foresight X 还为入选项目提供高质量的行业资源和全球性的社区支持，其中包含了技术指导、品牌推广、代币经济、项目运营、上币、公司管理、人才发展、法律法规等多方面的加速服务。
Foresight X 目前正在开放第二期 Accelerator Program 线上申请，重点关注 AI +Web 3、ZK Machine Learning、比特币生态、LSD、NFT 衍生品、PoS 节点服务、DID 以及所有拥抱变革、勇于创新的前沿领域。
