DAO:DAOrayaki：ZK-ML解决大规模数据模型隐私、可验证及安全的用例_Make Cities Great Again

在过去的一年中，zk-SNARK的进展超出了预期。尽管普遍共识认为这些创新还需要数年时间，但应用程序，如ZK-EVM，正在出现。zk-SNARK的增强功能已使得探索区块链的新用例成为可能，尤其是，我们正在密切关注使用zk-SNARK解决由机器学习和人工智能增加使用带来的许多紧迫问题的研究。

随着机器学习的普及，它正在广泛应用于各种应用程序中。然而，其预测的可信度以及对不透明数据源的依赖性成为了一个主要问题。复制声称具有高准确度的模型的能力很难，而在实际产品中预测的一致性和正确性也没有保证。

本文旨在简要介绍为什么对基于zk-SNARK的机器学习系统产生了浓厚的兴趣，并讨论了该技术的一些潜在应用。

链游社区ParagonsDAO完成2500万美元融资，Paradigm等参投:12月6日消息，链游社区ParagonsDAO宣布已完成2500万美元融资，90多个基金、DAO和天使投资人参投，包括Paradigm、Framework Ventures、Folius Ventures、CMS Holding等风投机构以及Defi Dad、Santiago R Santos（Synthetix顾问）、Jordan Momtazi、Eden Au（The Block）等天使投资人。新资金将用于支持生态发展。[2021/12/6 12:53:15]

为什么需要ZK-ML？

使用监督式机器学习时，输入被提供给已经用特定参数训练过的模型。然后该模型产生可被其他系统使用的输出。由于轻量级的机器学习框架和ONNX等格式，现在可以在边缘设备上运行这些推理，例如手机或物联网设备，而不是将输入数据发送到集中式服务器。这提高了用户的可扩展性和隐私性。

分析 | 有安全隐患的MakerDAO旧治理合约还有140万美元资产待转移:据PeckShield态势感知平台数据显示，北京时间 05月07日 凌晨00:25 MakerDAO被曝治理合约中存在安全漏洞，截至到05月08日下午2:00，已经有128个用户按照建议转移MKR资产到他们的个人钱包，不过还有32个持有大于1MKR的用户还未转移。按照当天价格，待转移的余额资产价值大约140万美元。PeckShield安全人员进一步分析认为，质押在旧的MakerDAO治理合约中的MKR代币不安全，存在被锁死的可能，PeckShield目前全面布控可能的攻击监控预警，并和MakerDAO等相关公司随时同步进展详情。同时再次提醒，对尚未转移MKR代币的用户应立即转移资产，避免造成不必要的损失。[2019/5/8]

然而，需要注意的是，通常会将机器学习模型的输入和参数都保持私密并隐藏在公众视野之外。这是因为输入数据可能包含敏感信息，例如个人金融或生物识别数据，而模型参数也可能包含敏感信息，例如生物识别验证参数。

动态 | MakerDAO首席技术官离职 发表公开信指出公司内部矛盾:据Cointelegraph消息，MakerDAO首席技术官Andy Milenius于4月28日向该媒体证实，他不再是MakerDAO的首席技术官。此前，Andy Milenius在4月3日发表了一封公开信，解释了他对该项目内部冲突的担忧。在长达24页的信中，Milenius描述了他的平等工作空间和民主化的理念与其同事对传统企业效率的渴望之间的冲突。该文件指责该公司首席执行官Rune Christensen试图控制DAO，导致该项目的核心开发人员变得无法协作。[2019/4/29]

另一方面，使用ML模型的输出的下游系统，例如链上智能合约，需要能够验证输入是否正确处理以产生声称的输出。

金色财经现场报道 MakerDao王奇君：区块链没有天花板和性别问题:金色财经6月3日现场报道，在今天的以太坊技术及应用大会“探索-以太坊与行业生态”圆桌讨论上，MakerDao王奇君说，区块链增强了人们的社区感。它是个扁平架构，每个人是团队中的士兵 ，从团队中获益和面对风险，获得代币。你希望贡献多的人作为领导者，因为他们冒的风险更多。这里没有天花板和性别问题，只要你做出了贡献、只要你努力让这个项目变得更好，你自己也做得更好而不断和其他人共同协作。有很多人都非常努力的参与到不同的项目中去，或者组织不同的活动，或者资助这些项目，所以我非常喜欢这种社群感。[2018/6/3]

