NBS:深入剖析ZKML赛道:智能合约智能性的下一步

通过 zkSNARKs 证明机器学习 (ML) 模型推理有望成为这十年智能合约最重要的进步之一。这一发展开辟了一个令人兴奋的大设计空间,允许应用程序和基础设施发展成为更复杂和智能的系统。

通过添加 ML 功能,智能合约可以变得更加自主和动态,允许它们根据实时链上数据而不是静态规则做出决策。智能合约将是灵活的,可以适应各种场景,包括那些在最初创建合约时可能没有预料到的场景。简而言之,ML 功能将扩大我们放在链上的任何智能合约的自动化、准确性、效率和灵活性。

ML 在 web3 之外的大多数应用程序中被广泛应用,在智能合约中的应用几乎是零。其主要是由于在链上运行这些模型的计算成本很高。例如,FastBERT 是一种计算优化语言模型,使用约 1800 MFLOPS(百万浮点运算),这无法直接在 EVM 上运行。

链上 ML 模型的应用,主要关注的是推理阶段:应用模型对真实世界的数据进行预测。为了拥有 ML 规模的智能合约,合约必须能够摄取此类预测,但正如我们之前提到的,直接在 EVM 上运行模型是不可行的。zkSNARKs 为我们提供了一个解决方案:任何人都可以在链下运行一个模型,并生成一个简洁且可验证的证明,表明预期的模型确实产生了特定的结果。该证明可以在链上发布并由智能合约摄取以增强其智能。

在这篇文章中,我们将:

查看链上 ML 的潜在应用程序和用例

探索 zkML 核心的新兴项目和基础设施建设

讨论现有实现的一些挑战以及 zkML 的未来会是什么样子

机器学习(ML)是人工智能(AI)的一个子领域,专注于开发能够让计算机从数据中学习并进行预测或决策的算法和统计模型。ML 模型通常具有三个主要组成部分:

训练数据:一组用于训练机器学习算法进行预测或对新数据进行分类的输入数据。训练数据可以采用多种形式,如图像、文本、音频、数值数据或其组合。

模型架构:机器学习模型的整体结构或设计。它定义了层次结构、激活函数和节点或神经元之间的连接类型和数量。架构的选择取决于具体的问题和使用的数据。

模型参数:模型在训练过程中学习的值或权重,用于进行预测。这些值通过优化算法进行迭代调整,以最小化预测结果与实际结果之间的误差。

模型的生成和部署分为两个阶段:

训练阶段:在训练阶段,模型会接触到一个带标签的数据集,并调整其参数以最小化预测结果与实际结果之间的误差。训练过程通常涉及多次迭代或周期,模型的准确性会在单独的验证集上进行评估。

推理阶段:推理阶段是使用经过训练的机器学习模型对新的未见数据进行预测的阶段。模型接收输入数据,并应用学习到的参数生成输出,如分类或回归预测。

目前,zkML 主要关注于机器学习模型的推理阶段,而不是训练阶段,主要是由于验证电路中训练的计算复杂性。然而,zkML 对推理的关注并不是一种限制:我们预计将会产生一些非常有趣的用例和应用。

GameStop董事会成员Larry Cheng计划深入研究加密货币:金色财经报道,6月初被选为GameStop董事会成员的Larry Cheng在推特上宣布,本月他将休两天假,以加深对加密货币的了解。这位企业家正在向他的粉丝征求有关如何打发这些时间的建议。据悉,Cheng已宣布持有GameStop 13%的股份。[2021/11/13 6:49:48]

验证推理有四种可能的场景:

私有输入,公共模型。模型消费者 (MC) 可能希望对模型提供者 (MP) 保密他们的输入。例如,MC 可能希望在不披露其个人财务信息的情况下向贷方证明信用评分模型的结果。这可以使用预先承诺方案并在本地运行模型来完成。

公共输入,私有模型。ML-as-a-Service 的一个常见问题是 MP 可能希望隐藏其参数或权重以保护其 IP,而 MC 想要验证生成的推理确实来自对抗设置中的指定模型 . 这样想:当向 MC 提供推理时,MP 有动机运行更轻的模型以节省成本。使用链上模型权重的承诺,MC 可以随时审核私有模型。

