月亮链 月亮链
Ctrl+D收藏月亮链

ZKP:频繁出圈的 “ZK” 到底是什么?一文带你了解 ZK 技术的现状和未来发展。_以太坊银行

作者:

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

想象下一代安全的互联网,从登录时刻开始,你的个人信息就受到保护。在这个新的互联网中,你的数据将留在你自己的设备内,你可以完全掌控自己的信息,消除了被盗或欺诈的风险和恐惧。我们认为,一个将安全和隐私作为优先考虑的未来互联网基础设施可能比预期的更快到来。

当今的网络基础设施旨在从每次交互中提取数据并存储在集中式数据存储中。公司随后利用这些数据分析用户的在线行为,并将定位广告以获得利润,对用户的价值很小。当然,数据共享对于许多互联网应用程序的功能也是必不可少的。从搜索引擎到社交媒体平台,再到电子商务网站,数据共享使我们日常生活中所依赖的各种在线活动成为可能。

但是许多互联网用户越来越希望拥有一个私密的互联网。这需要新的基础设施,在这个基础设施中,用户不会默认与应用程序共享其数据,但仍然可以从网络驱动的在线应用程序中获益。这可以通过在客户端执行计算,然后向中央实体或计算机证明来实现。零知识证明和协议是成为新互联网基础设施的基础层的领先候选人,其中隐私是默认设置。

这不仅仅是一场未来的幻想;该领域的巨大潜力正在聚积。SteelDAO的新成立的加密货币研究部门一直在追踪该领域,并在2022年见证了超过7.25亿美元的资金流向专门构建零知识证明解决方案的“纯玩家”公司。其中最大的两轮融资是Aleo和MatterLabs的2亿美元融资,其次是Aztec的1亿美元融资。其他公司还包括Scroll、RiscZero、Elusiv和MinaProtocol。

这篇关于ZK的研究来自于美国著名投资机构BessmerVenturePartners。本文将用便于理解的方式解释什么是ZKPs和zkEVMs,并重点探讨该领域内的三个主要创新类别:隐私、可扩展性和新型应用,以及它们的潜力和需要克服的障碍。

亿万富翁Paul Tudor Jones:美国监管环境对比特币不友好导致其吸引力已下降:5月16日消息,对冲基金经理、亿万富翁Paul Tudor Jones表示,由于美国监管形势变得不友好,比特币的吸引力已经下降。他预计未来通货膨胀率将会降低,也将成为加密货币的不利因素。

Paul Tudor Jones在CNBC的Squawk Box节目中,“比特币有一个真正的问题,因为在美国,整个监管机构在反对它。”

据此前报道,Paul Tudor Jones表示,他的投资组合中总是会保留少量比特币。[2023/5/16 15:04:48]

什么是零知识证明?

零知识证明是一种验证陈述或计算的方法,过程中不揭示有关该陈述本身的任何信息。例如,如果一个销售酒精饮料给消费者的网站想要验证消费者是否年满21岁,ZKP可以回答“是”或“否”的问题,而不会透露消费者的实际年龄或任何其他身份信息。通常,ZKP涉及双方:证明者(prover)和验证者(verifier)。证明者负责证明声明,而验证者负责验证声明。这些证明通过需要进行大量计算的数学方程来解决,最初由麻省理工学院的研究人员ShafiGoldwasser和SilvioMicali以及多伦多大学的CharlesRackoff研究。

虽然这些证明本质上是技术性的,但它们能够解决的用例实际上非常普遍。举个例子,比如我们正在申请贷款。在今天的现实情况下,申请人需要向银行披露自己的资金证明、信用评分以及其他相关信息来证明自己是否有资格获得贷款。申请人需要信任银行不会滥用敏感和个人信息。但是使用?ZKP,人们可以在不披露任何敏感数据的情况下申请贷款。这具有潜在的能力,可以从根本上改变我们处理真实和虚拟世界中的隐私的方式,扩展现有的基础链,并推进其他应用,比如去中心化人工智能。

做市商Wintermute加入Uniswap委托治理竞赛:5月11日消息,做市商 Wintermute 宣布加入 Uniswap 的委托治理竞赛,将支持 Uniswap 多链扩张、去中心化和长期增长。此前,Uniswap 基金会于 5 月 2 日启动 Uniswap Agora 并开启第一次委托治理竞赛,参赛者申请的截止日期为 5 月 12 日,5 月 13 日至 26 日 UNI 代币持有人可进行审查并委托治理。其他参赛者包括 Gitcoin 基金会执行董事 Kyle、Uniswap 治理活跃参与者 monetsupply.eth 等 32 人。[2023/5/11 14:57:26]

