当前区块链行业里零知识证明项目增速惊人，特别是ZKP在扩容和隐私保护两个层面应用的崛起，令我们接触到了各种花样繁多的零知识证明项目。由于ZKP极富数学性的特质，对于加密爱好者来说，想要深度了解ZK的难度大幅提升。因此我们也希望从头梳理ZKP理论和应用层面的一些变化，与读者一起探索对于crypto行业的影响和价值——通过几篇报告的形式共同学习，也作为HashKeyCapital研究团队的思考总结。本篇是该系列的第一篇，主要介绍ZKP的发展历史、应用和一些基本原理。一、零知识证明的历史
现代零知识证明体系最早来源于Goldwasser、Micali和Rackoff合作发表的论文：TheKnowledgeComplexityofInteractiveProofSystems，该论文提出于1985年，发表于1989年。这篇论文主要阐释的是在一个交互系统中，经过K轮交互，需要多少知识被交换，从而证明一个证言是正确的。如果可以让交换的知识为零，则被称之为零知识证明。这里面会假设证明者具有无限资源，而验证者只具有有限资源。而交互式系统的问题在于证明不完全是数学上可证的，而是概率意义上正确的，虽然概率很小(1/2^n)。所以交互式系统并不完美，只有近似完备性，以此为基础诞生的非交互式系统系统则具有完备性，成为零知识证明系统的完美所选。早年的零知识证明系统在效率以及可用性方面都有所欠缺，所以一直都停留在理论层面，直到最近10年才开始蓬勃发展，伴随着密码学在crypto成为显学，零知识证明走向台前，成为至关重要的一个方向。特别是发展出一个通用的、非交互的、证明大小有限的零知识证明协议，是其中最关键的探索方向之一。基本上零知识证明就是要在证明的速度、验证的速度和证明体积的大小之间做取舍，理想的协议是证明快、验证快、证明体积小。零知识证明最重要的突破是Groth在2010年的论文ShortPairing-basedNon-interactiveZero-KnowledgeArguments，也是ZKP里面最重要的一组zk-SNARK的理论先驱。零知识证明在应用上最重要的进展就是2015年Z-cash使用的零知识证明系统，实现了对交易及金额隐私的保护，后来发展到zk-SNARK和智能合约相结合，zk-SNARK进入了更为广泛的应用场景。在此期间，一些重要的学术成果包括：2013年的Pinocchio(PGHR13)：Pinocchio:NearlyPracticalVerifiableComputation，将证明和验证时间压缩到适用范围，也是Zcash使用的基础协议。2016年的Groth16：OntheSizeofPairing-basedNon-interactiveArguments，精简了证明的大小，并提升了验证效率，是目前应用最多的ZK基础算法。2017年的Bulletproofs(BBBPWM17)Bulletproofs:ShortProofsforConfidentialTransactionsandMore，提出了Bulletproof算法，非常短的非交互式零知识证明，不需要可信的设置，6个月以后应用于Monero，是非常快的理论到应用的结合。2018年的zk-STARKs(BBHR18)Scalable,transparent,andpost-quantumsecurecomputationalintegrity，提出了不需要可信设置的ZK-STARK算法协议，这也是目前ZK发展另一个让人瞩目的方向，也以此为基础诞生了StarkWare这个最重量级的ZK项目。其他的发展包括PLONK、Halo2等也是极为重要的进展，也对zk-SNARK做出了某些层面上的改进。二、零知识证明的应用简述
HashKey计划为新数字资产基金筹集至少1亿美元:金色财经报道，数字资产金融服务公司HashKey Capital宣布计划于9月1日推出受香港证券及期货事务监察委员会 (HK SFC) 监管的流动性数字资产基金。HashKey代表对CoinDesk表示，HashKey的目标是为开放式基金筹集至少1亿美元，该基金将完全专注于虚拟资产。
彭博社5月份援引知情人士的话报道称，HashKey正寻求以 10 亿美元估值筹集1亿至2亿美元资金。[2023/8/5 16:20:01]
零知识证明最广泛的两个应用就是隐私保护和扩容。早期随着隐私交易和几个有名的项目Zcash和Monero等推出，隐私交易一度成为非常重要的门类，但由于隐私交易的必要性并没有业界希望的那样突出，因此这一类代表性项目开始慢慢进入二三线的阵营。而应用层面，扩容的必要性提升到无以复加，随着以太坊2.0在2020年转变为以rollup为中心的路线，ZK系列正式又回归业界的视线，成为焦点。隐私交易：隐私交易有很多已经实现的项目，包括使用SNARK的Zcash，Tornado,使用bulletproof的Monero,以及Dash。Dash严格意义上用的不是ZKP，而是一种简单粗暴的混币系统，只可以隐藏地址而不能隐藏金额，在此略过不表。Zcash应用的zk-SNARKs交易步骤如下：
Hootie Rashidifard推出规模2900万美元的种子阶段加密基金Hash3:6月27日消息，Hootie Rashidifard宣布推出一只规模为2900万美元的种子阶段加密基金Hash3，将向一些充满抱负的创始人投资25万至100万美元，旨在推动建立一个开放和无需许可的未来。Hash3顾问包括Coinbase前首席产品官Surojit Chatterjee、Coinbase高级软件工程师Yuga Cohler、dYdX高级产品经理Corey Miller、Coinbase董事会成员Gokul Rajaram、Router Protocol创始人Ramani Ramachandran。
Hash3在过去一年一直保持低调活跃，到目前为止，该基金已经进行了10项投资，包括Eigen Layer、Ajna.finance以及Crossmint。Hootie Rashidifard曾在早期风险投资公司Canaan Partners工作过五年。[2023/6/28 22:04:09]
Source:DemystifyingtheRoleofzk-SNARKsinZcashSystemsetup阶段生成证明秘钥和验证秘钥，借助KeyGenfunctionCPA阶段ECIES加密方法用来生成公钥和私钥MintingCoins阶段，生成新币的数量。公共地址和币的commitmentPouring阶段，生成zk-SNARK证明，证明被加到了pour交易账本中Verification阶段，验证者验证Mint和Pour的交易量是否正确Receiving阶段，receiver接收币。如果想使用收到的币，则继续调用Pouring，形成zk-SNARK验证，重复上述4-6的步骤，完成交易。Zcash使用零知识还是有局限性的，就是其基于UTXO,所以部分交易信息只是被shield了，而不是真正的掩盖。因为其基于比特币的设计的单独网络，所以难以扩展。真正使用shielding的使用率只有不到10%，说明隐私交易并没有很成功的扩展。Tornado使用的单一大混币池更加通用，而且基于以太坊这样“久经考验”的网络。Torndao本质上就是一个用了zk-SNARK的混币池，可信设置基于Groth16的论文。TornadoCash可以提供的特性包括：只有被存进去的coin可以被提取没有币可以被提取两次证明过程和币的废止通知是绑定的，相同证明但不同Nullifier的哈希不会允许提币安全性有126-bit的安全，不会因为composition而降级Vitalik提到过，和扩容相比，隐私相对比较容易实现，如果一些扩容的protocol都可以成立的话，隐私基本上不会成为问题。扩容：ZK的扩容可以在一层网络上做，如Mina，也可以在二层网络上做，即zk-rollup.ZKrollup的思路可能最早来自于Vitalik于2018的post，On-chainscalingtopotentially~500tx/secthroughmasstxvalidation。ZK-rollup有两类角色，一类是Sequencer,还有一个是Aggregator。Sequencer负责打包交易，Aggregator负责将大量的交易合并并创造一个rollup,并形成一个SNARK证明，这个证明会和Layer1以前的状态进行比较，进而更新以太坊的Merkle树，计算新的状态树。
去中心化交易平台Hashflow上线Avalanche:2月24日消息，去中心化交易平台Hashflow宣布上线Avalanche，用户可以以更低的交易费用和更快的确认速度交易AVAX、USDT和USDC以及其他从以太坊跨链至Avalanche的相关资产。此外，Hashflow将同步举办MountAVAX交易挑战赛。
交易挑战赛于北京时间2月24日23时开启，共历时5天，5天交易挑战赛的内容各不相同。Hashflow为本次参与交易挑战赛的用户备有总额达625,000枚HFT的交易奖励金，用户在本次交易挑战赛期间的每笔交易都将获得HFT奖励。[2022/2/25 10:14:28]
Source:PolygonZKrollup的优缺点：优点：费用低，不像OP会被经济攻击，不需要延迟交易，可以保护隐私，快速达成最终性缺点：形成ZK证明需要大计算量，安全问题，不抗量子攻击，交易顺序可能被改变
Source:以太坊research根据数据可用性以及证明的方法，Starkware对L2有一张经典的分类图：
HashCash首席执行官：区块链界限是模糊的，更有效的管理可以吸引更多投资者:7月2日消息，HashCash首席执行官Raj Chowdhury针对英国对币安的禁令发表评论，从很多角度来看，区块链的界限都是模糊的，从币安在英国被禁的这件事来看，也凸显了区块链技术是去中心化和无边界的，更有效的管理可以吸引更多投资者。我认为这并不会对加密货币领域构成负面影响，反而是一种成熟的表现。（Prweb）[2021/7/2 0:22:50]
Source:Starkware目前市场上最有竞争力的ZKrollup项目有：Starkware的StarkNet，Matterlabs的zkSync和Aztec的Aztecconnect，Polygon的Hermez和Miden，Loopring，Scroll等基本上技术路线就在于SNARK(及其改进版本)和STARK的选择，以及对EVM的支持。Aztec开发了通用化的SNARK协议-Plonk协议，运行中的Aztec3可能会支持EVM，但是隐私优先于EVM兼容Starnet用的是zk-STARK，一种不需要可信设置的zkp，但是目前不支持EVM，有自己的编译器和开发语言zkSync也是用的plonk，支持EVM。zkSync2.0是EVM兼容的，有自己的zkEVMScroll，一种EVM兼容的ZKrollup,团队也是以太坊基金会zkEVM项目的重要贡献者简要讨论下EVM兼容性问题：ZK系统和EVM的兼容一直令人头疼，一般项目会在两者间取舍。强调ZK的可能会在自己的系统里做一个虚拟机，并有自己的ZK语言以及编译器，但会加重开发者的学习难度，而且因为基本上不开源，会变成一个黑箱子。一般业界目前是两种选择，一是和Solidity的操作码完全兼容，另一种是设计一种新的虚拟机同时ZK友好并兼容Solidity。业界一开始也没有想到可以这么快的融合，但是近一两年技术的快速迭代，让EVM的兼容提升到一个新高度，开发者可以做到一定程度的无缝迁移，是振奋人心的进展，这将影响ZK的开发生态和竞争格局。我们会在之后的报告中仔细讨论这个问题。三、ZKSNARK实现的基本原理
HashKey Me：HashKey Me 团队未来计划参与波卡平行链插槽竞拍:10 月 17 日由 Polkaworld 主办的“波卡中国行”深圳站上，HashKey Me 市场运营总监 Ruby Wang 称 HashKey Me 团队将基于 Substrate 开发有关数字身份的应用并未来计划参与波卡平行链插槽竞拍。Ruby 认为，创建链上身份可以从源头上对用户身份信息进行加密，帮助用户实现数据主权、链上信用、隐私保护和数据价值的回归。
HashKey Me 作为 Web3 DeFi 生态的关键基础设施，提供了一整套基于分布式身份协议 MeID 的身份钱包的解决方案，可提供链上身份及信用模型，解决和优化高质押率和链下信誉传递等问题，并支撑和丰富各类链上应用场景。[2020/10/17]
Goldwasser、Micali和Rackoff提出了零知识证明有三个性质：完整性：每一个拥有合理见证的声明，都是可以被验证者验证的可靠性：每一个只拥有不合理见证的声明，都不应该被验证者验证零知识：验证过程是零知识的所以为了了解ZKP,我们从zk-SNARK开始，因为很多目前的区块链应用都是从SNARK开始。首先，我们先了解一下zk-SNARK。zk-SNARK的意思是：零知识证明是zero-knowledgeSuccintNon-interactiveARgumentsofKnowledge。ZeroKnowledge：证明过程零知识，不会暴露多余信息Succinct：验证体积小Non-interactive：非交互过程ARguments：计算具备可靠性，即有限计算能力的证明者不能伪造证明，无限计算能力的证明者可以伪造证明ofKnowledge：证明者无法在不知道有效信息的情况下构建出一个参数和证明对于证明者来说，在不知道证据的情况下，构造出一组参数和证明是不可能的。”Groth16的zk-SNARK的证明原理和如下：
Source：https://learnblockchain.cn/article/3220步骤是：1.将问题转换为电路2.将电路拍平成R1CS的形式.3.R1CS转换成QAP形式4.建立trustedsetup,生成随机参数，包括PK(provingkey)，VK(verifyingkey)5.zk-SNARK的证明生成和验证下一篇我们将开始研究zk-SNARK的原理、应用，通过几个案例来透视ZK-SNARK的发展，并探索它与zk-STARK的关系等。Reference：https://ethresear.ch/t/on-chain-scaling-to-potentially-500-tx-sec-through-mass-tx-validation/3477https://blog.polygon.technology/zkverse-why-zero-knowledge-rollups-need-a-new-consensus-mechanism/https://blog.decentriq.com/zk-snarks-primer-part-one/https://vitalik.ca/general/2021/01/26/snarks.htmlhttps://z.cash/technology/zksnarks/
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。