私有输入,私有模型。当用于推理的数据高度敏感或机密,并且模型本身被隐藏以保护 IP 时,就会出现这种情况。这方面的一个例子可能包括使用私人患者信息审核医疗保健模型。zk 中的组合技术或使用多方计算 (MPC) 或 FHE 的变体可用于服务此场景。

公共输入,公共模型。当模型的所有方面都可以公开时,zkML 解决了一个不同的用例:将链下计算压缩和验证到链上环境。对于较大的模型,验证推理的简洁 zk 证明比自己重新运行模型更具成本效益。

验证的 ML 推理为智能合约开辟了新的设计空间。一些加密原生应用包括:

可验证的链下 ML 预言机。继续采用生成式人工智能可能推动行业实施其内容的签名方案(例如,新闻出版物签署文章或图像)。签名数据准备好进行零知识证明,使数据可组合且可信。ML 模型可以在链下处理这些签名数据以进行预测和分类(例如,对选举结果或天气事件进行分类)。这些链下 ML 预言机可以通过验证推理并在链上发布证明来无需信任地解决现实世界的预测市场、保险协议合约等问题。

基于 ML 参数的 DeFi 应用。DeFi 的许多方面可以更加自动化。例如,借贷协议可以使用 ML 模型实时更新参数。目前,借贷协议主要依赖由组织运行的链下模型来确定抵押因子、贷款价值比、清算阈值等,但更好的选择可能是社区训练的开源模型,任何人都可以运行和验证。

自动化交易策略。展示金融模型策略的回报特征的常见方式是 MP 向投资者提供各种回测数据。然而,没有办法在执行交易时验证策略师是否遵循该模型 - 投资者必须信任策略师确实遵循模型。zkML 提供了一个解决方案,MP 可以在部署到特定头寸时提供金融模型推理的证明。这对于 DeFi 管理的保险库可能尤其有用。

智能合约的欺诈监控。与其让缓慢的人工治理或中心化参与者控制暂停合约的能力,可以使用 ML 模型来检测可能的恶意行为并暂停合约。

蓝色光标:与腾讯在作为元宇宙入口的虚拟人业务有较深入合作:11月16日消息,蓝色光标在互动平台表示,公司与腾讯在游戏、动漫、阅文等层面有深入合作;同时,在作为元宇宙入口的虚拟人业务,也有较深入合作。[2021/11/16 21:54:34]

分散的、无信任的 Kaggle 实现。可以创建一个协议或市场,允许 MC 或其他感兴趣的方验证模型的准确性,而无需 MP 披露模型权重。这对于销售模型、围绕模型准确性进行竞赛等方面非常有用。

生成式 AI 的去中心化提示市场。生成式 AI 的提示创作已经发展成为一门复杂的工艺,最佳输出生成提示通常具有多个修改器。外部方可能愿意从创作者那里购买这些复杂的提示。zkML 在这里可以有两种用法: 1 )验证提示的输出,以向潜在买家确保提示确实创建所需的图像;

2 )允许提示所有者在购买后保持对提示的所有权,同时对买家保持模糊,但仍为其生成经过验证的图像。

用保护隐私的生物识别认证替代私钥。私钥管理仍然是web3用户体验中最大的障碍之一。通过面部识别或其他独特因素抽象私钥是 zkML 的一种可能解决方案。

公平的空投和贡献者奖励。可以使用 ML 模型创建用户的详细人物画像,根据多个因素确定空投分配或贡献奖励。当与身份解决方案结合使用时,这可能特别有用。在这种情况下,一种可能性是让用户运行一个开源模型,评估他们在应用程序中的参与情况以及更高层次的参与,比如治理论坛的帖子,以推理他们的分配。然后提供这个证明给合约,以获得相应的代币分配。

用于web3社交媒体的过滤。web3社交应用的去中心化性质将导致垃圾信息和恶意内容的增加。理想情况下,社交媒体平台可以使用一个社区共识的开源 ML 模型,并在选择过滤帖子时发布模型推理的证明。案例:关于 Twitter 算法的 zkML 分析。