我们相信在未来几年推广ZKP需要以下三个因素的推动:

零知识以太坊虚拟机的不断改进;用户对数据隐私的认识和需求的不断增加;Layer-2扩容解决方案的持续使用。

什么是zkEVM?为什么值得关注?

zkEVM是与EVM兼容的虚拟机,可以运行ZKP计算。以太坊虚拟机是部署在以太坊上的智能合约的运行环境。换句话说,ZKP现在可以与以太坊上的智能合约进行交互,从而使得可以开发更广泛的支持隐私的用例,包括ZK-rollups。Rollups是一种扩容解决方案,可以在链外处理多个交易,然后批量打包到以太坊上的一个交易中,从而减少处理交易的成本和时间。在此之前,ZKP不能与以太坊上的智能合约兼容,必须为特定的应用程序开发。在本文中,我们将更详细地研究ZKP在隐私和扩展性方面的应用。

隐私

零知识证明的一个重要数学特性是验证者可以以零知识的方式验证陈述的正确性。如今的应用程序需要从本地计算机传输数据到中央服务器以进行计算。尽管ZKPs目前主要在加密社区中受到欢迎,但ZKPs的应用远不止区块链这一块领域。实际上,大型科技公司已经加入了这个领域,声明了大量与ZKPs相关的专利。自2010年至2021年,阿里巴巴发放了1111项ZKP专利。腾讯和IBM等其他关键参与者紧随其后。阿里巴巴和腾讯特别专注于ZKPs的金融服务用例,因为它们可以成为许多银行流程的核心基础设施,包括客户身份验证、贷款处理、开立投资账户等。我们相信,在ZKP工具和基础设施的创新和变革的推动下,将以三种主要方式影响我们与具有虚拟和现实工作流的应用程序的交互。

Meta社交VR平台Horizo??n副总裁Vivek Sharma将离职:8月27日消息,Meta社交VR平台Horizo??n副总裁Vivek Sharma即将离职。Vivek Sharma在过去六年一直在Facebook母公司Meta任职,在市场和游戏领域担任高级职位,最近还在元宇宙相关新业务部门担任要职。

Meta发言人称,Horizo??n团队现在将直接向Meta元宇宙副总裁Vishal Shah汇报。

Meta首席执行官马克·扎克伯格在最近一期The Joe Rogan Experience播客中表示,该公司将在10月推出一款新的VR头戴设备。(CNBC)[2022/8/27 12:52:08]

1)账户登录

在今天,所有的应用程序都会通过储存密码来验证用户的身份。虽然使用零知识证明的安全远程密码协议已经有一段时间了,但我们还没有看到有哪个创业公司利用这项技术来与Okta竞争。这是因为网页端应用程序是用JavaScript编写的,由于开发人员工具不成熟,编写SRPP在网页端应用程序上很困难。我们相信通过使用零知识证明,可以重新设计广泛使用的应用程序的身份验证流程,从而向应用程序证明你拥有你的账户密码。

2)付款

应用程序今天的电子商务网站积累了许多用户财务数据,可以用在一些不利于客户的地方。虽然听起来问题不大,但我们认为有空间构建标准化的付款API,不用透露用户的数据,而是以完全零知识的方式促进支付。类似于Aztec这样的隐私第一的第二层扩展解决方案,但用于常规的互联网支付。

3)线上及现实世界中的身份认证环节

在几乎所有的线上和现实世界的交互中,用户都需要验证他们的身份。例如,申请签证时需要向第三方提供银行账单、护照和其他敏感数据。如果使用零知识证明,当你申请签证时,它只会向相关机构发出“是”或“否”的答复,告诉他们你是否拥有所需文件。同样地,在网上购买加密货币时,我们需要向第三方发送我们的“护照”和其他敏感文件,以进行KYC/AML检查。像NotebookLabs这样的公司正在使用零知识证明来防止可疑的不良行为者与DeFi协议进行交互。这个公司通过向遵守规定的用户发放通过ZKP验证的代币,来让其他协议知道这些用户是遵守规定的,进而省去了查看用户的文件的步骤。

Circle:呼吁监管机构改革金融法规,以保证大众金融隐私受到保护:8月12日消息,USDC 发行商 Circle 在其官网发表博客文章,呼吁金融监管机构对《银行保密法》(Bank Secrecy Act,已有 52 年历史)等相关金融法规进行改革修正,以识别开放协议、软件与非法行为者的区别,并保持基于区块链的金融开放和普遍可访问。此外,文章倡议监管鼓励和协调加密资产和开放区块链的合法使用,确保隐私性去中心化身份及其协议和工具能够规范化使用。[2022/8/12 12:21:58]

