区块见闻 区块见闻
Ctrl+D收藏区块见闻
首页 > BNB > 正文

区块链:小学生也能看懂的零知识证明科普:什么zk-Rollup?_COI

作者:

时间:

本系列将试图用通俗举例和语言,帮助大家理解复杂概念。本系列非学术论述,举例只为帮助大家通俗理解。如有错误,欢迎指正。更严谨的表述,欢迎大家查看专业论文学习。

前情回顾,

1/零知识证明,英文为ZeroKnowledgeProofs,简写为ZK或ZKP。

zkXXX,即代表应用了零知识证明。

2/零知识证明技术,要在证明速度、验证速度、整体大小之间做取舍,继而产生的用户体验不同。

zk-SNARK诞生时间久,经过验证,应用比较成熟,并诞生了Groth16、PLONK、Halo2等多技术分支。zk-STARK相较而言,诞生时间较短,仍需时间验证完善。

Manta采用Groth16,是目前最快、数据量最小的zk-SNARK。Manta在椭圆曲线密码算法等基础上,进一步优化升级,ZK生成速度比Zcash快十倍。交互确认时间仅需2-3秒。

3/ZK开发逐渐模块化。zk-SNARK与zk-STARK之间,可通过切换多项式承诺,进行相互转换。且,代码终会开源,所以长期看,单靠技术无法构筑壁垒。

正式开始本篇内容。

金色晚报?|?9月4日晚间重要动态一览:12:00-21:00关键词:SBI、SushiSwap、Filecoin、EOS网络、CSW

1. 我国首个金融区块链国际标准通过立项。

2. 日本金融巨头SBI计划推出基于区块链的数字证券交易所。

3. 流动性挖矿项目SushiSwap发起流动性迁移提案。

4. 慢雾科技已完成SUN项目智能合约安全审计。

?5. 数据:Filecoin大矿工测试全网有效算力突破100 PiB。

6. 数据:7月中旬以来稳定币供应量每天增加1亿美元。

7. Tether在EOS网络增发2500万枚USDT。

8. Kleiman诉CSW一案已推迟至2021年1月4日开庭审理。

9. Tether和Bitfinex母公司提出动议要求撤销市场操纵指控诉讼。

10. 美国国会众议员提出法案以深入研究商业中的区块链技术。[2020/9/4]

什么是Rollup?

Roll,卷、滚的意思。Up,向上、起来的意思。Rollup就是“卷起来”。

当然,这不是内卷那个“卷”,而是像面饼一样,把食材统统卷进去的那个“卷”。

Rollup,就是把许许多多多笔交易“卷”起来,在自己的网络里处理掉。

金色晚报 | 1月7日晚间重要动态一览:12:00-21:00关键词:央行、教育部、SBI、苹果

1. 央行深圳支行:央行贸易金融区块链平台业务量900多亿元;

2. 教育部:我国将围绕AI、区块链等领域集中力量编写一批新教材;

3. 司法部:探索推进“区块链+公共法律服务”;

4. 彭博社:SBI和GMO成为全球最大加密货币矿场新客户;

5. 波卡测试网Kusama已恢复出块,Gavin Wood发文详述Bug解决方案;

6. 苹果将区块链浏览器Brave推荐为“我们喜爱的新应用”之一;

7. 以太坊缪尔冰川升级后,出块量接近历史最高水平;

8. 河北省省长:促进区块链技术应用及产业发展;

9. V神:以太坊2.0可能在Q1或Q2上线。[2020/1/7]

Rollup通常运行一组中心化定序器,为Rollup上的交易进行排序。定序器就像中心化的服务器。

Rollup与以太坊主链关系,举个便于理解但不十分严谨例子,如同初期的支付宝与银行。

资金从以太坊主网转入Rollup,如同把钱从银行卡转入支付宝。

用户在Rollup交互,交互信息并不直接提交到以太坊主链上,而是由Rollup定序器进行排序。

金色晚报 | 今日重要动态一览:1.周小川:全球性数字货币需要一个类似全球央行的机构

2.中国人民银行将在北京市率先启动金融科技创新监管试点

3.泰国-香港将在数字货币原型中推出两层代币 以加快跨境贸易融资

4.李林:区块链将使金融监管全球化

5.美国金融稳定监督委员会敦促对数字资产进行监控

6.欧盟专员:欧盟正在制定有关加密类资产和稳定币的规则

7.印度央行行长:现在谈论央行数字货币还为时过早 但正在研究

8.日本瑞穗银行将于明年1月开始使用J Coin Pay进行结算