机器学习和zkSNARK协议的结合提供了一种新的解决方案，解决了这些看似矛盾的要求。

ZK-ML用例

有许多论文讨论了我们可以如何使用zk-SNARKs来改善我们未来的机器学习。ZK-ML社区提供了一个非常有用的决策树，让我们考虑这种技术的各种用例。

这个决策树基于两个标准的交集：需要隐私和计算完整性，以及使用机器学习解决的启发式优化问题。换句话说，决策树用于确定是否适合使用涉及ZKML的用例，在这些用例中，隐私和计算完整性很重要，并且使用机器学习技术解决启发式优化问题，

以下是zk如何用于ML模型创新的一些方式：

隐私保护机器学习

zk-SNARK可用于在不向模型的创建者或用户公开私有数据的情况下对机器学习模型进行训练。这允许开发可以在敏感或受监管的行业中使用的模型，而不会损害使用个人数据的个人隐私。

可验证机器学习

zk-SNARK可用于证明机器学习模型是在特定数据集上进行训练的，或者特定模型用于进行预测，而不会透露训练数据或模型的详细信息。这可以增加对机器学习模型结果的信任，这在信用评分或医学诊断等应用中非常重要。

安全机器学习

zk-SNARK可用于通过确保模型未被篡改或替换为不同的模型来保护机器学习模型的完整性。这在模型部署在不受信任的环境中的应用中非常有用。

ZKonduit可能的应用

像ZKonduit这样的项目正在将ZK-ML视为赋予区块链眼睛、让智能合约行使判断力、单人预言机以及通常以可扩展的方式在链上获取数据的关键。使用ZK-ML预言者提供了一种更简单、更快速、更高效的方式，将链下数据传输到区块链上，大大增加了将数据带到链上的潜力。ZK-ML可以使“智能法官”解释模糊事件。这可能为Web3带来不可想象的新用例，但以下仅是最近讨论过的一些用例：

ZKKYC

能够证明一个人的身份与相应的身份证匹配，并且该身份证号码不在制裁名单上。虽然这项技术是可用的，但监管机构可能不会接受它，因为它们目前要求银行“了解”其客户，而不仅仅是验证他们不在制裁名单上。这是监管机构的一个新领域，必须采取措施防止不受欢迎的参与者使用去中心化项目。

防欺诈检查

智能合约或抽象账户添加了一个ZK-ML欺诈垃圾邮件检查，用于检测异常行为。这意味着可以通过分析活动模式并将其与已知的欺诈或垃圾邮件活动模式进行比较，使用零知识机器学习技术来检测和防止欺诈或垃圾邮件行为。这可以通过检测和防止恶意活动来帮助确保系统的安全性和完整性。

使DAO自治

Zk-SNARKs技术允许以保护输入数据隐私的方式执行复杂计算，适用于需要保护敏感信息的情况。可以将机器学习算法集成到该技术中，以实现更先进的决策制定、评估和更高效、准确的通信系统。这些能力对未来的DAO内部动态可能至关重要。

结论

将零知识证明集成到人工智能系统中，可以为用户和使用这些系统的公司提供新的安全和隐私保护级别。通过使人工智能能够证明其决策的有效性，而不揭示底层数据或算法，零知识证明可以帮助缓解数据泄露和恶意攻击的风险。此外，它们还可以通过提供透明和可验证的方式来证明其公平性和准确性，从而有助于建立人工智能系统的信任。

随着人工智能领域的不断发展和扩大，零知识证明的应用将越来越重要，以确保这些强大技术的安全和负责任的部署。

标签：DAOARKNARMAKEsdao币挖矿ARKS价格NarudoMake Cities Great Again

火币APP下载热门资讯