木星链 木星链
Ctrl+D收藏木星链

LAYER:一份关于零知识证明的不完整指南:为什么 ZK 如此重要?

作者:

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

关于ZK

用一句话形容零知识证明:ZKproof是证明者说服验证者某些陈述是真实的,但除了陈述是真实的之外不透露其他信息的一种方式。ZK是为匿名而设计的。想象一下,我们可以证明我们有一个有效的ID,而无需验证者知道我们的真实姓名或ID。

这里有一个更生动的例子。爱丽丝和鲍勃正在玩数独。爱丽丝想向鲍勃展示她找到了答案。但是,她不想透露任何关于答案的信息,因为Bob仍在研究它。你将如何设计这个证明?

答案很简单。我们把数独写成卡片,面朝下。鲍勃可以随机选择一列、一行或一个块。爱丽丝拿走那一列、那个行或那个块,然后洗牌。Bob可以通过检查1-9的卡片来验证正确性。通过不断地执行这一步,鲍勃可以说爱丽丝知道答案,但鲍勃在验证后不知道答案。

如果您仍然无法理解,请观看此视频。UCLACS教授将在五个不同的层次上解释ZK。你一定会理解它。

常见的零知识证明系统

在全面检查ZK证明系统之前,请注意ZK-SNARK指的是一类方案的名称,而ZK-STARK是特定方案的名称。

让我们从ZK-SNARK开始。SNARK代表简洁的非交互式知识论证。SNARK不同于其他ZK证明系统,因为它的信任设置阶段,“N”代表了:

简洁:证明大小和验证时间小于原始计算。

非交互:证明者和验证者不需要为每一轮来回通信。相反,证明者和验证者需要完成初始设置阶段。即使他们错过了设置阶段,公共验证者也可以稍后加入验证。

论据:具有极大计算能力的证明者可以通过生成错误的证明来验证者。发生这种情况时,公钥/私钥加密也会被破坏。

知识:证明者需要知道一些秘密才能进行证明。

ZK-SNARK的问题在于信任建立阶段。信任设置阶段生成一个参考字符串。如果参考字符串泄露,任何人都可以做假证明。此外,在多方之间协调这种信任建立阶段也很复杂。参考字符串只能在一个程序中使用。因此,不可能让ZK-SNARK具有用于一般计算的单一信任设置。另一个问题是参考字符串不可升级。如果我们升级程序,我们需要重新运行信任设置阶段。

为了解决这个问题,有两种方法:

透明设置:信任设置阶段设置一个CRS。如果CRS泄露,ZK证明系统不会受到伤害。Fractal、Halo、SuperSonic和ZK-STARK使用这种方法。这种方法的问题是证明的大小可能以kB为单位。这对于区块链领域来说太大了。

通用设置:设置创建一个秘密参考字符串,但它是结构化的。因此,它不仅可以在一个程序中使用。Marlin、SuperSonic-RSA和Plonk使用这种方法。

业界常用的ZK证明系统如下:

Groth16:在Zcash中使用。它速度快,证明规模小,验证时间恒定,但信任设置阶段需要为每个程序运行。

Sonic:支持通用设置。SRS与受支持程序的大小成线性关系。证明大小是固定的,但验证成本很高。另一方面,它使一般计算成为可能。

分形:允许递归。证明尺寸很大。

Halo:支持递归。它并不简洁,因为验证时间是线性的。大多数ZK应用程序都基于Halo2。

SuperSonic:第一款实用的透明ZK-SNARK。

Marlin:结构化引用字符串;通用且可更新;比Sonic更好的证明和变化时间,但比Groth16慢。

Plonk:通用设置;多方按顺序加入设置阶段。这使许多参与者很容易加入信任设置阶段;PLONK使用Kate承诺而不是多项式承诺。Plonk是现代流行的。许多ZK证明系统都基于Plonk,它们被命名为Plonkish。

这是基于这项研究的基准。CRS是通用参考字符串。SRS是在信任建立阶段生成的结构引用字符串。证明大小决定了基础层的存储成本——证明者和验证者的运行时间会影响计算资源。

