月亮链 月亮链
Ctrl+D收藏月亮链
首页 > 火币下载 > 正文

Worldcoin:零知识机器学习 (ZKML):ZK与AI将会碰撞出怎样的火花?_Worldcoin币是什么币

作者:

时间:1900/1/1 0:00:00

Zero-Knowledge机器学习是最近正在密码学界引起轰动的一个研究和开发领域。但它是什么,有什么用处呢?首先,让我们把这个术语分解成它的两个组成部分,并解释一下它们是什么。

什么是ZK?

零知识证明是一种密码协议,其中一方可以向另一方证明一个给定的陈述是真实的,而不泄露除该陈述为真以外的任何附加信息。这是一个正在各个方面取得巨大进展的研究领域,涵盖了从研究到协议实施和应用的所有方面。

ZK提供的两个主要「原语」是能够为一组给定的计算创建具有计算完整性证明的能力,其中证明比执行计算本身要容易地多。。ZK证明也提供了隐藏计算中某些部分同时保持计算正确性的选项。。

生成零知识证明需要非常大的计算量,大约比原始计算贵100倍。这意味着,在某些情况下由于最佳硬件上生成它们所需的时间使其不切实际,因此不能计算零知识证明。

然而,在近年来密码学、硬件和分布式系统领域的进步已经使零知识证明成为了越来越强大的计算可行的选择。这些进展已经为可以使用计算密集型证明的协议的创建提供了可能,从而扩大了新应用程序的设计空间。

ZK使用案例

LayerZero Labs 与 Polyhedra Network 合作推出基于零知识证明的轻客户端:5月31日消息,LayerZero Labs 宣布与 Polyhedra Network 达成战略合作,共同推出基于零知识证明技术的轻客户端,使得 LayerZero 的开发者只需要更新一个参数配置就可以使用 Polyhedra Network 开发的零知识证明协议。[2023/6/1 11:51:12]

零知识密码学是Web3空间中最流行的技术之一,因为它允许开发人员构建可扩展和/或私有的应用程序。以下是一些实践中如何使用它的示例:

1.通过ZKrollups扩展以太坊

Starknet

Scroll

PolygonZero,PolygonMiden,PolygonzkEVM

zkSync

2.构建保护隐私的应用程序

Semaphore

MACI

Penumbra

AztecNetwork

加密卫星公司Cryptosat和DoraHacks在国际空间站完成零知识证明实验:1月12日消息,加密卫星开发商 Cryptosat 和全球黑客马拉松组织者 DoraHacks 合作,在国际空间站 (ISS) 上进行了第一个在太空中发射零知识 (ZK) 证明系统的成功实验。DoraHacks 和 Cryptosat 表示,在国际空间站上进行的实验证明了基于卫星的计算环境能够执行使用 ZK 证明协议所需的部分可信设置过程。 Cryptosat 称,ZK 证明实验的成功是证明空间计算环境有效性的重要一步,Cryptosat 正在寻求将一组立方体卫星送入轨道并建立其卫星群。[2023/1/13 11:09:04]

3.身份原语和数据来源

WorldID

Sismo

Clique

Axiom

4.第一层协议

Zcash

Mina

随着ZK技术的成熟,我们相信将会出现新的应用程序的爆发,因为构建这些应用程序所使用的工具将需要更少的领域专业知识,对于开发人员来说将会更加容易使用。

a16z:零知识证明保护去中心化和隐私,将取得一系列进展:4月15日消息,a16z发文《去中心化的速度:零知识证明的进步》表示,随着区块链吸引了数以百万计的用户,并且它们所承载的应用程序的复杂性不断提高,围绕隐私和可扩展性的两个关键需求已经出现。需要识别的一个关键趋势是,虽然正在为其中许多应用开发专用硬件,但也有一项运动正在优化消费者级硬件的算法,以保护去中心化和隐私。这一趋势的一个特别好的例子是零知识证明。

我们目前正处于一个非常早期的时刻,零知识证明计划将取得一系列进展。我们已经从零知识领域中极少数面向消费者的应用程序,发展到在很短的时间内为隐私和可扩展性提供应用程序和区块链的整个生态系统。像这样的新技术最令人兴奋的一点是,很难预测另一面到底是什么样子。[2022/4/15 14:27:35]

机器学习

机器学习是人工智能领域的一个研究方向,使得计算机可以自动从经验中学习和改进,无需明确地进行编程。它利用算法和统计模型来分析和识别数据中的模式,然后基于这些模式进行预测或决策。机器学习的最终目标是开发出能够自适应学习、不需要人类干预以及在医疗保健、金融和交通等各个领域解决复杂问题的智能系统。

