波宝pro钱包app官网下载|DeFi也行！零知识+AI机器学习「ZKML」的优势和挑战 | 动区动趋-最具影响力的区块链新闻媒体

当零知识证明与机器学习开始结合并且应用在区块链上，是否能让区块链的构建更加具有隐私性、安全性以及更高的效率？本文将介绍零知识机器学习（ZKML）的解析。 （前情提要：什么是零知识机器学习？ZKML最热趋势结合，爆发AI无穷潜力 ） （背景补充：去中心化Rollup访谈》ZK技术带来的新挖矿市场、硬体加速与验证者网路 ）

本文目录

• ZKML： 零知识证明与机器学习的结合
  • ZK 与 ML 的发展需求与能力互补
  • ZKML 的技术优势
  • ZK 赋能 ML：提供链上基础设施
  • ML 赋能 ZK：丰富 Web3 应用场景
• ZKML 面临的挑战
• 结语

区块链技术和机器学习作为两个备受关注的领域，分别以其去中心化的特性和资料驱动的能力引领着技术的进步。区块链技术中的 ZK（零知识，Zero-Knowledge，下文简称 ZK）是密码学中的一个概念， 指的是一种证明或互动过程，其中证明者能够向验证者证明某个陈述的真实性，而不洩露任何有关这个陈述的具体资讯。 ML（机器学习，Machine Learning，下文简称 ML），是 AI 的分支领域。机器学习从输入资料中学习、总结形成模型并能做出预测和决策。

在这一背景下，结合两者的 ZKML（Zero-Knowledge Machine Learning 零知识机器学习）在近期蓬勃发展。ZKML 将零知识证明的隐私保护和验证能力与机器学习的资料处理和决策能力相结合，为区块链应用带来了全新的机遇和可能性。ZKML 为我们提供了一种同时保护资料隐私、验证模型準确性和提升算力效率的解决方案。

本文将深入介绍 ZKML，了解其技术原理和应用场景，与开发者们一起探索这个令人兴奋的交叉领域， 揭祕 ZKML 如何构建隐私性更加完备、更具安全性和高效性的数位化未来！

ZKML： 零知识证明与机器学习的结合

零知识证明与机器学习能在区块链上结合的原因有二：

• 一方面， ZK 的零知识技术不仅希望能实现链上交易的高效验证 ，ZK 的开发者也更希望 ZK 能用在更广阔的生态领域中，ML 的强大 AI 支援，成为 ZK 应用生态扩充套件的极佳助力者。
• 另一方面， ML 模型从开发到使用的全流程都面临着信任证明问题 ，ZK 能帮助 ML 实现不洩露资料和资讯的前提下实现有效性的证明，解决 ML 的信任困境。ZKML 的结合，是两者各取所需、双向奔赴，也将为区块链生态新增动能。

ZK 与 ML 的发展需求与能力互补

ML 有大量信任问题需要解决，各个工作流程的準确性、完整性、隐私性需要被证明。ZK 刚好能在确保隐私性的前提下有效验证任何类计算是否正确执行， 很好地解决了机器学习长期存在的信任证明问题 。模型的完整性是 ML 训练过程中的重要信任证明问题，但 ML 模型训练和使用的资料和资讯的隐私保护同样重要。这使 ML 的训练难以通过第三方审计监管机构完成信任证明，去中心化的零知识属性的 ZK 是与 ML 具有极高匹配性的信任证明路径。

「AI 提升生产力，区块链优化生产关係」，ML 为 ZK 赛道注入更高的创新动能和服务质量、ZK 为 ML 提供可验证性与隐私保护，ZKML 双方在区块链环境中互补执行。

ZKML 的技术优势

ZKML 的主要技术优势实现了计算完整性、隐私保护性与启发式优化结合。从隐私角度上来看，ZKML 的优势在于：

实现透明验证

零知识证明（ZK）可以在不暴露模型内部细节的情况下评估模型效能， 实现透明和无需信任的评估过程 。

资料隐私保障

ZK 可用于使用公共模型验证公共资料或使用私有模型验证私有资料，以此保证资料的隐私性和敏感性。

ZK 本身通过密码学协议，在保证隐私性的前提下确保了某个宣告的正确性，很好的解决了计算正确性证明机器学习在隐私保护上、同态加密机器学习在隐私保护上的缺陷。 将 ZK 融入 ML 过程中，建立了一个安全且保护隐私的平台，解决了传统机器学习的不足。 这不仅鼓励隐私公司採用机器学习技术，Web2 开发人员也更有动力来探索 Web3 的技术潜力。

ZK 赋能 ML：提供链上基础设施

ML 上链的算力桎梏与 ZK-SNARKs

在链下已经较为成熟的 ML 之所以刚刚进军链上，是因为区块链的算力成本过高。很多机器学习专案因算力限制无法直接在以 EVM 为代表的区块链环境下执行。同时，虽然 ZK 的有效性验证比重複计算效率更高，但这种优势仅限于区块链原生的交易资料处理。当 ZK 本就複杂的密码学运算和互动面临 ML 的大量运算时，区块链的低 TPS 问题便暴露出来， 区块链算力低下的问题成为阻碍 ML 上链的最大桎梏。

ZK-SNARKs 的出现缓解了 ML 的高算力需求问题。ZK-SNARKs 是一种零知识证明的密码学构造，其全称为 “零知识可扩充套件非互动式引数论证”（Zero-Knowledge Succinct Non-Interactive Argument of Knowledge）。它是一种基于椭圆曲线密码学和同态加密的技术，用于实现高效的零知识证明。ZK-SNARK 具有高度紧凑性的特点，通过使用 ZK-SNARKs，证明者可以生成一个短而紧凑的证明，而验证者只需进行少量的计算即可验证证明的有效性，无需与证明者多次互动。 这种仅需一次有证明者向验证者互动的性质，使 ZK-SNARKs 在实际应用中具有高效性和实用性 ，更加适配 ML 的链上算力需求。目前，ZK-SNARKs 是 ZKML 中 ZK 的主要形式。