中远海运子公司在GSBN区块链上签发第一份提单:金色财经报道,全球航运商业网络(GSBN)宣布,其区块链网络已被中远海运专业承运人用于其第一份电子提单(eBL)。其母公司中远海运是GSBN的创始股东之一。业界估计,eBL的采用率为1.5%至2%。数字集装箱航运协会(DCSA)正在积极与一些eBL供应商合作,如WaveBL、CargoX、edoxOnline、essDOCS、Bolero和IQAX eBL。[2023/1/18 11:17:34]

来源:比较通用zk-SNARKs

您可以在以下研究中找到更多基准:

使用isekai对零知识证明进行基准测试

零知识证明:STARKsvsSNARKs

社区提案:证明系统的基准框架

不同zk-SNARK的比较

总结一下,如果你看到一个新的零知识证明系统,你应该关心什么数字?

1tx和10txs的证明时间

1tx和10txs的验证时间

1tx和10txs的证明大小

可信设置阶段

参考字符串大小

CRS支持

可升级

SRS支持

递归支持

后量子安全

密码学假设

ZK是近几年来应用的。ZK的两个主要论点是rollup,它提高了计算效率和隐私。对于私人观点,这是直观的,因为ZK除了语句本身之外,不与验证者共享任何知识。Rollup论点在很大程度上依赖于ZK的两个特征:简洁和递归。简洁的特性有助于验证者节省许多计算资源,而不是重新运行整个程序。递归特性有助于节省存储空间。通过递归,区块链可以保持固定的大小。这也有利于去中心化,因为微小的区块链节点不需要高端硬件。

零知识应用开发

独立开发ZK应用,开发者需要具备以下研发技能:

算术技能的算法和低级优化。开发人员需要这种技能来解决有限域算术、多项式承诺和椭圆曲线中的问题。

有关ZK证明系统的密码学知识。开发者需要选择合适的零知识证明系统,他们可能需要对其进行定制。

电路编程技巧。开发人员需要为一些密码学原语开发约束。

应用程序和加密协议开发。

有效的开发工具不仅可以加快开发过程,还可以降低复杂性。例如,像Circom这样的工具负责处理低级代数和证明系统。开发人员可以忽略代数和ZK证明系统,而专注于编程和应用程序开发。

什么是rollup

机制

rollup的概念很简单。由于链上计算是扩展的,因此rollup将计算置于链下,并且只将结果存储在链上。

Merkle树的状态根存储在rollup合约中。根可以用来验证叶子的存在。智能合约知道如何用信息批量更新状态,状态根切换到新的状态根。

资料来源:rollup指南不完整(vitalik.ca)

ZKrollup批量使用ZKproof来验证新的状态根是否正确。ZK证明可以用来验证批量执行txs后,我们可以批量获取新的状态根。验证者无需执行即可验证计算的正确性,验证者甚至不会知道执行了什么。简洁的特性有助于ZKRU规模化。

OptimisticRollup不如ZKRU完美。例如,由于依赖欺诈证明,ORU的TPS较少,提款期较长。因此,一些ORU正在将ZK集成到他们的解决方案中。通过这种方式,他们可以提高TPS并缩短提款期。例如,他们可以将ZK添加到状态转换中,以缩短防欺诈时间。

角色

rollup中包含三个角色:

用户:用户在Layer2上提交txs。他们将资产存入Layer2。

Rollup运营方:Rollup运营方使网络保持运行。他们生成证明、执行txs、将txs分批并挑战欺诈证明。

基础层:这一层保证了Layer2的安全,是共识所在。Layer2最常见的基础层是以太坊

一名12岁的小学生在以太坊链上部署了一份智能合约:金色财经报道,RND创立者、12岁小学生黄正发布Solidity教程-智能合约创建和部署的视频教程,黄正称,一周前,在以太坊链上部署了一份智能合约。

这个课程是基于部署的这份智能合约的整个过程。课程将详细介绍智能合约的创建、部署、测试、到发布及后续一系列内容,希望大家能从这个课程当中学会如何自己创建一份智能合约。[2022/2/6 9:34:11]