广告/推荐。作为一个社交媒体用户,我可能愿意看到个性化的广告,但希望将我的偏好和兴趣对广告商保密。我可以选择在本地运行一个关于我的兴趣的模型,将其输入到媒体应用程序中为我提供内容。在这种情况下,广告商可能愿意为最终用户支付费用,以实现这一点,然而,这些模型可能远不如目前生产中的定向广告模型复杂。

游戏内经济再平衡。可以使用 ML 模型动态调整代币发行、供应、销毁、投票门槛等。一个可能的模型是一个激励合约,如果达到一定的再平衡门槛并验证了推理的证明,就会重新平衡游戏内经济。

新类型的链上游戏。可以创建合作的人类对抗 AI 游戏和其他创新的链上游戏,其中无信任的 AI 模型充当一个不可玩的角色。NPC 采取的每个动作都会与一个任何人都可以验证的证明一起发布到链上,以确定正在运行正确的模型。在 Modulus Labs 的 Leela vs. the World 中,验证者希望确保所述的 1900 ELO AI 选择棋步,而不是 Magnus Carlson。另一个例子是 AI Arena,一个类似于 Super Smash Brothers 的 AI 格斗游戏。在高风险的竞争环境中,玩家希望确保他们训练的模型没有干扰或作弊。

声音 | 国家医疗保障局副局长:国家医疗保障局将深入研究引入区块链等先进技术:金色财经报道,国家医疗保障局副局长施子海表示,国家医疗保障局将不断探索创新,深入研究引入5G和区块链等先进技术,加快完善电子凭证功能和推广应用,不断优化设计、完善功能、简化流程,提升群众使用体验,加强业务协同。[2019/11/26]

zkML 生态系统可以广泛分为四个主要类别:

模型到证明编译器:将现有格式(例如 Pytorch、ONNX 等)的模型编译成可验证的计算电路的基础设施。

广义证明系统:构建用于验证任意计算轨迹的证明系统。

zkML 特定的证明系统:专门构建用于验证 ML 模型计算轨迹的证明系统。

应用程序:致力于独特 zkML 用例的项目。

在 zkML 生态系统中,大部分关注都集中在创建模型到证明编译器上。通常,这些编译器将使用 Pytorch、Tensorflow 等高级 ML 模型转换为 zk 电路。

EZKL 是一个库和命令行工具,用于在 zk-SNARK 中进行深度学习模型的推理。使用 EZKL,您可以在 Pytorch 或 TensorFlow 中定义一个计算图,并将其导出为带有 JSON 文件中一些示例输入的 ONNX 文件,然后将 EZKL 指向这些文件以生成 zkSNARK 电路。通过最新一轮的性能改进,EZKL 现在可以在约 6 秒和 1.1 GB 的 RAM 内证明一个 MNIST 大小的模型。迄今为止,EZKL 已经得到了一些显着的早期采用,被用作各种黑客马拉松项目的基础设施。

Cathie So 的 circomlib-ml 库包含了用于 Circom 的各种 ML 电路模板。电路包括一些最常见的 ML 函数。由 Cathie 开发的 Keras 2c ircom 是一个 Python 工具,使用底层的 circomlib-ml 库将 Keras 模型转换为 Circom 电路。

LinearA 开发了两个用于 zkML 的框架:Tachikoma 和 Uchikoma。Tachikoma 用于将神经网络转换为仅使用整数的形式并生成计算轨迹。Uchikoma 是一个工具,将 TVM 的中间表示转换为不支持浮点运算的编程语言。LinearA 计划支持使用域算术的 Circom 和使用有符号和无符号整数算术的 Solidity。