9.2019版新闻记者证应用“中钞链源”技术

10.BTC今日最低跌至7115.75美元,最高涨至7499.32美元[2019/12/5]

这个过程,称为“链下扩容”,所谓“链下”指的是在以太坊链下。

支付宝初期,用户直接使用支付宝余额交易,银行对具体交易信息,并不知情。支付宝相对银行,也是“链下”。

定序器会对Rollup里的交易,统一进行排序、打包、压缩,隔一段时间提交到以太坊主链,由以太坊主链提供结算、校验交易数据,以减轻主链负担。

主链矿工可以通过欺诈证明或有效性证明,验证Rollup交易数据是否真实。

Uniswap V3 24小时以太坊销毁量达557ETH:据欧科云链链上大师数据显示,当前以太坊销毁量为124.01万ETH,24小时Base Fee均值66 Gwei;昨日以太坊销毁量6424.88ETH,环比上升22.17%。近24小时销毁量前三的协议分别是Uniswap V3 557 ETH、OpenSea 528 ETH以及Uniswap V2 317 ETH。[2021/12/22 7:55:31]

举个例子,用户在Aribitrum上,使用Gmx疯狂进行衍生品交易。这些操作,都让Aribitrum“卷”起来处理掉了,这些交互仅在Aribitrum当前Rollup上发生,不会造成以太坊主链拥堵。

Aribitrum会将一段时间内的交互信息排序、打包、压缩、提交到以太坊主链,由以太坊全节点校验交易数据真实性,所以,Rollup称为执行层,主要负责执行交易。

OptimisticRollup与ZKRollup?

Optimistic与ZK,是以太坊主链全节点,校验Rollup交易数据真实性的方式,可以理解成是对账方式。

Rollup是处理交易的方式。

这俩都是Rollup,所以,处理交易方式一致,都是“卷起来”。区别在于,对账方式:

1/Optimistic,意为“乐观的、积极的”。

OptimisticRollup“乐观的”默认交易信息真实有效。

万一有人提供虚假交易信息呢?

若使用Aribitrum或Optimism,会发现,把代币跨回其他网络,需要等待几天时间,即“等待期”。

“等待期”内,以太坊主网全节点都可以发起挑战,证明某交易为假。

由于Rollup数据层和结算层仍使用以太坊,相当于根账本在以太坊上,所以,Rollup自身是无法篡改、作弊的。

若挑战成功,则会罚没作弊者保证金,交给挑战者,并回滚该区块内的交易。

2/zk-Rollup

还记得ZK的基本原理及特性嘛?

证明者和验证者。证明者生成证明,验证者在不获取信息本身的前提下,验证该证明。

ZK有以下特性:

完备性:提交者若确实掌握了答案,那他能找到方法向验证者证明为真,即真的假不了。

合理性:若提交者未掌握答案,那他无法向验证者证明为真,即假的真不了。

零知识性:证明过程中,验证者除了“证明”之外,不会获得其他相关信息。

zk-Rollup会在向以太坊主网提交区块时,生成一个零知识证明。主网全节点验证该证明即可。

需要注意的是,zk-Rollup通常只应用了ZK前两个属性,即完备性与合理性,达到压缩计算的目的。

OptimisticRollup需要将一段时间内交易数据,压缩后,完整地连同状态根、欺诈证明,传回到以太坊主网。

由于交易数据和结算仍存储在以太坊主网上,当全节点提出挑战时,可根据先前存储的状态,校验欺诈证明是否成立,判断OptimisticRollup是否作弊。

zk-Rollup不需要将全部交易数据发布至以太坊主网,仅发布状态差异和有效性证明即可,这样会使得交易成本Gas更低。使用zk前两个属性,达到压缩计算目的。

zk-Rollup证明文件很小,验证时间一定,所以证明本身不会随着交易数量增加而变大。

长期来看zk-Rollup在Gas成本和Tps方面,要优于OptimisticRollup,且无需提现等待期。

所以,以太坊创始人Vitalik认为,短期内OptimisticRollup会因EVM兼容性占据优势,但长期来看,zk-Rollup会胜出。

本质上,OptimisticRollup安全来自于经济学,作恶者要考虑损失的成本,挑战者的动机由经济利益驱动。

zk-Rollup安全来自于密码学,用密码学手段验证证明,可以做到去信任化。

长期看,zk-Rollup相比OptimisticRollup更具优势,但短期仍受制于zk-EVM发展。这也是我们在下一篇会聊到的话题。