资料来源:从第一原理理解Rollup经济学

经济结构

对于Layer2的经济来说,最重要的是成本和收入。

对于Layer2,我们可以将成本分解为以下内容:

证明成本

状态转换

基础层Tx成本

基础层的数据成本

网络的一项主要成本是数据存储。此图表说明了数据的存储方式。首先,用户将数据(txs)发送给汇总运营商。然后汇总操作员将大量数据打包成批次并发布到基础层。

资料来源:从第一原理理解Rollup经济学

此图表说明了Rollup为基础层支付的费用及其收入。

资料来源:L2Fees.info,2022年3月28日

Layer2的共同收入是费用和MEV价值。费用因网络状态而异,MEV因用户的交易而异。此外,Layer2可能会发行新的代币。代币将成为Rollup运营商的奖励。

常见的ZKRollup

此图显示了不同Layer2的现状。Arbitrum主导着整个市场。

来源:https://l2beat.com/2022年3月28日

该图说明了不同链使用的不同技术。这是一个简短的解释:

状态验证

欺诈证明:欺诈证明允许白名单中的参与者观察链来证明状态是不正确的。

ZK证明(ST):ZK-STARKS是确保状态正确性的零知识证明。

INT:交互式证明需要随着时间的推移进行多次交易才能解决。

SN:仅需要信任设置Exits:从网络中退出需要经过一段时间才能受到质疑。Internet网络状态未选中。

1R:单轮证明只需要单笔交易即可解决。

数据可用性

链上:证明构建所需的所有数据都在链上发布。

外部DAC:证明构建完全依赖于未在链上发布的数据。存在一个数据可用性委员会(DAC),其任务是保护和提供数据。

外部:证明构建完全依赖于未在链上发布的数据。

可升级性

是:保护系统的代码可以任意更改,恕不另行通知。

21天或无延迟:有21天的延迟,除非它被9/15安全理事会多重签名覆盖。

定序器故障

使用L1进行交易:用户能够通过L1提交交易并强制将其包含在L2上。

强制交易/退出到L1:用户可以通过L1提交请求来强制定序器包含交易或提款交易。用户需要通过系统外的方式寻找交易对手方。如果定序器出现故障,用户可以使用退出舱口提取资金。

强制退出到L1:用户可以通过L1提交请求来强制排序器包含他们的提款交易。如果定序器出现故障,用户可以使用退出舱口提取资金。

提议区块:用户需要运行自己的节点并使用它来提议包含其他审查交易的新区块。提出新区块需要创建计算量非常大的ZK证明。

退出到L1:用户只能提交L1提款请求。之后,用户带着他们的资金退出系统。

验证失败:

逃生舱:用户可以通过提交资金的默克尔证明来不信任地退出他们的抵押品。头寸将使用最后一批状态更新的平均价格平仓。

提议区块:用户需要运行自己的节点并使用它来提议新区块以替换验证者。

美国SEC提交一份补充授权书以驳回XRP公司公平通知辩护的动议:金色财经报道,美国证券交易委员会提交了一份补充授权书,支持其驳回XRP公司公平通知辩护的动议。原告使用了一个不同案件的判决书,其中有类似的公平通知论点,该判决最终落入了美国证券交易委员会的圈套。

去年12月底,在SEC vs Fife一案中,伊利诺伊州北区法院驳回了被告的驳回动议,使用的是瑞波在XRP诉讼中坚持的公平通知论点。在另一起案件中,美国证券交易委员会对芝加哥的约翰-M-法伊夫及其公司提出指控,指控他们在未向美国证券交易委员会登记为证券交易商的情况下收购和销售超过210亿股便士股票。(coingape)[2022/1/7 8:32:36]

来源:https://l2beat.com/2022年3月28日

以下是Ethhub上列出的ZKRU的优缺点:

优点:

减少每次用户转移的费用。

比OptimisticRollup和Plasma更快。

区块将在一个鼓励去中心化的并行计算模型中计算。

每个事务中包含的更少数据增加了第2层的吞吐量和可扩展性。