动态 | paydex(V支付)引入加密机制零知识证明:据官方消息,paydex(v支付)的技术生态与智能设备的已经逐步成熟,为了对参与的用户提供更加安全的资产保护,引入了加密机制零知识证明,为用户提供便捷与安全。[2020/2/26]

最近,您可能已经看到了大型语言模型以及文本到图像的模型的进展。随着这些模型变得越来越好,并且能够执行更广泛的任务,了解是哪个模型执行了这些操作就变得非常重要,还是操作由人类执行。在接下来的部分中,我们将探讨这个思路。

ZKML的动机和当前努力

我们生活在一个世界上,AI/ML生成的内容越来越难以与人类生成的内容区分开来。零知识密码学将使我们能够做出这样的声明:「给定一段内容C,它是由模型M应用于一些输入X生成的。」我们将能够验证某个输出是否是由大型语言模型或文本到图像模型等任何其他我们为其创建了零知识电路表示的模型所生成的。这些证明的零知识属性将使我们能够根据需要也隐藏输入或模型的某些部分。一个很好的例子是在一些敏感数据上应用机器学习模型,在不透露输入到第三方的情况下,用户可以知道他们的数据在模型推理后的结果。

注:当我们谈论ZKML时,我们是指创建ML模型推理步骤的零知识证明,而不是关于ML模型训练。目前,现有技术水平的零知识系统加上高性能硬件仍然相差几个数量级,无法证明当前可用的大型语言模型等庞大的模型,但是在创建较小模型的证明方面已经取得了一些进展。

动态 | 0x 协议推出基于零知识证明技术的 StarkDEX 测试版,每秒可处理逾 550 笔交易:去中心化交易协议 0x 宣布推出去中心化交易基础设施 StarkDEX,并提供了 Alpha 测试版供模拟交易。StarkDEX 由 0x 与零知识证明技术开发公司 StarkWare 合作开发,目的是使用 STARKs 技术突破非监管交易的无形限制,使加密货币交易所为用户提供大规模而无对手风险的交易。0x 表示目前 StarkDEX 每区块最多可批量处理 8000 笔交易,每秒可处理逾 550 笔交易,手续费成本则降低 200 倍。[2019/6/4]

我们对零知识密码学在为ML模型创建证明的上下文中的现有技术水平进行了一些研究,并创建了一个聚合相关研究、文章、应用程序和代码库的文章集。ZKML的资源可以在GitHub上的ZKML社区的awesome-zkml存储库中找到。

ModulusLabs团队最近发布了一篇名为「智能的成本」的论文,其中对现有的ZK证明系统进行了基准测试,并列举了不同大小的多个模型。目前,使用像plonky2这样的证明系统,在强大的AWS机器上运行50秒左右,可以为约1800万个参数的模型创建证明。以下是该论文中的一张图表:

另一个旨在改进ZKML系统技术水平的倡议是Zkonduit的ezkl库,它允许您创建对使用ONNX导出的ML模型的ZK证明。这使得任何ML工程师都能够为他们的模型的推理步骤创建ZK证明,并向任何正确实现的验证器证明输出。

有几个团队正在改进ZK技术,为ZK证明内部发生的操作创建优化硬件,并针对特定用例构建这些协议的优化实现。随着技术的成熟,更大的模型将在较不强大的机器上短时间内进行ZK证明。我们希望这些进展将使新的ZKML应用程序和用例得以出现。

潜在的使用案例

为了确定ZKML是否适用于特定的应用,我们可以考虑ZK密码学的特性将如何解决与机器学习相关的问题。这可以用一个Venn图来说明:

定义:

1.Heuristicoptimization—一种问题解决方法,它使用经验法则或「启发式」来找到艰难的问题的好解决方案,而不是使用传统的优化方法。启发式优化方法旨在在相对的重要性和优化难度下,在合理的时间内找到好的或「足够好」的解决方案,而不是尝试找到最优解决方案。

2.FHEML—完全同态加密ML允许开发人员以保护隐私的方式训练和评估模型;然而,与ZK证明不同,没有办法通过密码学方式证明所执行的计算的正确性。

像Zama.ai这样的团队正在从事这个领域的工作。

3.ZKvsValidity—在行业中,这些术语通常被互换使用,因为有效性证明是ZK证明,不会隐藏计算或其结果的某些部分。在ZKML的上下文中,大多数当前的应用程序都利用了ZK证明的有效性证明方面。

