比特币价格·比特币行情
Ctrl+D收藏简单区块链

十全十美的 zk rollup 预共识体制_艺术品

作者:

时间:2021/5/7 20:37:04

十全十美的 zk rollup 预共识体制

1)过长不要看:

文中简述了一种预共识体制,能够 完成及时终局性并降低验证 gas 成本费,另外不危害 zkRollup 的及时资产撤出。

2)情况和主观因素:

在承诺间距充足短(如 10 分鐘)的状况下,zkRollup 能够 完成及时终局性。在这个计划方案中,聚合者的信赖风险性会随时间间隔提高而提升,完成终局性的成本费(如果是 Groth16 优化算法,每一个承诺的验证 gas 成本费超出 20 万 gas)会随时间间隔增加而减少。

最先表明 zkRollup 的匹配验证成本费超出 20 万 gas(使用价值 100 至 500 美金)。换句话说,在 zkRollup 的每一个承诺观察期内,聚合者都必须耗费这么多 gas 来验证并谈妥承诺。

我们不能忽视这一成本费,由于 zkRollup 的承诺间距很短。大家必须承诺来完成及时撤出的终局性。只需承诺间距很短,且故意聚合者回退买卖的主动性不高,大家就可以完成及时终局性(经济发展终局性,零确定买卖)。

虽然我们可以应用递归算法零知识证明和高效率的证实测算系统软件来聚合好几个买卖,大家也难以更改承诺间距。如果我们盲目跟风增加承诺间距,便会危害安全系数。

随后,大家必须思索怎样在 zkRollup 中完成安全性的及时终局性和较长的验证间距。

3)方式 :

聚合者的运作成本费源于合同上零知识证明验证的 gas 成本增加且承诺间距短。

因而,我们可以在没有危害安全系数和易用性的状况下增加验证间距。

3.1)第一步:绕过零知识证明匹配验证

最先,大家最非常容易想起的解决方法便是绕过匹配测算,并引进对于承诺的简易证实。

聚合者向合同递交证实或验证 zkRollup 承诺需要的任何东西,但这时候不实行匹配测算,也就不用付款 20 万 gas。一段时间之后,这一承诺便会获得验证;这一承诺中的每一个情况将变成下一个承诺的公共性键入。聚合者必须锁住一些以太坊来鼓励验证者。一旦验证者发觉个人行为,聚合者便会遭受处罚。

承诺便是公共性键入、零知识证明数据信息、上一个情况根、下一个情况根、买卖hach和聚合者详细地址这几类的哈希值。

原像由链上事情出示,承诺储存在合同储存内。

这类方式 具备非常大的优点。

每一个人都能够变成瞭望台,相当于 Optimistic Rollup 中的“验证者”,不用运作全连接点或开展一切独特的发展设定。

数据信息可得性难题不容易产生,由于验证或实行证实需要的一切数据信息都是在链上传出的事情中。实行证实时,大家不用 Layer 2 买卖数据信息及买卖結果,由于这种数据信息统统包括在了零知识证明的公共性键入和证实中。

假如故意聚合者递交了故意内塔尼亚胡根,并放弃了全部买卖数据信息和默克尔树数据信息,大家不用运作全连接点来开展证实。大家只需查验零知识证明数据信息,并实行匹配验证涵数,就可以发觉这类故意个人行为。

可是,以上方式 存有安全系数难题。

假如 Layer 1 上产生 51% 进攻,将故意内塔尼亚胡根合法,大家难以阻拦。

因为 51% 进攻的实行成本费随最底层区块链技术的出块时间提升而提升,大家必须充足长的验证限期,才可以合理提升 51% 进攻的难度系数。理想化的验证限期是 7 天,由于 ORU 的撤出限期也是 7 天,这能够 依据挖币成本费和具体的进攻奖赏测算获得。

在这类状况下,大家没理由舍 ORU 而取以上计划方案。

3.2)第二步:不用零知识证明验证的预共识承诺,根据递归算法零知识证明匹配完成终局性

我们可以根据下列方法处理以上安全系数难题。

大家将这一沒有历经零知识证明验证的承诺视作预共识。预共识会根据零知识证明验证限定终局性。

(consensus commit ) => (pre-consensus commit ) => (pre-consensus commit ) => …. => (pre-consensus commit ) => (consensus commit )

全部预共识承诺都是会根据匹配来限定共识。因而,Layer 2 客户能够 享有安全性的及时买卖终局性。大家必须应用含有递归算法零知识证明的全部预共识承诺来验证共识承诺。这里有2个电源电路:预共识电源电路和递归算法电源电路。预共识电源电路包括选用 zkRollup 计划方案的 dApp 的逻辑性。递归算法电源电路只必须从 Layer 1 中获得预共识数据信息做为公共性键入。