它不需要像OptimisticRollup这样的欺诈游戏验证,它可以将提款延迟最多两周。

缺点:

计算零知识证明的难度将需要数据优化以获得最大吞吐量。

ZKRollup的初始设置促进了中心化方案。

安全方案假定了某种程度的无法验证的信任。

量子计算对破解区块链构成威胁。

目前,大多数可用的ZKLayer2仅具有有限的功能,例如支付。ZKSync是Gitcoin使用的一种支付层。还有启用了自定义VM的ZKLayer2。这些自定义VM与EVM不兼容,例如(StarkEx+Cairo,zkSync1.0+Zinc)。

ZKEVM是所有ZKRU的下一个里程碑。ZKEVM解决方案分为三个级别:

共识层面:现阶段,ZKEVM相当于以太坊上的EVM。它为以太坊上的状态根生成证明。

字节码层面:ZK证明系统在这个ZKEVM中发挥着重要作用。在这个阶段,ZKEVM生成的状态根与以太坊EVM不兼容。Hermez的Scroll采用了这种方法。

语言层面:在这种状态下,没有真正的ZKEVM。转译器将Solidity转换为与EVM完全不同的ZK友好型VM。zkSync和Starkware采用这种方法。

在以太坊路线图?中,以太坊将集成共识级别的ZKEVM。

来自EF的JustinDrake预计会在2022年看到字节码级别的ZKEVM,例如Hermez或Scroll,但有一些限制:

与以太坊当前的gas限制相比,其gas限制较小。

由于计算困难,中心化证明者。用户可能会在2023年开始使用GPU运行他们的证明器,到2024年,SNARK证明ASIC。硬件的发展将从CPU、GPU、FPGA转向ASIC。

由于开发的复杂性,会存在错误。

为了进一步降低成本,一些ZKRU正在实施Volition,改变它们的基础层。他们计划将数据存储在链下或链上。

市场上有16个ZKRU,其中7个已经发布了代币。总市值为$150亿,约占整个加密市场的0.67%。

Polygon

Polygon目前在4个ZK产品上工作:

Miden?:拥有1000+TPS的实验通用计算ZKRU;15分钟退出;5秒出块时间;支持隐私。

Nightfall?:Nightfall是一个启用ZK以提供私人交易的ORU。大约9000gas/tx和110TPS。它是为安永设计的。

Hermez?:与EVM兼容的ZKRU;2000TPS。该网络目前处于活动状态。每批次的平均txs为1。每日tx数量几乎为零。

Zero?:启用递归的通用计算ZKRU;0.17秒生成证明;45kb证明大小;一个账户只占用5个比特。

zkSync

zkSync?于2019年12月启动。zkSync是由MatterLabs构建的ZKRU。它基于Plonk和可信赖的。目前,它支持支付功能和有限的智能合约功能,使用定制的编程语言Zinc。

zkSync2.0测试网于2月上线,特色ZKEVM。MatterLabs将大部分OPCODE制成电路以实现EVM兼容性。目前,它不支持ADDMOD、SMOD、MULMOD、EXP、CREATE2和KECCAK256。在这种方法中,Solidity将成为一等公民。

zkSync2.0中的gas将根据当前的Layer1gas价格和ZK证明生成成本而波动。

Cardano创始人:IOHK与安全审计公司Runtime Verification签署了一份七位数的合同:Cardano创始人、IOHK首席执行官Charles Hoskinson在最新的AMA上透露,IOHK已与安全审计公司Runtime Verification签署了一份七位数的合同。此外,Charles还表示将在10月29日的月度产品更新中发布关于Goguen的路线图。(Crypto News Flash)[2020/10/11]

为了进一步提高TPS并降低成本,zkSync将推出ZKPorter。用户可以选择将他们的账户数据存储在ZKPorter上,这比基础层的成本要低得多。如果一个账户存储在ZKPorter上,它的所有tx只能存储在ZKPorter上。它们不能存储在以太坊上。ZKPorter将由zkSync代币持有者保护。

资料来源:Dune,2022年3月28日

