在过去的一年中，zk-SNARK的进展超出了预期。尽管普遍共识认为这些创新还需要数年时间，但应用程序，如ZK-EVM，正在出现。zk-SNARK的增强功能已使得探索区块链的新用例成为可能，尤其是，我们正在密切关注使用zk-SNARK解决由机器学习和人工智能增加使用带来的许多紧迫问题的研究。
随着机器学习的普及，它正在广泛应用于各种应用程序中。然而，其预测的可信度以及对不透明数据源的依赖性成为了一个主要问题。复制声称具有高准确度的模型的能力很难，而在实际产品中预测的一致性和正确性也没有保证。
本文旨在简要介绍为什么对基于zk-SNARK的机器学习（ZK-ML）系统产生了浓厚的兴趣，并讨论了该技术的一些潜在应用。
欧易OKX通过zk-STARK技术升级POR系统:据公告显示，欧易OKX正式升级储备金证明POR系统，成为行业内首个将zk-STARK (零知识可扩展的透明知识论证)加密证明技术用在储备金证明系统的交易平台，并同步将系统开源。该技术由V神的理论发展而来，旨在通过区块链确保计算的完整性和隐私。OKX在其中加入了余额总和约束、非负约束、包含性约束3项条件，以保证证明平台持有的用户资产数据的准确有效，持续引领行业透明度的标准。
同时，欧易OKX今日正式发布第六次储备金证明（PoR），BTC、ETH、USDT储备金率均超过100%，分别为103%、103%、103%，总计价值达104亿美元，自 2023 年 1 月以来增长了 39%。除原有的BTC、ETH、USDT外，欧易OKX将公示币种数量从3个增至21个，新增USDC、XRP、DOGE、SOL、OKB、APT、DASH、DOT、ELF、EOS、ETC、FIL、LINK、OKT、PEOPLE、TON、TRX、UNI，21个币种的储备金率均超过100%。[2023/4/28 14:33:21]
使用监督式机器学习时，输入被提供给已经用特定参数训练过的模型。然后该模型产生可被其他系统使用的输出。由于轻量级的机器学习框架和ONNX等格式，现在可以在边缘设备上运行这些推理，例如手机或物联网设备，而不是将输入数据发送到集中式服务器。这提高了用户的可扩展性和隐私性。
非营利组织人权基金会和Starkware宣布推出一个为期4个月的ZK-Rollup赞助研究项目:3月25日消息，非营利组织人权基金会（HRF）和Starkware宣布推出一个为期4个月的ZK-Rollup赞助研究项目，研究员将获得1BTC以支持他们的研究和写作输出，赞助部分来自Starkware，另一部分来自CMSHoldings最近对HRF的捐赠。研究将包含6个方面的问题。[2022/3/25 14:16:57]
然而，需要注意的是，通常会将机器学习模型的输入和参数都保持私密并隐藏在公众视野之外。这是因为输入数据可能包含敏感信息，例如个人金融或生物识别数据，而模型参数也可能包含敏感信息，例如生物识别验证参数。
另一方面，使用ML模型的输出的下游系统，例如链上智能合约，需要能够验证输入是否正确处理以产生声称的输出。
Cardano推出首个ZK-Rollups扩容解决方案Orbis:2月25日消息，Cardano（ADA）推出首个 ZK-Rollup Layer 2 解决方案 Orbis，旨在通过提升可扩展性和交易吞吐量支持 DeFi 应用程序和区块链生态系统，交易会在 Orbis Layer 2 链下执行并形成一个零知识证明，然后提交给 Cardano Layer 1。
Orbis 有两个主要组件：证明者（Prover）和验证者（Verifier），前者目的是构建 zkSNARK 证明来验证交易的发生，后者是一个链上智能合约，接受链上资产输入，将它们锁定在合约中，以便它们可以在 Rollup 中使用并确保不会出现双花风险。据了解，Orbis 团队已经在 Project Catalyst 的 Ideascale 平台上发布了资金申请，希望申请 100 万美元资金来支持开发和上线工作。[2022/2/25 10:16:05]
机器学习和zkSNARK协议的结合提供了一种新的解决方案，解决了这些看似矛盾的要求。
Suterusu CTO：Suterusu在ZK-ConSNARK上的突破性进展将为DeFi生态提供隐私保护:12月21日晚，在由Gate.io主办的直播专访节目《酒局币赴》中，Suterusu CTO林煌介绍，Suterusu项目在ZK-ConSNARK上取得了新的突破性进展，他与国际顶尖密码学专家合著并提交了一篇范围证明方案的学术论文，该设计基于有界整数承诺来设计透明设置的范围证明方案。此外，Suterusu的协议和Suter Shield开发上都有新发展，这两个项目的开发都已初步完成。Suterusu还实现了和波场（Tron）网络嫁接的Suter Bridge，这意味着Suterusu针对智能合约平台的隐私交易功能可以同时转移到波场网络上。另外，Suterusu在方案设计方面也考虑了反等要求，采用了一些比较先进的技术如recursive blacklist等。林煌表示，Suterusu的产品进展已经初步实现了Suterusu作为DeFi协议隐私插槽的阶段性目标，将为整个DeFi生态提供隐私保护。[2020/12/22 16:01:50]
有许多论文讨论了我们可以如何使用zk-SNARKs来改善我们未来的机器学习。ZK-ML社区提供了一个非常有用的决策树，让我们考虑这种技术的各种用例。
这个决策树基于两个标准的交集：需要隐私和计算完整性，以及使用机器学习解决的启发式优化问题。换句话说，决策树用于确定是否适合使用涉及ZKML的用例，在这些用例中，隐私和计算完整性很重要，并且使用机器学习技术解决启发式优化问题，
以下是 zk 如何用于 ML 模型创新的一些方式：
zk-SNARK 可用于在不向模型的创建者或用户公开私有数据的情况下对机器学习模型进行训练。这允许开发可以在敏感或受监管的行业（如医疗保健或金融）中使用的模型，而不会损害使用个人数据的个人隐私。
zk-SNARK 可用于证明机器学习模型是在特定数据集上进行训练的，或者特定模型用于进行预测，而不会透露训练数据或模型的详细信息。这可以增加对机器学习模型结果的信任，这在信用评分或医学诊断等应用中非常重要。
zk-SNARK 可用于通过确保模型未被篡改或替换为不同的模型来保护机器学习模型的完整性。这在模型部署在不受信任的环境（如边缘设备或公共云）中的应用中非常有用。
像 ZKonduit 这样的项目正在将 ZK-ML 视为赋予区块链眼睛、让智能合约行使判断力、单人预言机以及通常以可扩展的方式在链上获取数据的关键。使用ZK-ML预言者提供了一种更简单、更快速、更高效的方式，将链下数据传输到区块链上，大大增加了将数据带到链上的潜力。ZK-ML可以使“智能法官”解释模糊事件。这可能为Web3带来不可想象的新用例，但以下仅是最近讨论过的一些用例：
能够证明一个人的身份与相应的身份证匹配，并且该身份证号码不在制裁名单上。虽然这项技术是可用的，但监管机构可能不会接受它，因为它们目前要求银行“了解”其客户，而不仅仅是验证他们不在制裁名单上。这是监管机构的一个新领域，必须采取措施防止不受欢迎的参与者使用去中心化项目。
智能合约或抽象账户添加了一个ZK-ML欺诈垃圾邮件检查，用于检测异常行为。这意味着可以通过分析活动模式并将其与已知的欺诈或垃圾邮件活动模式进行比较，使用零知识机器学习技术来检测和防止欺诈或垃圾邮件行为。这可以通过检测和防止恶意活动来帮助确保系统的安全性和完整性。
Zk-SNARKs技术允许以保护输入数据隐私的方式执行复杂计算，适用于需要保护敏感信息的情况。可以将机器学习算法集成到该技术中，以实现更先进的决策制定、评估和更高效、准确的通信系统。这些能力对未来的DAO内部动态可能至关重要。
将零知识证明集成到人工智能系统中，可以为用户和使用这些系统的公司提供新的安全和隐私保护级别。通过使人工智能能够证明其决策的有效性，而不揭示底层数据或算法，零知识证明可以帮助缓解数据泄露和恶意攻击的风险。此外，它们还可以通过提供透明和可验证的方式来证明其公平性和准确性，从而有助于建立人工智能系统的信任。
随着人工智能领域的不断发展和扩大，零知识证明的应用将越来越重要，以确保这些强大技术的安全和负责任的部署。
金色荐读
金色财经 善欧巴
Chainlink预言机
白话区块链
金色早8点
Odaily星球日报
欧科云链
深潮TechFlow
MarsBit
Arcane Labs
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。