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

十全十美的 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 )

标签：

区块链热门资讯