Starkware

Starkware由Zcash的核心团队成员于2018年5月启动。

Starkware有两种解决方案:StarkEx、StarkNet。

StarkEx是一个SaaS,为dYdX、DeverseFi、Immutable、Sorare等项目设计ZKRU。dYdX相当成功。以下是一些关于dYdX的指标。它每周有大约4,000名活跃交易者。

来源:Layer2公共仪表板?Metabase(dydx.exchange)

StarkNet是无需许可的版本。StarkNet不兼容EVM。它使用Cairo编写智能合约。

Starkware也在开发ZKEVM。但是,他们有不同的方法。他们使用Warp将Solidity编写的智能合约转译到StarkNet上的Cairo。这种方法不如zkSync。

与EVM兼容的StarkNetAlpha版于2021年11月推出。目前,每日交易数为1033。

同样,Starkware也在研究链下存储。用户可以选择在以太坊或链下处理他们的交易。

路印

Loopring是一个ZKRUDEX,支持低费用的现货交易,具有2000TPS。

Loopring于2018年发行了其代币LRC。目前,Loopring的市值为13亿美元。Loopring共有65000用户,每天增加167个独立用户,每天有10896笔交易。

dYdX是Loopring的强大竞争对手。未来,当ZKEVM流行起来时,会有更多的竞争者加入这个市场,因为在ZKEVM上的开发比开发新的Layer2DEX更快。

当前状态

区块链空间已进入多链时代。不同的链有不同的重点,各有特点,不光是纸上谈兵。我们在过去看到了许多具有高TPS的新链。现在,这些链拥有强大的生态系统和特色应用。由于开发工具,创建具有高TPS的新链比以前更容易。因此,现在我们更强调特色应用程序,而不是纸质数字。

Moonbeam就是一个很好的例子。它具有某种类似Polkadot的基础层和高TPS。这看起来与大多数Layer2相似。在发布之前,moonbeam与许多项目合作,比如寿司。它以完整的生态系统启动,如顶级DEX、借贷和跨链桥,但缺乏重点和特色应用程序。

资料来源:Defillama,2022年3月29日

因此,layer2需要具有与其他高TPS链竞争的特性。在layer2生态系统中会有几个潜在的机会:

俄罗斯财政部正起草一份关于数字货币的法律提案 将数字货币交易合法化:俄罗斯财政部正在起草一份关于数字货币的法律提案,法案可能会对数字货币交易所进行合法化,财政部已经在对各交易所进行调研。俄罗斯可能会是日本之后,第二个对数字货币交易所合法化,并颁发执照的大国。 ????[2018/1/13]

资料来源:DefillamadYdX,2022年3月29日

利用Layer2的高吞吐量和较低费用的应用程序。一个例子是dYdX。作为DEX,它提供了类似CEX的体验。

由于所有Layer2都使用相同的基础层,因此构建跨layer2应用程序会更安全。例如,聚合layer2之间的碎片化流动性。Starkware提出dAMM来解决这个问题。dAMM允许layer1LP向layer2交易者公开。

开发工具包,帮助开发者快速构建应用特定的layer2。这可能看起来像PolkadotSubstrate和CosmosSDK。这个想法是,如果应用程序变得更大,它将在基础层消耗更多资源。为了降低计算成本,它要么构建它的链,移动到layer2,要么构建它的layer2。我们看到AxieInfinity面临同样的问题。当时,建链是唯一的解决方案。但是,一条分离的链是孤立的,无法从基础层生态系统中受益。迁移到layer2看起来不错,但不够灵活。该应用程序面临与基础层相同的约束。因此,最有希望的解决方案是拥有它的layer2。如果跨Layer2方便并且与基础层很好地集成,那么应用程序不会因为离开基础层而失去任何东西。

更好地与基础层集成。用户感觉不到layer2和基础层有什么区别。这包括资产桥和协议通信。

不同种类的虚拟机。更强大的ZKEVM或ZKWASM。

Layer2在其他链上。不同的链有不同的集中度。ZKRU也向他们承诺。ZKLink团队已在Solana中实施Groth16。Solana专注于吸收传统金融机构。这些机构需要ZK来保护其客户的隐私。