4.ValidityML—ZK证明ML模型,在其中没有计算或结果被保密。它们证明计算的正确性。

以下是一些潜在的ZKML用例示例:

1.计算完整性

ModulusLabs

基于链上可验证的ML交易机器人-RockyBot

自我改进视觉区块链:

增强Lyra金融期权协议AMM的智能特性

为Astraly创建透明的基于AI的声誉系统

使用MLforAztecProtocol致力于合同级合规工具所需的技术突破。

2.机器学习即服务(MLaaS)透明;

3.ZK异常/欺诈检测:

这种应用场景使得可创建针对可利用性/欺诈的ZK证明成为可能。异常检测模型可以在智能合约数据上进行训练,并由DAOs同意作为有趣的度量标准,以便能够自动化安全程序,如更主动、预防性地暂停合约。已有初创企业正在研究在智能合约环境中使用ML模型进行安全目的的方法,因此ZK异常检测证明似乎是自然的下一步。

4.ML推理的通用有效性证明:能够轻松证明和验证输出是给定模型和输入对的乘积。

5.隐私(ZKML)

6.去中心化的Kaggle:证明模型在某些测试数据上的准确率大于x%,而不会显示权重。

7.隐私保护推理:将对私人患者数据的医疗诊断输入模型,并将敏感的推理发送给患者。

8.Worldcoin:

IrisCode的可升级性:WorldID用户将能够在他们的移动设备的加密存储中自我保管其生物特征,下载用于生成IrisCode的ML模型并在本地创建零知识证明,以证明其IrisCode已成功创建。这个IrisCode可以被无需许可地插入注册的Worldcoin用户之一,因为接收的智能合约可以验证零知识证明,从而验证IrisCode的创建。这意味着,如果Worldcoin将来升级机器学习模型以一种破坏与其之前版本兼容性的方式创建IrisCode,用户就不必再次去Orb,而可以在设备上本地创建这个零知识证明。

Orb安全性:目前,Orb在其受信任的环境中执行几个欺诈和篡改检测机制。然而,我们可以创建一个零知识证明,表明这些机制在拍摄图像和生成IrisCode时是活动的,以便为Worldcoin协议提供更好的活体保证,因为我们可以完全确定这些机制在整个IrisCode生成过程中都将运行。

总之,ZKML技术有着广泛的应用前景,并且正在快速发展。随着越来越多的团队和个人加入到这个领域,我们相信ZKML的应用场景将会更加多样化和广泛化。

标签:WorldcoinPolygonValidityWorldcoin币是什么币Polygon币是什么币Validity币是什么币

火币下载热门资讯
Uniswap:Messari:2023年DeFi十大趋势_ETH

Messari近日发布了年度报告CryptoThesis2023,长达168页,其中第7章是关于DeFi的2023年10大趋势.

1900/1/1 0:00:00
NFT:全面了解链上身份之Web3社交及相关项目_Publica币是什么币

本文将重点关注Web3社交及其运作原理。让我们开始吧。社交是链上身份最令人兴奋的类别之一,因为此类拥有非常活跃的活动,而且对大多数人来说此类的用例是实实在在看得见的.

1900/1/1 0:00:00
NFT:一览以太坊旧金山黑客松获奖项目_DAONFT价格

11月7日,以太坊旧金山黑客松宣布13个获奖项目,分别为mundo、FuelScape、BB3-BEEP3R、DAOCensus、melovault、Org3、UNIC、ZKSection9、D.

1900/1/1 0:00:00
ETH:错过 BLUR 拍断腿 没必要_BAYETH钱包地址

我最近的一条推文似乎引起了NFT社区很大一部分人的共鸣。 这个想法是,即使我们在交易中赚了很多钱,但如果我们本可以赚更多,我们往往不会对客观上的优秀结果感到兴奋.

1900/1/1 0:00:00
比特币:2022加密行业全景展望:账本 比特币与区块链_区

2022:加密行业全景展望它来自哪里,这一切意味着什么,以及为什么它仍然很重要。 目录: 一:账本、比特币、区块链 a.数据库中的生命 b.如果你不喜欢它怎么办? c.数字现金 二:这是什么意思.

1900/1/1 0:00:00
NFT:耐克玩转Web3的秘诀都在这里了_RTF币BAY币

最近几年兴起的Web3技术给许多传统企业带来了新的启发,这其中不乏一些全球商业巨头。耐克公司作为当今年轻一代的文化偶像,自然不会错过尝新的机会.

1900/1/1 0:00:00