递归算法零知识证明能够 用于对一段时间内的预共识开展水准合拼:此外,它还可以用于将很多买卖竖直聚合到预共识承诺中。

假如说一切虚报的预共识承诺都是会危害含有匹配的共识验证,大家一直能够 根据零知识证明匹配其开展证实。一旦证实取得成功,聚合者便会应用零知识证明验证者涵数将该承诺删掉,随后从头开始开展买卖聚合并建立预共识承诺。

假如急得话,财产持有人能够 花 20 万 gas 根据预共识来达到共识,随后就可以马上撤出。(自然,她们还可以等候聚合者来达到共识。)如同“第一步”中提及的那般,她们不用一切独特设定,就可以完成共识终局性,由于全部键入早已聚合,并且能够 根据链上事情检索到。不管验证是多少预共识承诺证实,递归算法验证的 gas 成本费都不容易提升,由于这种证实将被hach到内容hach中。

51% 网络攻击没法谈妥故意内塔尼亚胡根,由于每一个根最后都是会根据由 zk电源电路完成的合同编码逻辑性在链上开展验证。

4)汇总:

这类含有证实的预共识协议书及有关数据信息可浏览性能够 让 zkRollup 有着较长的承诺间距(如 6 钟头)。这类方式 能够 很多节约验证计算所需的 gas 成本费。

(consensus commit )

标签:

区块链热门资讯
夜间必看5篇 | 为何你不用担忧比特币限令?_艺术品

夜间必看5篇 | 为何你不用担忧比特币限令? 1.为何你不用担忧比特币限令? 怀疑者常常觉得,当比特币越来越过度关键并威协到英国领土主权时,政府部门会严禁它。最少这种批判者搞清楚比特币的必要性,及其美国货币垄断者增加的权利。她们沒有了解的是分布式系统开源系统技术性的能量和英国在做这种决策时遭遇的悖论。

2021/5/7 21:42:45
先发 | 欧易OKEx研究所:“庶人的盛会” Chia挖矿全分析_艺术品

先发 | 欧易OKEx研究所:“庶人的盛会” Chia挖矿全分析 在数据加密虚拟货币行业,挖矿一直是一个受欢迎的话题讨论。只需有着一台挖矿机,就可以“点石为金”,完成极大的盈利。尤其是在数字货币大牛市期内,不论是现阶段销售市场上的独立显卡紧缺潮,或是交货時间已被排在秋天的挖矿机订单信息,无一不体现大家对这一財富机会的追求完美。

2021/5/7 20:59:49
ICP 的经济发展与治理系统软件详细说明_艺术品

ICP 的经济发展与治理系统软件详细说明 互联网技术电子计算机是全世界第一个彻底响应式的区块链技术。互联网技术电子计算机网络,及其安装网络的独特连接点设备,在网络中枢神经系统(NNS)的良好控制下运作。 NNS 是一个区块链技术的代币总治理系统软件,是彻底无准入条件的。

2021/5/7 20:38:02
以太坊价钱提升3500美金再创佳绩 好几个种植大户集中化售卖或TX逾40亿美金_艺术品

以太坊价钱提升3500美金再创佳绩 好几个种植大户集中化售卖或TX逾40亿美金 5月6日早间新闻,全世界第二大加密数字币以太坊(ETH)价钱提升3500美金,创下历史时间新纪录。数天前,在提升3000美金大关后,以太坊价钱屡更新高。比特币则处在不断波动中,素来与其说“一损俱损”的以太坊的强悍主要表现令人出现意外。

2021/5/7 20:36:37
Huobi Global资产重组资产中心 发布上币全透明步骤_艺术品

Huobi Global资产重组资产中心 发布上币全透明步骤 据火币信息,Huobi Global已于2021年4月起融合创立新的资产中心(Listing BU),新的资产中心将承担Huobi Global资产端工作中,包含上币下币、资产评定评分、资产经营等工作中。

2021/5/7 20:20:12
以太坊黑暗世界不会再黑喑 名牌MEV到底是好是坏?_艺术品

以太坊黑暗世界不会再黑喑 名牌MEV到底是好是坏? 一、前言 以太坊绿色生态早已发展趋势的宛如一座现在大都市般完善,各种各样DeFi协议书、NFT协议书如同一座座摩天大厦,可是绚丽多彩的大城市中仍然有十分多鲜为人知的角落里,这就是以太坊黑暗世界。

2021/5/7 19:53:11