期待看到区块链领域之外的零知识证明用例,尽管我们认识到,正是由于区块链的存在,它们可以独特地扩展。此外,设计上,区块链是匿名的,但它们并不具有隐私保护,其中所有交易都是完全透明的。所以我们认为需要像Aleo这样的隐私保护区块链来解决这个问题。

除了用户对隐私的不断追求之外,还需要解决可扩展性问题。像以太坊这样的Layer1面临可扩展性“三难情况”,必须在可扩展性、安全性和去中心化之间做出权衡。比如,以太坊的愿景是尽可能保持安全和去中心化,那代价可能就是舍弃可扩展性,但同时,以太坊使用量日益增长,后果就是交易变慢和高昂的费用。为此,零知识证明也可用于提高可扩展性。

可扩展性

区块链的可扩展性可以通过两种方式实现:一是增加区块的交易容量,但这会带来一些风险,例如使验证变得更加困难;二是采用不同的方法与其交互,如将交易批量处理并作为单个交易提交到主网络。实施这种方法的以太坊上层网络称为L2扩容解决方案。它们允许开发人员构建生活在以太坊生态系统中的应用程序,以利用其安全性、去中心化和网络效应,但同时提高了交易吞吐量并降低了交易成本。

这些解决方案也被称为rollups,分为两种形式:Optimisticrollups和zero-knowledgerollups。Optimisticrollups是“欺诈证明(fraudproofs)”,这意味着批量交易在7天的挑战期内被认为是有效的,在此期间任何人都可以对基础交易的有效性提出异议。另一方面,ZKRollups不默认假定交易有效,而是作为“有效性证明(validityproofs)”,验证基础交易的有效性。它们依赖于自己的数学属性——soundness。soundness是指数学保证,如果陈述为假,除了一些小概率之外,没有证明者能够说服一个诚实的验证者其为真。这是通过经过深入研究的密码学假设和可验证计算来保证的,这使得证明者很难通过恶意方式黑入系统。

BTC跌破25000美元:BTC跌破25000美元,现报24988.4美元,日内跌幅达到9.18%,行情波动较大,请做好风险控制。[2022/6/13 4:22:02]

来源:https://vitalik.ca/general/2021/01/05/rollup.html

ZK-rollup可以更快地处理交易,并且不需要像optimisticrollup那样的7天挑战期。因此,用户不必等待7天才能提取他们的资金。尽管如此,optimisticrollup目前在L2扩展市场上占据着大约80%的总锁定价值。历史上,零知识证明与智能合约不兼容。因此,使用ZK-rollup构建的应用程序只能适用于有限的、特定于应用程序的用例,如二层去中心化交易所dYdX和用于支付和交易的协议Loopring。因此,开发人员选择了乐观rollup,因为它们与通用应用程序兼容。

如今,随着对zkEVM的改进,这种历史限制正在得到解决。现在,通用应用程序可以利用ZK-rollup的安全性和效率,因为它们与EVM兼容,可以与智能合约进行交互。因此,我们认为,在未来几年内,ZK-rollup将有望接管L2扩展市场,特别是由于正在构建基础架构工具来改进使用zkEVMs开发通用应用程序的体验,如StarkWare、Polygon、MatterLabs和Scroll。

话虽如此,zkEVMs仍然相对较新,并且正在使用不同程度的以太坊兼容性和性能构建。总体而言,兼容性的最高级别是(1)与以太坊等效,而最低级别是(4),在这种环境下,智能合约代码被编译为ZK-friendly的语言。例如,像以太坊的研究部门Privacy&ScalingExploration这样正在追求最高级别兼容性的团队,其代价是性能降低,因为它们的目的并不一定是在不久的将来投入生产。

相反,像StarkWare这样的公司已经部署了StarkNet,这被认为是最完整和性能最高的zkEVM之一,但需要使用一种新的本地编程语言Cairo,以支持在EVM上的ZKP计算。因此,它需要开发人员学习如何在自定义环境中执行智能合约代码,这是采用的一个挑战。Polygon的Hermez、MatterLabs的zkSync2.0和Scroll等项目正在寻求解决这些摩擦领域以扩大开发人员的使用。

来源:https://vitalik.ca/general/2021/01/05/rollup.html

除了进一步改进zkEVMs外,ZKP的大范围采用还面临其他挑战,包括提供更好的基础设施和降低理解和使用它们的复杂性。

当前需要克服的困难

在硬件方面,开发者需要改善图形处理单元的并行处理能力或设计特定的硬件,例如应用特定集成电路,以继续减少证明语句所需的时间和资源。