动态 | 2019年7月国内一级市场区块链融资10强发布 区块链行业的发展不断向产业端深入:据中国金融信息网报道,8月8日,中国金融信息网与烯牛数据联合发布2019年7月份国内一级市场区块链项目融资10强榜单。从榜单来看,在整体融资大幅下滑的趋势下,2019年7月份国内区块链项目融资数量出现回升。监测数据显示,数字货币和交易平台类融资项目明显增多,天秤币白皮书的发布在一定程度上提振了市场预期,但是此类项目将面临与天秤币的直接竞争,其商业逻辑未来或将受到天秤币严酷打压。与实体经济结合的项目依然占据着榜单的主流,分别涉及金融、大数据、交通运输、电商、传媒、产权、房地产和游戏领域。从连续发布的榜单来看,区块链行业的发展不断向产业端深入,应用端的开发落地越来越具体,与实体经济结合发展的想象空间逐渐立体化。从技术角度来看,加密、数据库、共识、P2P和智能合约的发展日益成熟,区块链作为集成性创新技术的发挥边界正在逐步拓展。[2019/8/8]

Daniel Kang 的 zkml 是一个基于他在《Scaling up Trustless DNN Inference with Zero-Knowledge Proofs》论文中的工作构建的 ML 模型执行证明的框架。在撰写本文时,它能够在约 5 GB 的内存和约 16 秒的运行时间内证明一个 MNIST 电路。

在更广义的模型到证明编译器方面,有 Nil Foundation 和 Risc Zero。Nil Foundation 的 zkLLVM 是一个基于 LLVM 的电路编译器,能够验证用流行编程语言(如 C++、Rust 和 JavaScript/TypeScript 等)编写的计算模型。与这里提到的其他模型到证明编译器相比,它是通用的基础设施,但仍适用于复杂的计算,如 zkML。当与他们的证明市场结合使用时,这可能尤为强大。

Risc Zero 构建了一个通用的 zkVM,针对开源的 RISC-V 指令集,因此支持现有成熟的语言,如 C++和 Rust,以及 LLVM 工具链。这允许在主机和客户 zkVM 代码之间实现无缝集成,类似于 Nvidia 的 CUDA C++工具链,但是使用 ZKP 引擎代替 GPU。与 Nil 类似,使用 Risc Zero 可以验证 ML 模型的计算轨迹。

证明系统的改进是使 zkML 取得成果的主要推动力,特别是自定义门和查找表的引入。这主要是由于 ML 对非线性的依赖。简而言之,非线性是通过激活函数(例如 ReLU、sigmoid 和 tanh)引入的,这些激活函数应用于神经网络中线性变换的输出。由于数学运算门的限制,这些非线性在 zk 电路中实现起来具有挑战性。按位分解和查找表可以通过将非线性的可能结果预先计算到查找表中来帮助解决这个问题,有趣的是,这在 zk 中的计算效率更高。

安永与Coinbase达成长期深入合作,前者为后者IPO提供全方位辅导:据悉,全球四大会计师事务所之一的安永于近期与全球知名的数字货币交易所和钱包服务提供商Coinbase达成长期深入合作,安永将组建包括审计部门、咨询部门、并购部门和税务部门的跨条线的Fintech专家团队为Coinbase提供第三方鉴证审计,同时为Coinbase的IPO提供全方位的辅导。[2018/3/27]

出于这个原因,Plonkish 证明系统往往是 zkML 最受欢迎的后端。Halo 2 和 Plonky 2 及其表式算术方案可以通过查找参数很好地处理神经网络非线性。此外,前者拥有充满活力的开发人员工具生态系统和灵活性,使其成为包括 EZKL 在内的许多项目的实际后端。

其他证明系统也有其优势。基于 R 1 CS 的证明系统包括 Groth 16 ,因其小型证明尺寸而闻名,以及 Gemini,因其处理极大电路和线性时间验证器而闻名。基于 STARK 的系统,例如 Winterfell 证明器/验证器库,尤其在通过 Giza 的工具将 Cairo 程序的追踪作为输入,并使用 Winterfell 生成 STARK 证明来验证输出的正确性时,非常有用。

在设计能够处理先进的机器学习模型的复杂、电路不友好的操作的高效证明系统方面已经取得了一些进展。基于 GKR 证明系统的 zkCNN 和基于组合技术的 Zator 等系统往往比通用证明系统更具性能,这一点在 Modulus Labs 的基准测试报告中有所体现。