ZK桥。几乎所有的桥梁都不是无需信任的。对于网络参与者,我们至少需要信任某个人,比如预言机。虽然网络参与者有存款,但很难计算削减条件。理想的无信任桥是ZK桥。轻客户端捕获区块并生成证明。这样,我们就不需要相信神谕所说的了。由于SNARK,我们可以以很小的成本验证证明。当前的问题是如何在ZK电路中构建区块验证器。此外,可扩展性很糟糕。轻客户端与区块链共识相结合。因此开发者需要为不同的链构建不同的电路。

将ZK算法商业化。有许多针对专业问题的商业化算法,例如用于线性规划的高级求解器和Microsoft的GPT-3。但是,如果ZK是高度专业的,并且只有选定的开发人员才能做到这一点,那么就有商业化算法的空间。目前,大多数ZK从业者都受过高等教育并拥有CS博士学位,数学或密码学学位。

芯片和云计算。如果更多的用户迁移到ZKRU,那么对计算能力的需求就会越来越大。节点运营商需要更多的计算能力来竞争打包交易,这是有利可图的。在以太坊路线图中,以太坊将集成ZKEVM,这意味着以太坊矿工也需要计算ZK证明。专用芯片可以赋予节点运营商更多的计算能力和更低的功耗。云计算可以让更多用户访问ZKRU节点运营。这种对专用芯片和云计算不断增长的需求可能与我们在以太坊采矿业中看到的相似。矿工首先使用CPU和GPU。然后他们改用专用的FPGA和ASIC。云挖矿在以太坊和比特币挖矿行业已经存在很长时间了。另一个例子是人工智能芯片。现在每部iPhone都有专用的AI芯片。如果ZK是隐私的新标准技术,那么每部iPhone都会有SNARKASIC。

递归启用ZKRU。区块链需要平衡安全性、去中心化和TPS。区块链大小在这里起着重要作用。在传统区块链中,更大的区块链意味着中心化,因为节点需要先进的硬件。然而,更小的区块链意味着更低的TPS。很难平衡TPS和去中心化。现在递归将改变这一点。递归可以在不损害TPS的情况下最小化区块链大小。

隐私

ZK已经在许多隐私项目中使用。例如,Tornadocash、Zcash、黑暗森林。

隐私项目分为三个阶段:

交易隐私:用户可以隐藏他们的交易

一般计算隐私:目前以太坊上的所有计算过程都是公开的。任何人都可以看到输入、输出和状态转换。

函数隐私:有时函数的名称会泄露信息。例如,mint()通常表示铸造代币。

隐私项目的总市值约为100亿美元,约占整个加密市场的0.45%。每日交易量约为$10亿美元。

TornadoCash

TornadoCash是一种基于智能合约的隐私交易工具。它用于隐藏现金流。它现在支持Ethereum、BSC、Polygon、Optimism、Arbitrum、Gnosis和Avalanche。

为了可用性,它实现了隐私。充值、等待、提现,用户可以拿到干净的钱。

ZK用于用户的存款和取款过程。

资料来源:Dune,2022年3月28日

资料来源:TradingView2022年3月28日

Zcash

Zcash是使用zk-SNARK实现私密交易的区块链。与TornadoCash不同,Zcash自定义区块链以实现隐私交易。

资料来源:2022年3月28日Zcash交易图表

资料来源:TradingView2022年3月28日

Zecrey

Zecrey是一款支持Ethereum、Polygon、BSC、Near和Avalanche的隐私支付应用程序。它处于隐私的第一层,交易隐私。Zecrey提供了一个浏览器钱包来帮助用户私下转移和交换代币。要私下交换和转移,用户需要将代币存入由Plonk提供支持的Zecreylayer2。layer2中发生的一切都可以是私有的。Zecreylayer2也支持跨链交换。

资料来源:Zecrey

目前,Zecrey每天大约有10笔交易

Suterusu

