原文标题:《ZKPsinWeb3:NowandtheFuture》
原文作者:MohamedFouda、QiaoWang
原文编译:Frank,ForesightNews
作为一种足够通用的技术,ZK可以拥有多种用例,而我们正处于弄清楚该技术可以实现的所有用例的早期阶段。一些明显的ZK用例已经找到了真正的应用,例如实现交易隐私和数据压缩,然而要让ZK被主流采用,仍然需要发掘进一步的潜在用例和技术进步。
本文我们将首先回顾ZKP的不同应用,然后将讨论什么可以实现这项技术的下一阶段,以及一些可以从这项技术中受益的创业想法。
ZKP的应用地图
自发明以来,零知识证明已在加密行业站稳脚跟。
ZKP确实存在一些魔力,使这项技术非常令人兴奋——它允许实体向世界其他地方证明自己知道一条信息或已经正确完成了一项任务,但却无需透露该信息或显示该任务的详细执行信息。
ZK的数学魔力允许我们通过检查生成的ZKP来信任该知识或任务已执行完毕,出于这个原因,ZKP的第一个也是最一致的用例就是以隐私为中心的加密网络,ZKP还被用于提供以太坊L1上关于L2交易的有效性证明,以引入ZKRollup的概念,此外ZKP在不同的项目中也被广泛应用于其他小众应用程序。
注重隐私的支付和协议
ZKP自然而然地实现了隐私特性,特别是在去中心化网络中,人们缺乏可以充当真相来源的中心化权威——ZKP允许Web3用户向网络验证者证明他们的交易是有效的,即他们有足够的余额可以花费,而无需透露交易细节,例如交易金额、发送者或接收方地址。
ZKP最初是为了支持Zcash网络中的隐蔽支付而开发的,随后扩展到了其他网络,包括:
注重隐私的L1:Zcash、Horizon、Aleo和IronFish;
FilDA 宣布与 Glide Finance 达成深度战略合作:10月21日, FilDA 宣布与 Glide Finance 达成深度战略合作,双方将通过产品形态,在资产流动性、清算机制和技术互通层面展开深度合作,加强借贷及衍生品合作为用户提供更丰富的产品体验和更广阔的应用场景,并帮助用户获取更好的 DeFi收益。
FilDA 是部署在 HECO 网络的借贷项目,存借款总额高峰值突破21亿美元。Glide Finance 是一个基于 Elastos 生态系统构建的去中心化交易所(DEX)协议。[2021/10/22 20:48:11]
一般链上的隐私智能合约:TornadoCash;
注重隐私的L2:Aztec;
ZKRollups的验证
ZKP的另一个主要用例是在底层L1上生成Rollup有效性证明,通用Rollup通过不利用ZKP的隐私功能来优化吞吐量,即证明更多的交易,在这种权衡中,ZKP仅用来证明L2交易执行的正确性。
由于一些通用函数不能被有效地证明,因此生成ZKP来证明任意智能合约的正确执行是很困难的,解决这个问题需要实现专门的虚拟机,这些VM可以使用底层ZK电路有效地进行验证。由于这种复杂性,ZKRollup最初只支持支付或单个应用程序,例如可以很容易地生成ZKP的DEX。
这里的例子包括zkSync1.0和Loopring,之后通用的zkEVM实现开始出现在市场上,包括Starknet、zkSync2.0、PolygonzkEVM和Scroll。目前所有ZKRollup都在以太坊上,但其实也可以在包括比特币在内的其他链上实现ZKRollup。
然而,比特币Rollup的实施将需要更改比特币操作码并进行链的硬分叉,这通常不受比特币社区的欢迎。
其他ZKP应用
工信部等八部门:到2023年底物联网与区块链等技术深度融合应用取得产业化突破:金色财经报道,工业和信息化部、中央网络安全和信息化委员会办公室、科学技术部、生态环境部、住房和城乡建设部、农业农村部、国家卫生健康委员会、国家能源局等八部门联合印发《物联网新型基础设施建设三年行动计划(2021-2023年)》,根据行动目标显示,到2023年底,物联网与区块链等技术深度融合应用取得产业化突破;根据重点任务显示,面向“区块链+物联网”,建立感知终端的信用体系,保障数据确权和价值流通。[2021/9/30 17:16:33]
除了注重隐私的应用程序和Rollup之外,ZKP还在其他区块链协议中进行更广泛方面的应用。
Mina
Mina使用ZKP将区块链状态压缩成很小的规模,为了实现这一点,Mina使用递归ZKP,即其他ZKP的ZKP。
当在Mina网络中生成一个区块时,zk-SNARKs被用来生成该区块的证明,以确保其有效性;当新的区块引用以前的区块时,新区块的ZKP会验证所有以前的区块,同时保持恒定的大小。
Filecoin
Filecoin使用ZKP来确保存储提供商正确存储他们声称要存储的数据,此过程称为复制证明。
在此过程中,存储提供程序生成ZKP以证明它们正在存储数据的唯一副本,即非由其他存储提供程序维护的副本。ZKP为希望实现一定冗余和可用性水平的Filecoin用户提供了保证,此外由于证明的大小比存储的数据小得多,因此使用ZKP可以降低存储提供程序的带宽要求。
CeloPlumo
CeloPlumo使用ZKP来创建可在手机和其他资源有限的设备上使用的超轻量级网络客户端,尽管客户端具有轻量级性质,但它可以保证其访问状态的正确性。
DarkForest
DarkForest是ZKP在游戏领域最受欢迎的应用。尽管ZKP的使用符合隐私用例,但DarkForest在支付网络中的金融应用之外,将它用于创建一个不完全信息游戏的应用,所以这是一个与众不同的用例。
ZKP的发展轨迹及其应用
欧科云链OKLink同区块链数字资产交易平台QBTC达成深度战略合作:4月15日,欧科云链OKLink同区块链数字资产交易平台QBTC达成深度战略合作,用户在QBTC充提币时直接可以使用欧科云链OKLink区块链浏览器查询转账进度。双方将在生态建设及推广等方面展开更深层次的市场合作。
QBTC.INK(Q网)是一个数字货币交易平台,注册地位于开曼群岛,依托专业的技术开发团队和经验丰富的资产管理团队,致力于为用户提供安全高效的数字货币交易服务。
欧科云链OKLink区块链浏览器是由首家区块链大数据上市公司打造的信息服务应用,旨在呈现快速、精准、全面的链上数据,为用户提供专业化、个性化的数据分析服务。[2020/4/15]
2016年之前,ZKP作为一个研究课题,只在少数的学术圈子里讨论。当Zcash创始团队创建第一个ZKP变体以支持Zcash网络中的屏蔽/私有交易时,一切开始改变。
有了真正的用例,大家对ZKP的兴趣就越来越大,这进一步导致了更好的ZKP变体,从而成为第一章节中讨论的许多项目的基础,然而该技术需要进一步的ZKP开发才能被主流采用。
为了了解如何进一步改进技术,我们可以向人工智能等类似技术学习,因为在许多方面ZKP技术类似于AI技术,所以预计它也将遵循类似的轨迹。
与ZKP一样,AI最初是一项有前途的技术,可以解决许多问题。然而最初的AI算法在功能上受到限制,并且计算复杂性远远超过了可用硬件的能力,这使得AI应用进展缓慢且不切实际,从而主要被局限于研究实验室。
后续通过发明深度神经网络等新架构和利用GPU提高执行速度,AI持续实现逐步改进,最终导致了突破,例如2012年的AlexNet在最著名的计算机视觉竞赛ImageNet中以巨大的优势获胜。AlexNet是AI时代的开始,它导致了当前令人兴奋的AI应用程序,如GPT-3、Dall.E2和StableDiffusion。
今天的ZKP状态类似于早期的AI状态,这是一项有前途的技术,仍在积极开发中,并且因计算密集型特性而导致证明时间很长。从AI的进步轨迹中学习,我们可以确定ZKP技术起飞需要解决的瓶颈。
1.算法/电路改进
声音 | 解放军报:加快推进区块链军事应用,不断拓展其应用广度和深度:11月20日,解放军报刊文《军报关注:区块链如何影响现代军事》。文章表示,区块链由此所体现的技术特性,恰好可以满足军事领域的一些特定需求。区块链去中心化的特性契合抗毁生存的军事需求。区块链可追溯不可篡改的特性契合作战指挥强信任需求。区块链透明开放集体参与的特性契合信息安全共享的军事需求。在作战领域,区块链的去中心化、可扩展、跨网络分布、强加密等特点,可有效提升作战网络的安全性抗毁性,大大增强作战体系的弹性韧劲。在军事管理领域,区块链的机器信任机制,可减少军事管理过程中人为因素带来的不确定性、多样性和复杂性。区块链在军事领域的应用,各国军队更是处于探索阶段,加快推进区块链军事应用,不断拓展其应用广度和深度,可采取以下措施。1.加强区块链军事应用的统筹规划。2.创新区块链军事应用模式。3.突破区块链军事应用技术瓶颈。[2019/11/21]
就像AI从LeNet-5到AlexNet,从Resnet-50到Transformer一样,ZKP算法也将经历开发阶段以显著提高性能。我们已经看到这方面的进展,自2011年引入zk-SNARKs以来,行业已经开发了更先进的算法。
譬如2018年Starkware创始人开发的STARK,这是一种不需要可信设置且证明生成时间更短的ZKP方法,这项技术是Starkware旗下StarkNet在内的几款产品的基础。
随着在2019年引入PLONK,ZKP继续取得进展——PLONK是一种SNARK实现,允许许多应用程序使用单个受信任的设置,而无需重复设置。PLONK刺激了多种ZKP实现的开发,被多个Web3协议使用。
2.执行引擎优化
ZKP的一个主要限制是计算复杂性导致较长的证明时间。例如最近宣布的PolygonzkEVM,需要在64核服务器上运行大约5分钟才能生成50万Gas计算的证明。
缩短ZKP验证时间是将ZKP技术纳入主流的关键部分,与AI类似,优化软件执行引擎和使用专用硬件都是实现这一目标的必要条件。
优化的软件
许多ZKP生成操作都是大规模并行的,这意味着并行处理可以加速ZKP计算。专用的GPU库可用于加速NvidiaGPU上ZKP的计算,由于每个项目都使用不同的ZKP算法,因此有几个项目正在尝试在内部进行开发。
动态 | 区块链深度融入雄安新区建设发展 区块链在雄安新区已有四大应用:中国雄安官网今日发布文章《动图解丨看!区块链在雄安“初显身手”》,目前区块链技术在雄安新趋已有四大应用,分别是:
1、工程项目资金管理,实现工程进度及合同透明管理、资金拨付穿透式管理、多银行系统直联等功能;
2、劳务工资实现穿透式发放,实现了建设者工资透明拨付,如果项目参与方未按约定按时发放建设者工资,区块链智能合约会自动触发代付机制,保障金会自动穿透式拨付至建设者工资卡中,实现建设者无感状态下的智能支付保障。截至今年10月,区块链资金管理平台累计已为11万人次建设者按时发放工资;
3、白洋淀水体污染治理,白洋淀水专项区块链科研资金管理平台实现项目可研经费的全流程穿透式管理;
4、政务服务创新实践,各政府部门建立数据调用互信共认机制;区块链非对称式加密技术、公私钥机制,确保公众及政府部门数据资产安全。[2019/11/17]
一个值得注意的例子是Filecoin对Groth16算法的实现,该算法使用GPU来加速证明过程;另一个例子是Edgeswap使用GPU将PLONK的验证时间缩短了75%。
专用硬件
由于GPU对ZKP验证时间的改进通常是有限的,因此另一种选择就是使用专用硬件,例如FPGA或ASIC。
在制造专用芯片的昂贵努力之前,FPGA通常被认为是硬件原型设计平台。FPGA或结合GPU和FPGA的混合解决方案,可以在中短期内加速ZKP应用于Rollup和注重隐私的网络。
然而如果ZKP技术发展到我们预期的水平,ASIC最终将赢得这个市场。目前ZKP的硬件加速尚未得到充分解决,这可能是因为ZKP算法的多样性和碎片化,但是我们相信通过正确的商业模式,一些初创公司可以专注于开发和货币化这部分技术堆栈。
3.软件抽象层
为了释放ZKP的潜力,需要构建多个抽象层和工具,这些抽象对于简化ZKP应用程序的开发过程是必要的——允许每组开发人员专注于他们最擅长的事情,例如应用程序开发人员不应该担心ZK电路的底层细节以及它们是如何工作的。
再次使用AI类比,通过创建多个抽象层,AI可以取得巨大进步。使用这些抽象,AI应用程序开发人员无需担心NN架构或硬件资源分配,因为TensorFlow和PyTorch等框架抽象出了所有这些底层细节。
ZK开发堆栈还没有像AI堆栈那么完善,但是仍有一些努力来构建这些抽象层:堆栈的底部存在低级ZKP库,如PLONK和STARK;在该层之上,诸如Noir之类的高级语言试图抽象出底层的ZK密码学,并帮助应用程序开发人员专注于应用程序逻辑;Circom是另一种流行的ZKP语言,位于这两层之间,因为它既可用于创建复杂的ZK后端,也可用于开发基于ZKP的应用程序。
Web3中ZKP抽象的另一个例子是StarkWare的Cairo语言,它允许开发人员实现在底层使用STARK证明的通用智能合约。为了提供进一步的抽象,Nethermind的Warp工具允许Solidity开发人员将他们的Solidity代码直接转换为Cairo。
譬如使用Warp,可以将UniswapV3代码转译为Cairo,且只需对原始Solidity代码进行最少的更改。
ZKP的创业机会
基于对ZKP可能发展路径的讨论,我们确定了一些与ZKP相关的创业想法,主要理念分为两类:工具和应用。
ZKP工具
1.高级开发框架
与AI中的Tensorflow和PyTorch类似,高级ZKP开发框架对于在应用程序级别实现创新至关重要。这些框架需要:
将底层ZKP后端的复杂性抽象出来;
支持各种ZKP后端和硬件环境,例如CPU和GPU;
允许高效的调试和测试;
提供包含示例和教程的丰富开发环境;
以太坊生态系统中最接近的例子是Hardhat和Foundry,但它们不太可能很快支持zkEVM或ZKP,相反,像Cairo这样的现有抽象工作,最终可能会发展到填补这个空间。
2.ZKRollupSDK
ZKRollup越来越受欢迎,可以为游戏或高吞吐量DeFi协议启用特定于应用程序的L2。在这种情况下,ZKRollup主要负责执行和结算,而共识和数据可用性将由L1处理。
但是启动特定于应用程序的ZKRollup仍然非常复杂,我们相信提供对开发人员友好的SDK来启动自定义ZKRollup的初创公司将解决真正的业务需求,并可以通过提供开发工具箱、开发人员服务、排序器服务和支持基础设施来成为价值业务。
3.ZKP硬件加速器
以特定用例为目标并建立早期市场领先地位的专业硬件公司最终成为具有巨大价值的公司,人工智能就是如此——Nvidia通过专注于人工智能硬件成为最有价值的北美半导体公司。
在比特币挖矿领域也是如此,当时比特大陆、嘉楠科技和Whatsminer通过专注于ASIC矿机而成为独角兽,而设计和制造高效ZKP硬件加速器的公司也将遵循相同的轨迹。
ZKPWeb3应用程序
1.ZK跨链桥和互操作性
ZKP可用于为跨链消息传递协议创建有效性证明,其中跨链消息可以在目标链上快速验证,这类似于在底层L1上验证ZKRollup的方式。但是对于跨链消息传递,复杂性更高,因为要验证的签名方案和加密函数在源链和目标链之间可能不同。
2.ZK链上游戏引擎
DarkForest证明了ZKP可以使信息不完全的链上游戏成为可能,这对于设计更具互动性的游戏至关重要,在这些游戏中玩家的行为在决定公开之前是保密的。随着链上游戏的成熟,我们预计ZKP将成为游戏执行引擎的一部分,因此对于成功将隐私功能集成到高吞吐量链上游戏引擎中的初创公司来说,机会巨大。
3.身份解决方案
ZKP可以在身份领域创建新的机会,譬如用于创建声誉或连接Web2和Web3身份,目前我们的Web2和Web3身份是分开的,像Clique这样的项目通过使用预言机连接这些身份。
ZKP可以通过启用Web2和Web3身份的匿名链接来进一步采用这种方法:可以为那些可以使用Web2或Web3特定领域专业知识的人,提供匿名DAO成员资格等场景的用例;另一个用例则是基于借款人的Web2社会地位,提供无担保Web3贷款。
4.符合法规要求的ZKP
Web3使匿名在线帐户能够积极参与金融系统,从这个意义上说,Web3实现了巨大的财务自由和包容性。随着Web3法规的增加,ZKP可在合规的基础上不破坏匿名性,譬如ZKP可用于证明用户不是受制裁国家的公民或居民,ZKP还可用于证明合格投资者身份或任何其他KYC/AML要求。
5.原生Web3私募债务融资
TradeFi债务融资通常用于支持成长中的初创公司加速增长或启动新的业务线,而无需筹集额外的风险资金。
Web3DAO和匿名公司的兴起为Web3原生债务融资创造了机会,例如使用ZKP,DAO或匿名公司可以根据其增长指标的证明,以具有竞争力的利率获得非抵押贷款,而无需向贷方透露借款人的信息。
6.私有DeFi
金融机构通常会对其交易历史和风险敞口进行保密,但由于区块链分析的不断发展,当使用链上产品时,要满足这一点就十分具有挑战性,一个可能的解决方案是开发以隐私为中心的DeFi产品,以保护协议参与者的隐私。
譬如Penumbra的zkSwap,此外Aztec的zk.money通过模糊用户参与的DeFi协议操作,也提供了一些私有DeFi赚钱机会。
一般来说,成功实施高效且注重隐私的DeFi产品的协议,可以从机构参与者那里获得可观的用户数量和收入。
7.基于ZKP的Web3广告
Web3推动用户对其数据的所有权,例如浏览历史记录、私人钱包活动等,Web3还可以使这些数据货币化以造福用户。由于数据货币化可能与隐私相矛盾,ZKP可以在控制个人数据的哪些方面可以向广告商和数据聚合商披露方面发挥重要作用。
8.私人数据的共享和货币化
如果与正确的实体共享,我们的大部分私人数据可能都会产生很大的影响。譬如个人健康数据可以众包,以帮助研究人员开发新药;私人财务记录可以与监管机构和监管机构共享,以识别和惩罚腐败等等;ZKP可以实现此类数据的私人共享和货币化。
9.去中心化的情报组织
ZKP可以催生去中心化的情报组织。在这些系统中,情报人员、数据侦探和间谍可以成为网络的一部分,而无需互动或相互了解。参与者可以在接收私人付款以换取该数据之前,使用ZKP来证明对某些情报数据的了解。此类系统还可以促进协作和可组合的方式,以丰富或解释收集的数据,同时保持参与者的隐私。
10.私人治理
随着DAO和链上治理的激增,Web3正在向直接参与的民主靠拢,当前治理模式的一个主要缺陷是参与的非隐私性。ZKP可能是解决此问题的基础,治理参与者可以在不透露他们如何投票的情况下投票。此外ZKP可以将治理提案的可见性限制为DAO成员,从而使DAO能够建立竞争优势。
结论
ZKP技术是Web3?领域最具创新性的技术之一,它为突破性的协议和公司提供了多种机会。
2022年,尽管Meta在元宇宙上遭遇重挫,但在Web3上仍在持续发力。2022年11月3日,Meta宣布创作者很快将能在Instagram上制作自己的数字收藏品,并将其出售给Instagram.
1900/1/1 0:00:00Web3技术使粉丝们能够以一种更加人际化的方式与同好、媒体、内容创作者甚至他们崇拜的名人进行互动,粉丝和创作者都可以获得更人性化的体验.
1900/1/1 0:00:00作者:XiaoZ@iNFTnews.com2021年,元宇宙的概念爆火,此后万物皆可元宇宙。不仅有运动、时尚品牌布局元宇宙,现在就连手机品牌也要来分一杯羹.
1900/1/1 0:00:00作者:木沐数月前,号称为年内最大事件的以太坊POS合并被当作是以太坊的一次"大考验",普遍认为以太坊这艘大船替换共识机制可能带来"复杂漏洞风险"、"中心化"、"利好出尽"等难题.
1900/1/1 0:00:00原文作者:korpi现在每个项目都在进行空投,但许多人将一无所获。为什么?因为项目正在不断改进他们的方法,以排除Sybilfarmers。如何增加未来所有空投的机会?本文总结了5个简单步骤.
1900/1/1 0:00:00作者:Sal.xyz编译:若华,MarsBit 图片来源:由无界版图AI工具生成我阅读了400多页关于电子游戏经济设计的书籍、学术论文和博客,所以你就不必这样做了!其中一些发现会让你吃惊.
1900/1/1 0:00:00