zkCNN 是一种使用零知识证明来证明卷积神经网络正确性的方法。它使用 sumcheck 协议来证明快速傅里叶变换和卷积,具有线性的证明时间,比渐近计算结果更快。已经引入了几个改进和泛化的交互证明,包括验证卷积层、ReLU 激活函数和最大池化。根据 Modulus Labs 的基准测试报告,zkCNN 特别有趣的地方在于它在证明生成速度和 RAM 消耗方面优于其他通用证明系统。

Zator 是一个旨在探索使用递归 SNARK 来验证深度神经网络的项目。验证更深层次模型的当前限制是将整个计算轨迹适应单个电路中。Zator 提出使用递归 SNARK 逐层进行验证,可以逐步验证 N 步重复计算。他们使用 Nova 将 N 个计算实例减少为一个可以通过单个步骤进行验证的实例。采用这种方法,Zator 能够对具有 512 层的网络进行 SNARK,这与大多数当前的生产 AI 模型一样深。Zator 的证明生成和验证时间仍然对于主流应用案例来说过长,但他们的组合技术仍然是非常有趣的。

鉴于 zkML 处于早期阶段,其关注点主要集中在上述基础设施上。然而,目前也有一些项目致力于应用开发。

Modulus Labs 是 zkML 领域中最多样化的项目之一,他们既开展示例应用,也从事相关研究。在应用方面,Modulus Labs 通过 RockyBot(一个链上交易机器人)和 Leela vs. the World(一个人类与经过验证的链上 Leela 国际象棋引擎对战的棋盘游戏)展示了 zkML 的用例。该团队还进行了研究,编写了《智能的代价》,对不同模型规模下的各种证明系统的速度和效率进行了基准测试。

Worldcoin 正在尝试应用 zkML 来创建一个保护隐私的人类身份证明协议。Worldcoin 使用定制硬件处理高分辨率虹膜扫描,并将其插入到 Semaphore 实现中。然后可以使用该系统执行诸如成员资格证明和投票等有用操作。他们目前使用受信任的运行时环境和安全的安全区域来验证相机签名的虹膜扫描,但他们最终的目标是使用零知识证明来验证神经网络的正确推理,以提供加密级别的安全保证。

Giza 是一种协议,采用完全无信任的方法在链上部署 AI 模型。它使用包括 ONNX 格式表示机器学习模型、Giza Transpiler 用于将这些模型转换为 Cairo 程序格式、ONNX Cairo Runtime 用于以可验证和确定性的方式执行模型,以及 Giza Model 智能合约用于在链上部署和执行模型的技术堆栈。尽管 Giza 也可以归类为模型到证明编译器的类别,但他们作为一个 ML 模型市场的定位是目前最有趣的应用之一。

Gensyn 是一个分布式硬件供应网络,用于训练 ML 模型。具体而言,他们正在开发一个基于梯度下降的概率审计系统,并使用模型检查点来使分散式 GPU 网络能够为全尺度模型提供训练服务。尽管他们在这里的 zkML 应用非常特定于他们的用例——他们希望确保当一个节点下载和训练模型的一部分时,他们对模型更新的诚实性——但它展示了将 zk 和 ML 相结合的强大力量。

ZKaptcha 专注于 web3 中的 bot 问题,为智能合约提供验证码服务。他们目前的实施让最终用户通过完成验证码来生成人类工作的证明,验证码由他们的链上验证程序验证,并通过几行代码由智能合约访问。今天,他们主要只依赖于 zk,但他们打算在未来实现 zkML,类似于现有的 web2 验证码服务,分析鼠标移动等行为以确定用户是否是人类。

鉴于 zkML 市场还很早,许多应用程序已经在黑客马拉松级别进行了试验。项目包括 AI Coliseum,一个使用 ZK 证明来验证机器学习输出的链上 AI 竞赛,Hunter z Hunter,一个使用 EZKL 库来验证带有 halo 2 电路的图像分类模型输出的照片寻宝游戏,以及 zk Section 9 ,它 将 AI 图像生成模型转换为用于铸造和验证 AI 艺术的电路。

