想象下一代安全的互联网，从登录时刻开始，你的个人信息就受到保护。在这个新的互联网中，你的数据将留在你自己的设备内，你可以完全掌控自己的信息，消除了被盗或欺诈的风险和恐惧。我们认为，一个将安全和隐私作为优先考虑的未来互联网基础设施可能比预期的更快到来。
当今的网络基础设施旨在从每次交互中提取数据并存储在集中式数据存储中。公司随后利用这些数据分析用户的在线行为，并将定位广告以获得利润，对用户的价值很小。当然，数据共享对于许多互联网应用程序的功能也是必不可少的。从搜索引擎到社交媒体平台，再到电子商务网站，数据共享使我们日常生活中所依赖的各种在线活动成为可能。
但是许多互联网用户越来越希望拥有一个私密的互联网。这需要新的基础设施，在这个基础设施中，用户不会默认与应用程序共享其数据，但仍然可以从网络驱动的在线应用程序中获益。这可以通过在客户端执行计算，然后向中央实体或计算机证明来实现。零知识证明和协议是成为新互联网基础设施的基础层的领先候选人，其中隐私是默认设置。
这不仅仅是一场未来的幻想；该领域的巨大潜力正在聚积。SteelDAO的新成立的加密货币研究部门一直在追踪该领域，并在2022年见证了超过7.25亿美元的资金流向专门构建零知识证明解决方案的“纯玩家”公司。其中最大的两轮融资是Aleo和MatterLabs的2亿美元融资，其次是Aztec的1亿美元融资。其他公司还包括Scroll、RiscZero、Elusiv和MinaProtocol。
这篇关于ZK的研究来自于美国著名投资机构BessmerVenturePartners。本文将用便于理解的方式解释什么是ZKPs和zkEVMs，并重点探讨该领域内的三个主要创新类别：隐私、可扩展性和新型应用，以及它们的潜力和需要克服的障碍。
Scroll联创：测试网超400万个唯一钱包地址，每天处理逾50万笔交易:金色财经报道，Scroll联合创始人YeZhang和Sandy Peng在Anna Rose的Zero Knowledge Podcast节目中分享了Scroll最近一年的项目进展和生态发展，以及Scroll团队建设、如今的Layer2格局、Scroll硬件加速方面的成果和未来的技术路线图。
YeZhang表示，Scroll的首要任务是尽快启动主网，团队已经将电路发送给审计公司，下一步将是实现去中心化证明者，最后是设计去中心化排序器。Sandy表示，目前Scroll测试网有超过400万个唯一钱包地址，每天处理超过50万笔交易，100多个项目向官方提交了信息。[2023/5/15 15:02:53]
什么是零知识证明？
零知识证明是一种验证陈述或计算的方法，过程中不揭示有关该陈述本身的任何信息。例如，如果一个销售酒精饮料给消费者的网站想要验证消费者是否年满21岁，ZKP可以回答“是”或“否”的问题，而不会透露消费者的实际年龄或任何其他身份信息。通常，ZKP涉及双方：证明者(prover)和验证者(verifier)。证明者负责证明声明，而验证者负责验证声明。这些证明通过需要进行大量计算的数学方程来解决，最初由麻省理工学院的研究人员ShafiGoldwasser和SilvioMicali以及多伦多大学的CharlesRackoff研究。
虽然这些证明本质上是技术性的，但它们能够解决的用例实际上非常普遍。举个例子，比如我们正在申请贷款。在今天的现实情况下，申请人需要向银行披露自己的资金证明、信用评分以及其他相关信息来证明自己是否有资格获得贷款。申请人需要信任银行不会滥用敏感和个人信息。但是使用?ZKP，人们可以在不披露任何敏感数据的情况下申请贷款。这具有潜在的能力，可以从根本上改变我们处理真实和虚拟世界中的隐私的方式，扩展现有的基础链，并推进其他应用，比如去中心化人工智能。
Mysten Labs以9600万美元从FTX回购股份:金色财经报道，Layer1区块链Sui背后团队Mysten Labs支付9600万美元回购了FTX持有的股权，该价格还包括FTX购买Sui代币的权利。回购已获美国破产法院批准。Mysten Labs联合创始人兼首席执行官Evan Cheng表示，回购是FTX破产程序的一部分，我们很高兴完成这项交易，这表明我们对我们的能力、技术和合作伙伴充满信心。
此前报道，Mysten Labs于2022年中下旬完成了3亿美元B轮融资，FTX参投。[2023/4/15 14:05:09]
我们相信在未来几年推广ZKP需要以下三个因素的推动：
零知识以太坊虚拟机的不断改进；用户对数据隐私的认识和需求的不断增加；Layer-2扩容解决方案的持续使用。
什么是zkEVM？为什么值得关注？
zkEVM是与EVM兼容的虚拟机，可以运行ZKP计算。以太坊虚拟机是部署在以太坊上的智能合约的运行环境。换句话说，ZKP现在可以与以太坊上的智能合约进行交互，从而使得可以开发更广泛的支持隐私的用例，包括ZK-rollups。Rollups是一种扩容解决方案，可以在链外处理多个交易，然后批量打包到以太坊上的一个交易中，从而减少处理交易的成本和时间。在此之前，ZKP不能与以太坊上的智能合约兼容，必须为特定的应用程序开发。在本文中，我们将更详细地研究ZKP在隐私和扩展性方面的应用。
隐私
零知识证明的一个重要数学特性是验证者可以以零知识的方式验证陈述的正确性。如今的应用程序需要从本地计算机传输数据到中央服务器以进行计算。尽管ZKPs目前主要在加密社区中受到欢迎，但ZKPs的应用远不止区块链这一块领域。实际上，大型科技公司已经加入了这个领域，声明了大量与ZKPs相关的专利。自2010年至2021年，阿里巴巴发放了1111项ZKP专利。腾讯和IBM等其他关键参与者紧随其后。阿里巴巴和腾讯特别专注于ZKPs的金融服务用例，因为它们可以成为许多银行流程的核心基础设施，包括客户身份验证、贷款处理、开立投资账户等。我们相信，在ZKP工具和基础设施的创新和变革的推动下，将以三种主要方式影响我们与具有虚拟和现实工作流的应用程序的交互。
知情人士：区块链金融公司Figure寻求1亿美元融资:2月6日消息，据彭博社援引知情人士报道，区块链金融公司Figure已放弃SPAC上市，并寻求1亿美元融资。此前报道，Figure于2021年5月以32亿美元完成2亿美元D轮融资，10T Holdings和Morgan Creek Digital领投。该知情人士称，该公司2022年曾有望募集3亿美元，但因为熊市导致融资交易搁置，目前进行的1亿美元融资可能会有所延迟，因为Figure不同意将其估值降低。[2023/2/7 11:50:52]
1）账户登录
在今天，所有的应用程序都会通过储存密码来验证用户的身份。虽然使用零知识证明的安全远程密码协议已经有一段时间了，但我们还没有看到有哪个创业公司利用这项技术来与Okta竞争。这是因为网页端应用程序是用JavaScript编写的，由于开发人员工具不成熟，编写SRPP在网页端应用程序上很困难。我们相信通过使用零知识证明，可以重新设计广泛使用的应用程序的身份验证流程，从而向应用程序证明你拥有你的账户密码。
2）付款
应用程序今天的电子商务网站积累了许多用户财务数据，可以用在一些不利于客户的地方。虽然听起来问题不大，但我们认为有空间构建标准化的付款API，不用透露用户的数据，而是以完全零知识的方式促进支付。类似于Aztec这样的隐私第一的第二层扩展解决方案，但用于常规的互联网支付。
3）线上及现实世界中的身份认证环节
在几乎所有的线上和现实世界的交互中，用户都需要验证他们的身份。例如，申请签证时需要向第三方提供银行账单、护照和其他敏感数据。如果使用零知识证明，当你申请签证时，它只会向相关机构发出“是”或“否”的答复，告诉他们你是否拥有所需文件。同样地，在网上购买加密货币时，我们需要向第三方发送我们的“护照”和其他敏感文件，以进行KYC/AML检查。像NotebookLabs这样的公司正在使用零知识证明来防止可疑的不良行为者与DeFi协议进行交互。这个公司通过向遵守规定的用户发放通过ZKP验证的代币，来让其他协议知道这些用户是遵守规定的，进而省去了查看用户的文件的步骤。
加密风投GDA Capital将与Fantom基金会合作为Fantom项目和开发人员提供资金:8月25日消息，加密风投机构GDA Capital与Fantom基金会达成合作，将为不同的Fantom项目和开发人员在Fantom生态系统中构建突破性应用提供资金，具体细节暂未披露。[2022/8/25 12:47:36]
期待看到区块链领域之外的零知识证明用例，尽管我们认识到，正是由于区块链的存在，它们可以独特地扩展。此外，设计上，区块链是匿名的，但它们并不具有隐私保护，其中所有交易都是完全透明的。所以我们认为需要像Aleo这样的隐私保护区块链来解决这个问题。
除了用户对隐私的不断追求之外，还需要解决可扩展性问题。像以太坊这样的Layer1面临可扩展性“三难情况”，必须在可扩展性、安全性和去中心化之间做出权衡。比如，以太坊的愿景是尽可能保持安全和去中心化，那代价可能就是舍弃可扩展性，但同时，以太坊使用量日益增长，后果就是交易变慢和高昂的费用。为此，零知识证明也可用于提高可扩展性。
可扩展性
区块链的可扩展性可以通过两种方式实现：一是增加区块的交易容量，但这会带来一些风险，例如使验证变得更加困难；二是采用不同的方法与其交互，如将交易批量处理并作为单个交易提交到主网络。实施这种方法的以太坊上层网络称为L2扩容解决方案。它们允许开发人员构建生活在以太坊生态系统中的应用程序，以利用其安全性、去中心化和网络效应，但同时提高了交易吞吐量并降低了交易成本。
这些解决方案也被称为rollups，分为两种形式：Optimisticrollups和zero-knowledgerollups。Optimisticrollups是“欺诈证明(fraudproofs)”，这意味着批量交易在7天的挑战期内被认为是有效的，在此期间任何人都可以对基础交易的有效性提出异议。另一方面，ZKRollups不默认假定交易有效，而是作为“有效性证明(validityproofs)”，验证基础交易的有效性。它们依赖于自己的数学属性——soundness。soundness是指数学保证，如果陈述为假，除了一些小概率之外，没有证明者能够说服一个诚实的验证者其为真。这是通过经过深入研究的密码学假设和可验证计算来保证的，这使得证明者很难通过恶意方式黑入系统。
PeckShield：Nomad事件中41个地址获利约1.52亿美元:8月2日消息，派盾（PeckShield）监测显示，Nomad被攻击事件中，约41个地址获利约1.52亿美元（占80%），包括约7个MEV机器人（约710万美元）、RariCapital黑客（约340万美元）和6个白帽黑客（约820万美元），约10%的ENS域名地址获利610万美元。[2022/8/2 2:53:19]
来源：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正在推动互联网隐私至上的重建，并推进其他区块链应用和用例的采用。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。