这里需要区分的是,用户在zk-Rollup上的交易信息仍是透明可查询的。

而Manta作为基于ZK的可编程隐私公链,除前两个特性外,还重点应用了零知识性,让链上交易隐私化。

Rollup与模块化

不可能三角,又称三元悖论,通常指去中心化、可扩展性、安全性三者不可同时兼得。

通常,模块化是指,把Layer1共识、结算、数据、执行四层分别解耦,在不增加节点硬件负担,造成中心化前提下,实现扩容,打破“不可能三角”。

V神在波哥大以《Hardeningrollupswithmulti-proofs》为主题进行分享,即采用多证明机制,加强Rollup安全。

方案二是多证明人机制,采用多证明系统,用欺诈证明或zkEVM多种实现,预防网络宕机情况。

方案三是双重证明加治理小组,采用欺诈证明加ZK证明,再加上治理小组裁决。当一个证明系统出现漏洞,另一个系统不受影响。

在此之前,Optimism的Kelvin曾写过《ThehybridZK/OptimisticRollupofthefuture》,探讨过将Optimistic与ZK相结合。

总结下,1/Rollup内的交易,隔一段时间统一压缩打包,提交到以太坊主网,由主网提供结算、验证交易数据,以减轻主链负担。

2/Optimistic与ZK,是以太坊主链全节点,校验Rollup交易数据真实性的方式,可以理解成是对账方式。Rollup是处理交易的方式。

3/OptimisticRollup需要将一段时间内交易数据,压缩后,完整地连同状态根、欺诈证明,传回到以太坊主网。

zk-Rollup不需要将全部交易数据发布至以太坊主网,仅发布状态差异和有效性证明即可,这样会使得交易成本Gas更低。使用zk前两个属性,达到压缩计算目的。

4/本质上,OptimisticRollup安全来自于经济学,作恶者要考虑损失的成本,挑战者的动机由经济利益驱动。

zk-Rollup安全来自于密码学,用密码学手段验证证明,可以做到去信任化。

5/用户在zk-Rollup上的交易信息仍是透明可查询的。而Manta是基于ZK的可编程隐私公链,除前两个特性外,还重点应用了零知识性,让链上交易隐私化。

6/当前,将Optimistic与ZK结合,是Rollup探索方向之一。

本篇重点讲述了zk-Rollup,略微涉及到zkEVM内容。下一篇,我们将重点阐释zkEVM相关内容,欢迎继续关注MantaNetwork中文公众号及推特。

标签:IMI区块链FTXCOILIMIT区块链技术最早应用于MEEB Vault (NFTX)Soda Coin

BNB热门资讯
CLU:专题报告:NFT 组合大 PK (一)_区块链技术的特点

应该抄底哪些蓝筹NFT?正如我们前几周一直所提示的,NFT市场也迎来了本年度新的价格低点,在NFT市场仍然存在不确定的时候,大部分NFT项目都面临着流动性枯竭、价格不断下跌的状况.

CHT:金色观察 | FTX暴雷会怎么影响Solana乃至整个DeFi乐高_ACH

文/meowSolana聚合交易所Jupiterexchange1、FTX暴雷面临的一个最具挑战性和潜在问题是,solana生态系统的包装Sollet代币,即soBTC.

数字货币:金色晚报 | 11月13日晚间重要动态一览_区块链dapp开发例子

12:00-21:00关键词:香港、FTX、Serum、Crypto.com1.香港财政司司长:稳慎推进虚拟资产业在港发展;2.外媒:FTX服务条款中明确禁止使用客户资金进行交易;3.

TIX:V3 版本将至 老牌 DeFi Synthetix 能否迎来「第二春」?_OPT

撰文:Babywhale,ForesightNewsSynthetixV3的主要方向有两点:一是增加除了SNX之外的抵押资产,二是通过原子交换的无滑点特性帮助更多资产提高流动性.

ACK:去中心化Dora:释放世界上最大的黑客运动力量_DORA

DoraGrantDAO长期资助项目正在进行时。截止今日,共169支团队申请加入DoraGrantDAO资助计划,他们将共同角逐总计200,000美元的项目资助资金池.

DORA:DCG的7个“葫芦娃”集体过火山:灰度正丧失竞争力 交易所Luno成交量巨低_ESI

又一个“巨人”可能倒下,DCG子公司正在丧失盈利能力。Genesis在Luna/UST、三箭资本、Babel、FTX/Alameda等事件中数次踩坑,最终于11月16日宣布暂停赎回和新贷款的发放.