尽管在数学算法方面已经取得了许多进展,例如引入了PLONK,但我们认为新算法将继续出现,最终实现更快、更好的解决方案。此外,如果我们想让这个领域真正起飞,还需要构建更多的抽象层。尽管这已经吸引了许多开发者和用户的关注,但总的来说,它仍然是一个相当复杂的领域,需要付出较大的精力才能够构建和交互。

最后,鉴于零知识证明的本质复杂性,监管机构甚至用户可能会谨慎对待——例如最近对TornadoCash的禁令加强了一种错误的观念,即所有寻求匿名性的人都是恶意行为者。

尽管存在困难,我们很高兴看到公司以不同创新的方式克服这些障碍。

创新的实际用例

虽然ZKP技术早在1989年就被提出,但密码学的普及推动了创新,过去几年中,水平应用案例和应用程序显著增加。例如,去中心化存储提供商Filecoin使用PoRep或复制证明来验证存储提供商确实存储了他们声称存储的数据。通过使用ZKP技术,验证者可以更快地验证这些信息,而不会损害安全性、信任或信心。

另一个令人兴奋的应用领域是游戏,像DarkForest这样的链上游戏正在引领基于ZKP的创新。其中一个核心特点是博弈论家所谓的“不完全信息”,即大部分虚拟宇宙都是隐藏的,除非玩家探索它。另一个关键特点是玩家可以通过向区块链发送证明来探索这个宇宙,证明移动是有效的,但不会揭示他们在宇宙中的坐标。

最后,Chainlink和Teller正在build为“未充足抵押贷款”进行概念验证。一句话解释就是,Teller证明用户的离线银行账户余额超过所请求的贷款金额指定的动态阈值,而不实际揭示他们的银行账户详细信息。

ZKP市场全览图

零知识证明领域的不完全市场图?来源:BVP

ZKP未来可期

尽管在这个领域存在许多挑战,但加密基础设施将继续演进和发展。开发活动仍然强劲,相关公司继续投资于后端和面向消费者的加密机会,这一切让人感觉ZKP的“春天”已经近在眼前。我们对ZKP的未来感到兴奋,因为它似乎是建立更去中心化的网络的关键技术里程碑。尽管目前仍存在一些障碍,还没有被大规模采用,但ZKP正在推动互联网隐私至上的重建,并推进其他区块链应用和用例的采用。

标签:ZKPROLLROL以太坊zkProofCoinControllerCashHydroLink以太坊银行

欧易交易所app官网下载热门资讯
NFT:速览Elemetas,权益类NFT能否接力PFP成为NFT市场追捧的热点_MENT

DeBox研究院|作者:CryptoMing&Dory|撰稿日期2023年03月18日NFT聚合交易市场Element在上周公布其平台的权益卡Elemetas的发售细节.

1900/1/1 0:00:00
VER:ETHDenver参会总结:我们看到了哪些趋势_DegenVC

刚从Denver回来,过去的一周精彩不已。分享一下个人感受,和整个会议传递的新趋势。整体而言,EthDenver整体感受非常好,远胜Consensus,Token2049.

1900/1/1 0:00:00
ARB:ARB空投领取之际,要做哪些准备工作_NCE

今晚ARB空投领取即将开始,鉴于领取用户众多,可能会发生一些网络拥堵或其他意外状况,所以你需要做好充足的准备工作,保证属于你的空投成功领取/交易,以下是ARB空投领取需要的准备和后续工作.

1900/1/1 0:00:00
ARB:拿到 ARB 空投后,还需要关注哪些 Arbitrum 生态的投资机会?_bitkeep钱包最新版本

3月23日,Arbitrum空投给社区用户的ARB代币将开放领取。根据Dune上的@Blockworks_数据统计,向社区用户空投的ARB数量为11.62亿,获得空投的钱包地址数约有62.5万个.

1900/1/1 0:00:00
WEB:写在 GPT4 发布之际:Web3 将如何加速 AI 发展和生产力革命?_WEBFOUR

核心观点,TL;DR1.?AIGC?将是提升?21?世纪整体社会生产力最为重要的赋能技术。而Web3的本质是改革了生产关系,让数据资产的所有权回到用户手中,这与AI革命密切相关.

1900/1/1 0:00:00
USD:李开复最新万字演讲:AI 2.0是绝对不能错过的一次革命_usdc币圈最新消息

GPT4发布,AI2.0时代已来,这是AI迄今为止最重要的一个时代。2022年12月,ChatGPT的横空出世,让OpenAI用一个核弹级的应用成果,改变了科学研究和工程应用的范式.

1900/1/1 0:00:00