在过去的一年中，零知识技术取得了重大发展，到2023年，我们正在经历其在区块链领域的采用显着增加。
与此同时，机器学习的部署也变得越来越复杂。许多企业现在选择机器学习即服务提供商来实施复杂的专有机器学习模型。随着这些服务的激增，它们变得越来越难以审计和理解，提出了一个至关重要的问题：这些服务的消费者如何相信所提供预测的有效性？
ZKML提供了一种解决方案，可以使用公共模型验证私有数据或使用公共数据验证私有模型。
零知识
零知识证明是一种密码机制，证明者可以在其中向验证者证明给定陈述是真实的，而无需透露任何补充信息，除了透露该陈述是真实的。ZK证明领域在各个方面都取得了重大进展，从研究到协议实施和实际应用。
ZK证明利用两个主要的“原语”或构建块来实现其功能。第一个是为给定的一组计算建立计算完整性证明的能力。验证证明比执行计算本身要简单得多，这被称为“简洁性”。此外，ZK证明提供了在保持计算准确性的同时隐藏计算的特定部分的选项，称为“零知识”。
推特就Threads相关问题给Meta发律师函:金色财经报道，据美国财经媒体Semafor报道，推特威胁要起诉Meta Platforms(META.O)的新应用Threads。推特律师发给Meta首席执行官马克·扎克伯格的一封信中写道，推特打算严格维护其知识产权，并要求Meta立即采取措施，停止使用推特的任何商业秘密或其他高度机密的信息。律师还在信中指责Meta雇佣了曾经并将继续获得推特商业机密和其他高度机密信息的前推特员工。
据悉，Meta CEO扎克伯格在Threads发帖公布，截至当天上午，Threads的注册用户已超过3000万。[2023/7/7 22:23:13]
如果您想了解有关ZK的更多信息，我建议您参加此ZKPMOOC.
ZK的趋势
ZK状态报告是一份调查零知识生态系统关键发展的季刊，重点介绍了最受关注的趋势ZK社区：
ZK的主要用例是隐私。ZK证明的零知识原语允许隐藏正在验证的计算的特定部分。此功能对于创建在生成加密证明的同时保护用户隐私和保护其个人数据的应用程序特别有利。这方面的几个值得注意的举措包括：Semaphore、MACI、Penumbra或AztecNetwork.
Web3公司Transient Labs推出NFT批量铸造平台The Lab:6月28日消息，Web3创作者创新公司Transient Labs宣布推出NFT批量铸造平台TheLab，该平台支持数字艺术家以一枚NFT的价格铸造多达100枚NFT，从而优化成本效率。
Transient Labs表示，除NFT铸造，The Lab未来的愿景包括推出无代码动态艺术构建器、Shatter和Doppelganger等创新智能合约、可定制的创作者店铺等。[2023/6/28 22:05:19]
将ZK用于扩展排名第二。分布式系统，例如公共区块链，具有有限的计算能力，因为每个参与节点必须自己运行每个块中的计算以验证它们。然而，通过使用ZK证明，我们可以在链下执行这些计算，生成ZK证明，然后在链上验证这个证明，在保持安全性和去中心化的同时实现可扩展性。示例性项目包括：Starknet、Scroll、Polygon、Zero、PolygonMiden、PolygonzkEVM或zkSync.
身份也引起了人们的注意，表明人们对在身份管理领域使用ZK技术的兴趣越来越大。这包括开发身份证明协议以创建加密证明。该领域的一些著名举措包括：WorldID、Sismo、Clique或Axiom.
Cosmos Hub社区提议提前聘请律师，以应对潜在监管影响:6月17日消息，在美国SEC起诉币安、Coinbase之后，Cosmos Hub社区已起草有关聘请律师的提案，作为潜在的预防措施。此举至少在一定程度上是由于SEC将Cosmos Hub原生代币ATOM归类为证券。
在提案草案中，Cosmos Hub社区成员RoboMcGobo指出，币安诉讼中的指控可能会产生更严重、更广泛的后果。如果币安诉讼中的任何指控需要法院确定ATOM是一种证券的门槛，那么法院的决定可能会对Cosmos Hub产生深远的影响，当然也会对ATOM代币产生深远的影响。如果这种先例成为现实，Cosmos Hub将没有太多机会为自己辩护。因此，社区成员的想法是，Cosmos Hub应该考虑聘请能够在最坏情况下提供法律建议的律师或律师事务所。
不过，有人担心聘请律师可能会带来中心化和监管方面的问题。该提案目前处于草案阶段，尚未提交社区投票。（Blockworks）[2023/6/17 21:43:59]
当被问及最令人兴奋的新用例时，社区的焦点显然是ZKML，它被认为是最吸引人的新用例。本文的其余部分将重点关注ZKML，目的是有效验证所有计算是否已准确执行，这具有超越区块链的深远影响。
标普高管：一旦监管更加明确，机构将涌入加密货币:金色财经报道，标普全球（S&P Global）首席DeFi官Chuck Mounts周四在Messari Mainnet会议上发言时表示，一旦监管更加明确，机构的资本将涌入加密货币。\u2028按照Mount的说法，加密货币需要有一些“政策的清晰度”，“这将使大型机构参与者和资产分配者更有信心和更舒适地涉足，并开始将资金分配到这个领域。”?Mount表示，一个“重要的标志”将是稳定币的立法行动，他将其描述为“机构资金进入数字资产和加密货币领域的途径”。
除此以外，Mount认为风险评估也会有帮助。他说：“一旦有了一些政策的明确性，我认为就需要寻找一些他们习惯的风险评估框架，这些框架既能与内部风险评估能力相结合，也能促进他们与监管机构的沟通。”（Business Insider）[2022/9/23 7:16:32]
为什么ZKML最近受到关注？
创建零知识证明需要大量的计算资源，通常比原始计算要多得多。因此，某些计算由于生成它们所需的时间而无法用零知识证明来证明。然而，密码学、硬件和分布式系统的最新进展使得为日益密集的计算生成零知识证明成为可能。这些进步使得可以开发可以使用密集计算证明的协议成为可能，从而扩大了可以使用零知识证明的应用范围。ModulusLabs团队最近的一项名为“智能的成本”的研究针对各种不同的模型评估了各种现有的ZK证明系统尺寸。
希腊前财政部长：比特币取代法定货币将是“一场噩梦”:5月28人消息，针对欧洲央行行长Christine Lagarde关于“加密货币毫无价值”的言论，希腊前财政部长Yanis Varoufakis表示，作为交换手段，加密货币确实毫无价值。大多数人购买加密货币是为了投机。此外，Yanis Varoufakis认为，比特币等加密货币不会取代法定货币，如果取代了，那将是一场噩梦。（Finbold）[2022/5/29 3:47:48]
随着人工智能技术的不断进步，区分人工智能生成的内容和人类生成的内容变得更具挑战性。然而，零知识密码学可能具有解决这个问题的潜力，它使我们能够确定特定内容片段是否是通过将特定模型应用于给定输入而生成的，而无需透露有关模型或输入的任何其他信息。对于GPT-4等大型语言模型，创建零知识电路表示可以提供一种验证其输出的方法。
这些证明中固有的零知识属性将使我们能够在必要时隐藏输入或模型的任何敏感部分。一个说明性的例子是对个人数据使用机器学习模型，其中用户可以获得模型对其数据进行推理的结果，而无需向任何外部实体披露他们的输入。
用例
ZKML仍然是一项新兴技术，许多用例还有待探索。然而，以下是一些最明显的用例，Worldcoin的文章和ElenaBurger的帖子。
计算完整性
有效性证明，例如SNARKs和STARK有能力证明计算已正确执行，这可以通过验证ML模型推理或模型根据特定输入生成特定输出来应用于机器学习。轻松证明和验证输出是特定模型和输入组合的结果的能力允许在链下专用硬件上部署机器学习模型，而ZK证明可以在链上方便地验证。
在讨论ZKML时，重点通常是生成ML模型推理步骤的零知识证明，而不是验证用于训练模型的数据的有效性。后者本身已经是一个高度计算密集型过程。
隐私
除了有效性证明之外，零知识密码学还可用于保护机器学习应用程序中的隐私。一个例子是在不透露所用权重的情况下证明模型对测试数据具有一定的准确性。另一个用例的例子是隐私保护推理，其中私人患者数据可用于医疗诊断，并且敏感的推理可以发送给患者，而不会向任何第三方透露他们的数据。
ML即服务透明度
如果公司通过他们的API提供对ML模型的访问，用户可能很难知道提供商是否真的提供了他们声称提供的模型，因为API本质上是一个黑盒子。与ML模型API相关联的有效性证明在为用户提供透明度方面很有价值，因为他们可以验证他们正在使用哪个模型。
去中心化推理或训练
以去中心化的方式执行机器学习推理或训练，同时允许人们将数据提交到公共模型需要在链上部署现有模型或构建新网络。零知识证明可用于压缩模型。
证明
要将来自外部验证方的证明合并到链上运行的智能合约中，可以使用零知识证明验证签名并将其用作输入程序。此方法可应用于任何经过数字认证的信息，提供一种从可信来源验证真实性和出处的方法。可以通过这种方式验证和使用生成数字签名的端点。
探索ZKML的项目
随着密码学、硬件和分布式系统的进步继续使零知识证明适用于日益密集的计算，越来越多的项目正在探索ZKML的使用。下图提供了当前项目的非详尽概述，但应注意类别之间可能存在一些重叠，并且为清楚起见简化了此演示文稿。此外，还有许多开源代码库可用于构建ZKML应用程序，这表明社区的兴趣和热情在不断增长。
不全面；截至2023年5月10日；类别之间不可能有严格的划分。
结束语
随着ZK技术的不断进步，在更短的时间内在功能较弱的机器上证明更大的机器学习模型变得越来越可行。这是由于专用硬件、证明系统架构和更高效的ZK协议实现方面的改进。由于这些进步，新的ZKML应用程序和用例有望出现。
虽然ZKML在Web3中的主要用例是使链上组织能够运行机器学习模型，但ZKML的快速发展为多个领域的复杂问题提供了潜在的解决方案。在我看来，在这种情况下可能会出现以下用例：
去中心化金融：使用ZKML来验证收益最大化策略或为客户重新平衡资金池。RockyBot就是其中一个例子。游戏：使用ZKML来验证投注机制或AI增强型玩家。这方面的一个例子是LeelavstheWorld.身份：使用ZKML对用户生物识别信息进行AI分析，同时确保数据的保管。WorldID就是一个例子。医疗保健：通过在敏感医疗数据上运行机器学习模型同时保护隐私，ZKML可用于医疗领域的疾病预测。尽管ZKML显示出巨大的潜力，但该领域仍处于早期发展阶段。一个挑战是，在将模型转换为电路的过程中，准确性和保真度可能会受到影响。另一个限制是许多机器学习模型的参数和激活被编码为32位精度，当前的零知识证明系统很难在没有大量开销的情况下以所需的算术电路格式表示。
目前，随着零知识证明不断优化以处理日益复杂的机器学习模型，ZKML领域仍在迎头赶上。
致谢：ZKML社区的awesome-zkmlGitHub存储库，Worldcoin的文章和ElenaBurger的post，也非常感谢DanielShorr和DiogoAlmeida围绕这个话题进行的对话。
如果您在ZKML中有项目，请联系我们！
您可以在Twitter和LinkedIn上关注我。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。