Suterusu是一款支持Ethereum、BSC、Fantom和Polygon的私人支付应用程序。它使用layer2来保护用户的交易隐私。它还有一个跨链桥,可以在ETH和BSC之间转移$SUTER。

资料来源:Suterusu

Suterusu共有15000位用户和24000美元存款。用户增量停滞不前。它的市值约为1000万美元。

黑暗森林

黑暗森林是一款MMO。玩家需要向其他星球发送能量来占领它们。行星的位置是保密的。玩家需要自己找到这些行星。ZK用于证明位置相关的操作:

行星初始化

行星资源运动

v0.6第一轮,1700名玩家加入游戏,700人进入下一轮。在这一轮中,玩家完成了200万笔交易,花费了大约1.5万亿的gas。假设它在以太坊上,按80gwei的价格。所以总gas将花费120ETH。

StealthAirDrop

StealthAirDrop允许用户匿名获得空投。用户首先使用他们的空投钱包来生成证明。然后他们可以使用其他钱包来获取带有证明的空投代币。

A16z也实现了类似的东西a16z/zkp-merkle-airdrop-contracts?(GitHub.com)。

这个例子展示了ZK在投票中的应用。

资料来源:nalinbhardwaj/stealthdrop:使用ZK-SNARKs的匿名空投

zkProofofBuffiness

该项目在ETHDanver上亮相。用户可以生成ZK证明来证明他们有一个buffiness,而不需要透露除用户的Buffiness之外的任何关于他们自己的信息。

这是ZK在Identity中的一个应用。

来源:zkPoB

总结起来

小型隐私市场。隐私项目很早就开始了。Zcash始于2016年。然而,整个隐私市场仅占整个加密市场的0.45%。

受益于更高的隐私标准。用户在不牺牲可用性的情况下追求更强大的隐私保护。尤其是在手机行业,谷歌和苹果正在推动更严格的隐私标准。欧盟提出了保护消费者隐私的法规。像let'sencrypt这样提供SSL证书的基础设施公司可以从中受益。未来,ZK可能会被这些大公司采用,ZK基础设施将有巨大的机会。

吸引机构的必备品。大型机构有责任保护客户的隐私,一些区块链正试图加入这些大型机构。对于这种情况,ZK将是必须的。

受益于DAO治理和身份。匿名是民主治理的一个重要方面。ZK可以授权隐私保护治理,让参与者自己做出决定,而不会被其他人的决定分散注意力。身份也可以从隐私中受益。用户可以在不显示实际地址的情况下透露其身份。

忽略零知识,关注产品可用性。ZK可以更好地保护隐私,但一个产品并不是ZK的全部。ZK更注重技术,我们需要强调产品的可用性。通常更多的隐私意味着糟糕的可用性,但可用性是最关键的兼容性。因此,更多地关注可用性、市场和团队。

其他有趣的项目

ZKRepel

ZKRepel出现在第13轮Gitcoin捐赠计划GR13并获得了5000美元。这是ZK生态的在线游乐场。开发人员无需设置本地开发环境,即可在ZKRepel中快速编写和测试电路。它类似于混音。

我们看到了从本地开发到基于云的开发的范式转变。有Codesandbox、Codepen、Codespaces等著名产品。有了这些产品,开发人员可以随时随地持续工作,快速搭建新的开发环境。开发环境作为基础设施是当今大趋势。这是GitHub提出的,GitHub用Codespaces实践了它。

没有关于ZK开发者的明确统计数据。但是,从GitHub上的数据来看,它比Solidity开发者少500多倍。

资料来源:ZKRepel

查找更多ZK项目

资料来源:如何资助你的ZK项目?

这里有一些专注于ZK项目的VC或赠款:

ZKTechGitcoinGrants?:Gitcoin第一轮在19个项目中匹配10万美元。

0xPARC捐赠计划?:支持以太坊和其他去中心化平台上的应用程序级创新。

zkDAO?:新推出的2亿美元资金,由zkSync和BitDAO支持,以支持zkSync生态系统。2亿美元中的7.5%将用于赠款。

Polygon零知识基金

AztecGrants?:目前专注于桥梁、工具和分析。

