近期Worldcoin的爆火也为一个Web3+AI叙事造了足够的势，Worldcoin隶属zkML概念，源自zk+ML（零知识证明和机器学习），也是近期谈论较多的一个新兴结合体，zk技术自然不用都说，而ML是AI的一个子领域，此前AI+Web3就已经是行业内颇具热度的叙事，只是目前来看并没有很好的概念或用例将两者无缝衔接起来，而近期的黑山大会上，Vitalik也对zkSNARK推崇备至，加上Worldcoin的爆火，所以zkML脱颖而出是可以预见的。大家可能对zkML不太熟悉，本文主要为大家拨开zkML身上的迷雾，重点讲述zkML简介、用例以及一些潜力项目，正式因为目前zkML用例不太多，所以才希望大家可以抓住机会，提前了解新概念和用例，做好准备。Web3+MLzkML结合了零知识证明和机器学习，其实在Web3之外，ML早已不是新词了，该技术已经广泛地在一些领域获得用例，比如，自然语言处理（NLP）、自动驾驶、电商等领域，都已经通过ML技术达到更高的水平，甚至在一些领域ML已经占据了主导地位，所以未来的zkML也是大势所趋，智能合约中嵌入ML也会为智能合约提供更复杂和更智能的处理方式。通过添加ML功能，智能合约可以变得更加自主和动态，允许它们根据实时链上数据而不是静态规则做出处理。智能合约将更具灵活性，适应更多场景，包括那些在最初创建合约时可能没有预料到的场景。简而言之，ML功能将扩大我们放在链上的任何智能合约的自动化、准确性、效率和灵活性。
目前，ML之所以没有在crypto广泛采用的原因之一是在链上运行这些模型的计算成本很高，比如fastBERP——一类NLP语言模型，该模型的采用需要使用约1800MFLOPS（百万浮点运算），这是不能直接在EVM上运行的。而应用模型需要基于真实世界数据进行预测，为了拥有ML规模的智能合约，而合约必须获得此类预测；原因之二是需要处理ML模型的信任框架问题，主要分两点，一是其隐私性：如前所述，模型参数通常是私有的，在某些情况下，模型输入也需要保密，这自然会在模型拥有者和模型使用者之间带来一些信任问题；二是算法黑匣子，ML模型有时被称为「黑匣子」，因为它们在计算过程中涉及许多难以理解或解释的自动化步骤。这些步骤涉及复杂的算法和大量数据，这些数据会带来不确定的、有时是随机的输出，使算法成为偏见甚至歧视的罪魁祸首。而zk技术可以很高效地解决该信任问题。所以此时zkSNARK顺势出现，zkML中的zk技术大多指的是zkSNARK，zkSNARK为我们提供了一个解决方案：任何人都可以在链下运行一个模型，并生成一个简洁且可验证的证明，表明预期的模型确实产生了特定的结果，该证明可以在链上发布并由智能合约获取并并增强其智能。ML模型通常需要三部分：训练数据、模型架构、模型参数。
经过训练后的模型只要是通过推理验证后就可以为智能合约开辟出一个更新的设计空间。（模型训练和推理就不过多叙述了）zkML在crypto的用例而经过zkSNARK+ML加成后的智能合约也会有很多用例，以下是其用例：DeFi可验证的链下机器学习预言机结合zkSNARK结合ML模型的验证推理，这些链下ML预言机可以用于通过验证推理并在链上发布证据来可靠地解决现实世界的预测市场、确保协议合约等问题。ML参数化的DeFiDeFi的很多细分领域其实都可以实现自动化。例如，借贷协议可以使用ML模型来实时更新参数。如今借贷协议主要信任由组织运行的链下模型来确定抵押品系数、LTV、清算门槛等，ML可以提供更好的替代方案，社区训练的开源模型，任何人都可以运行和验证。自动交易策略验证交易策略回报情况的一种方式是让MP向投资者提供各种回溯测试，无法验证策略师在执行交易时是否遵循模型，但zkML可以为其提供解决方案，MP可以在部署到特定位置时提供金融模型推理的验证证明。
安全领域智能合约的欺诈监控ML模型可用于检测可能的恶意行为并执行暂停程序，而不是让人亲手治理或集中的参与者来控制暂停合约的能力。DID和Social通过生物特征认证代替私钥（也就是目前Worldcoin所做的）私钥管理仍然是另Web3用户头疼的问题之一。通过面部识别或其他生物特征提取私钥是zkML的一种可能解决方案，而Worldcoin正是应用的这种方式，其Orb设备来确定某人是否是一个没有试图KYC做假的真实的人，并且使用zk技术确保其ML模型的输出不会泄露用户的个人数据，通过各种相机传感器和分析面部和虹膜特征的机器学习模型来实现这一点。Web3社交媒体的个性化推荐和内容过滤同样，一些Web3社交媒体很容易获取用户喜好和数据，为我们展示一些垃圾邮件和虚假链接，很多虚假链接导致用户钱包被盗等，但通过zkML技术我们可以避免很多不必要的内容和邮件链接。创作者经济和游戏游戏内经济再平衡ML模型可用于动态调整token发行、供应、销毁、投票门槛等，一种可能的模型是激励合约，如果达到某个再平衡阈值并验证推理证明，可以重新平衡游戏内的经济。新型链上游戏可以创建合作的人类与人工智能游戏和其他创新的链上游戏，其中不信任的人工智能模型充当NPC角色，NPC的所有行动都会发到链上，并附有任何人都可以验证以确定正确运行模型的证明。
zkML生态潜力项目由于zkML目前还处于早期发展状态，能找到的项目并不是很多，以下是为大家找到的潜力项目：WorldcoinWorldcoin就不过多叙述了，大家应该比较熟悉，参考「如果Worldcoin成功，将对加密行业产生哪些影响？」ModulusLabsModulusLabs是zkML较为多样化的项目之一，构建链上AI所需技术。既致力于用例，也致力于相关研究。在应用方面，ModulusLabs已经开发了RockyBot（一个链上交易机器人）和Leelavs.theWorld（一个象棋游戏），真人与Leela象棋引擎的一个可经验证的链上实例对弈。GizaGiza是一个致力于通过AI发展经济的协议，能够使用完全无信任的方法在链上部署AI模型，由StarkWare合作支持，最终实现一个为AI发展提供替代路径的市场。ZkaptchaZkaptcha专注于Web3中的机器人问题，保护智能合约免受机器人攻击，使用零知识证明来创建抗女巫攻击的智能合约，为智能合约提供验证码服务。目前，该项目使终端用户通过完成验证码来产生一个人类工作的证明，未来，Zkaptcha将继承zkML，推出类似于现有的Web2验证码服务，但也可以分析鼠标运动等行为，以确定用户是否为真人。zk+MLzk赛道的新方向结语目前看来，zkML与crypto结合领域的产品其实并不多，此类产品构建的过程中还会遇见一些问题，zkML与crypto未来可能还需要更多改善和优化。但凭借zkSNARK和ML的结合，我们有理由相信会zkML的力量可以给crypto带来更好的前景和发展，也期待该领域能出现更多样的产品，zk技术和crypto为ML的运行提供安全可信的环境，而未来除了产品的创新之外，还可能会催生crypto商业模式的创新，因为在这个狂野和无政府的Web3世界中，去中心化、crypto技术和信任才是最最基础的设施。