尽管在提高和优化方面取得了飞速的进展,但 zkML 领域仍然面临一些核心挑战。这些挑战涉及技术和实践等方面,包括:

以最小的精度损失进行量化

电路规模,特别是当网络由多个层组成时

矩阵乘法的高效证明

对抗攻击

量化是将浮点数表示为定点数的过程,大多数机器学习模型使用浮点数表示模型参数和激活函数,在处理 zk 电路的域算术时,需要使用定点数。量化对机器学习模型的准确性的影响取决于所使用的精度级别。一般来说,使用较低的精度(即较少的比特数)可能会导致准确性降低,因为这可能引入舍入和近似误差。然而,有几种技术可用于最小化量化对准确性的影响,例如在量化后对模型进行微调,以及使用量化感知训练等技术。此外,zkSummit 9 上的一项黑客马拉松项目 Zero Gravity 显示出,针对边缘设备开发的替代神经网络架构(例如无权重神经网络)可以用于避免电路中的量化问题。

除了量化之外,硬件是另一个关键挑战。一旦通过电路正确地表示了机器学习模型,由于 zk 的简洁性,验证其推理的证明将变得廉价且快速。这里的挑战不在于验证者,而在于证明者,因为随着模型规模的增长,RAM 消耗和证明生成时间会迅速增加。某些证明系统(例如使用 sumcheck 协议和分层算术电路的基于 GKR 的系统)或组合技术(例如将 Plonky 2 与 Groth 16 相结合,Plonky 2 在证明时间方面效率高但对于大型模型的高效证明大小较差,而 Groth 16 在复杂模型的复杂度上不会导致证明大小增长)更适合处理这些问题,但在 zkML 项目中管理权衡是一个核心挑战。

在对抗攻击方面,仍然有待努力。首先,如果一个无信任的协议或 DAO 选择实施一个模型,在训练阶段仍然存在对抗攻击的风险(例如训练模型以在看到特定输入时表现出特定行为,这可能被用来操纵后续的推理)。联邦学习技术和训练阶段的 zkML 可能是最小化这种攻击面的一种方式。

另一个核心挑战是当模型保护隐私时存在模型盗窃攻击的风险。虽然可以混淆模型的权重,但在给定足够的输入输出对的情况下,从理论上讲,仍然有可能反向推导出权重。这主要是对小规模模型的风险,但仍然存在风险。

尽管在将这些模型优化为在 zk 的限制条件下运行时存在一些挑战,但改进工作正在以指数速度进行,一些人预计在进一步的硬件加速下,我们很快就能与更广泛的机器学习领域达到同等水平。为了强调这些改进的速度,zkML 从0x PARC 在 2021 年展示了如何在可验证电路中执行小规模 MNIST 图像分类模型的演示,到 Daniel Kang 在不到一年后为 ImageNet 规模的模型做同样的工作的论文。在 2022 年 4 月,这个 ImageNet 规模的模型的准确性从 79% 提高到 92% ,并且像 GPT-2 这样的大型模型在近期内有望成为可能,尽管目前的证明时间较长。

我们认为 zkML 是一个丰富而不断发展的生态系统,旨在扩展区块链和智能合约的能力,使其更加灵活、适应性强和智能化。

尽管 zkML 仍处于早期开发阶段,但它已经开始显示出有希望的结果。随着技术的发展和成熟,我们可以期待在链上看到更多创新的 zkML 用例。

DAOrayaki

个人专栏

阅读更多

金色早8点

Odaily星球日报

金色财经

Block unicorn

曼昆区块链法律

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

地球链

加密货币PEN:Pendle War 将如何展开?

1、Pendle现状Pendle Finance是部署在Ethereum和Arbitrum上的收益策略协议,在2022年底上线v2版本并更改经济模型,随后支持LST资产并上线Arbitrum.

USDCAMO:钻石代理合约最佳安全实践

代理合约是智能合约开发者的重要工具。如今,合约系统里已有多种代理模式和对应的使用规则。我们之前已经概述了可升级的代理合约安全最佳实践.

[0:0ms0-1:404ms