HarmonyZKFund:用于ZK和隐私研究的1000万美元基金。

ZKValidator?:专注于ZK的基金。主要投资者包括Aztec、Penumbra、Ironfish、Anoma、zkSync、Aleo、Diversfi

Aleo的ZPrice?

结论

ZK是一项非常有前途的技术,可以将不可能的事情变为可能。近年来,这里发生了很多突破。这些突破,如更强的性能、可升级性和无需信任设置,将ZK推向了应用阶段。因此,如果我们要查看ZK项目,我们需要关心这些理论数字:

证明时间

验证者时间

证明大小

可信设置阶段

参考字符串大小

CRS支持

可升级的SRS支持

递归支持

后量子安全

密码学假设

ZKEVM是ZKRU的下一个里程碑。ZKEVM分为三个阶段:

共识层面

字节码层面

开发语言层面

ZK刚刚进入应用阶段。生态系统仍然是空的。并非ZK的每一个特性都被很好地使用并应用于新产品。人们仍然可以从这一前沿理论中获得灵感。以下方向最能从ZK技术中受益:

需要高TPS和低费用的应用

跨二层通信协议/应用

Layer2中的聚合碎片流动性

开发套件/框架

基于云的开发工具

具有独特功能的跨Layer2的Layer1应用程序

不同的zkVM

中控桥

在其他链上应用ZK

启用递归的Layer2

ZK在DAO和社区治理中

将ZK算法商业化

芯片和云计算

ZKRU中的递归

应用ZK有两个主要论点:Rollup和隐私。Rollup比隐私更有希望。隐私没有意义,因为它被设计为透明的。隐私文化与透明精神背道而驰。此外,隐私可能存在合规问题。Web2时代,我们看不到隐私应用的繁荣。在同一品类中,顶级产品并没有高度关注隐私,尽管越来越多的机构改进了他们的隐私保护。隐私确实需要权衡。大多数时候是可用性,这是用户的关键。

在查看ZK应用程序时,以下几点很重要:

ZK是一个花哨的术语。没有ZK,真正的产品是否仍然具有竞争力并且具有良好的用户体验。

ZK很复杂,对开发速度造成了额外的负担。

ZK使DAO治理和身份受益

ZK将帮助机构上链

标签:LAYERARKROLLROLlayer币最新消息NOAHARK币TROLLER币roll币在哪换

抹茶交易所热门资讯
比特币:传统金融专家眼中 加密企业应如何进行财务管理?

财务部门的目标应该是确保有适当的现金来防止时间、货币和地理上的不匹配。它不是一个寻求收益最大化的内部对冲基金.

1900/1/1 0:00:00
AMP:价格预言机的使用总结(二):UniswapV2篇

前言该系列的前一篇文章介绍了Chainlink价格预言机的使用,其目前也被大部分DeFi应用所使用,但依然存在局限性.

1900/1/1 0:00:00
元宇宙:元宇宙混沌期 什么是真风口?

前景毋庸置疑,爆发为时尚早。4月27日,中国科技产业智库「甲子光年」在线上举办2022「甲子引力X」数字经济高峰论坛.

1900/1/1 0:00:00
区块链:中国NFT第一案 释放了哪些关键信号?

就在昨天,杭州互联网法院依法公开开庭审理了某科技公司侵害作品信息网络传播权纠纷案并当庭宣判。该案应当是我国数字藏品侵权纠纷审结并公开宣判的首案.

1900/1/1 0:00:00
元宇宙:数字藏品:新业态?新增长?抢抓先机 文旅企业要这么做

一个全新的互联网时代——元宇宙时代已然到来。作为元宇宙的重要应用方式,数字藏品成为文旅行业广泛关注的焦点.

1900/1/1 0:00:00
稳定币:为失败而生:算法稳定币的内在脆弱性

算法稳定币天生就是脆弱的,这些无抵押的数字资产试图使用金融工具、算法和市场激励来挂钩参考资产的价格,它们根本不稳定,而是处于永久脆弱的状态.

1900/1/1 0:00:00