如何在 ZK Rollup 中实现即时终局性并降低验证成本?_区块链前沿

如何在 ZK Rollup 中实现即时终局性并降低验证成本?

本文先容了带有狡黠解释的预共鸣合同及关系数据可调查性,可以让 ZK Rollup 具有较长的许诺隔断,洪量裁减考证计划所需的 Gas 本钱。

原文题目:《引介 | 兼顾其美的 zk rollup 预共鸣机制》
撰文:Leona Hioki
翻译 & 校阅:闵敏 & 阿剑

本文概括了一种预共鸣机制,也许完结立即结局性并缩小考证 gas 本钱,同时不浸染 zkRollup 的立即资本退出。

后台和效果

在许诺隔断充实短(如 10 分钟)的状况下,zkRollup 也许完结立即结局性。在这个计划中,蚁合者的笃信严重会随隔断光阴延长而推广,完结结局性的本钱(倘使是 Groth16 算法,每一个许诺的考证 gas 本钱胜过 20 万 gas)会随隔断光阴耽搁而下降。

开始解说 zkRollup 的配对考证本钱胜过 20 万 gas (价格 100 至 500 美元)。也即是说,在 zkRollup 的每一个许诺隔断期内,蚁合者都须要耗费这么多 gas 来考证并敲定许诺。

咱们不行忽视这一本钱,由于 zkRollup 的许诺隔断很短。咱们须要许诺来完结立即退出的结局性。唯有许诺隔断很短,且歹意蚁合者回滚买卖的主动性不高,咱们便可以完结立即结局性(经济结局性,零确认买卖)。

只管咱们也许运用递归零学识解释和高效的解释计划体例来蚁合多个买卖,咱们也很难改观许诺隔断。倘使咱们盲目耽搁许诺隔断,就会浸染平安性。

尔后,咱们须要议论何如在 zkRollup 中完结平安的立即结局性和较长的考证隔断。

步骤

蚁合者的运转本钱源自合约上零学识解释考证的 gas 本钱高且许诺隔断短。

是以,咱们也许在不浸染平安性和可用性的状况下耽搁考证隔断。

第一步:跳过零学识解释配对考证

开始,咱们最轻便料到的束缚计划即是跳过配对计划,并引入针对许诺的简洁狡黠解释。

蚁合者向合约提交解释或考证 zkRollup 许诺所需的任何货色,但这时候不实行配对计划,也就不须要支出 20 万 gas。一段光阴事后,这个许诺就会得回考证;这个许诺中的每一个状况将成为下一个许诺的大家输出。蚁合者须要锁定一些以太币来勉励考证者。一朝考证者浮现狡黠动作,蚁合者就会遭到惩处。

许诺即是大家输出、零学识解释数据、上一个状况根、下一个状况根、买卖哈希和蚁合者所在这几项的哈希值。

原像由链上事情供应,许诺保管在合约保存内。

这类步骤具备很大的上风。

每一个人都也许成为眺望塔,同等于 Optimistic Rollup 中的「考证者」,无需运转全节点或施行任何特出的起步树立。

数据可得性题目不会产生,由于考证或实行狡黠解释所需的完善数据都在链上发出的事情中。实行狡黠解释时,咱们不须要 Layer 2 买卖数据及买卖完毕,由于这些数据全都蕴含在了零学识解释的大家输出和解释中。

倘使歹意蚁合者提交了歹意默克尔根,并甩手了一齐买卖数据和默克尔树数据,咱们不须要运转全节点来施行狡黠解释。咱们只需查看零学识解释数据,并实行配对考证函数,便可浮现这类歹意动作。

不过,上述步骤保管平安性题目。

倘使 Layer 1 上产生 51% 报复,将歹意默克尔根正当化,咱们很难阻挡。

因为 51% 报复的实行本钱随底层区块链的出块光阴推广而推广,咱们须要充实长的考证限期,才干灵验普及 51% 报复的难度。十足的考证限期是 7 天,由于 ORU 的退出限期也是 7 天,这也许按照挖矿本钱和本质的报复夸奖计划得回。

在这类状况下,咱们不情由舍 ORU 而取上述计划。

二步:无需零学识解释考证的预共鸣许诺,经历递归零学识解释配对完结结局性

咱们也许经历以下式样束缚上述平安性题目。

咱们将这个不过程零学识解释考证的许诺视为预共鸣。预共鸣会经历零学识解释考证局部结局性。

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

一齐预共鸣许诺城市经历配对来局部共鸣。是以,Layer 2 用户也许享用平安的立即买卖结局性。咱们须要运用带有递归零学识解释的一齐预共鸣许诺来考证共鸣许诺。这边有两个电路:预共鸣电路和递归电路。预共鸣电路蕴含采取 zkRollup 计划的 dApp 的逻辑。递归电路只须要从 Layer 1 中获得预共鸣数据动作大家输出。

递归零学识解释也许用来对一段光阴内的预共鸣施行水准兼并:与此同时,它也能够用来将洪量买卖笔直蚁合到预共鸣许诺中。

倘使说任何乌有的预共鸣许诺城市浸染带有配对的共鸣考证,咱们老是也许经历零学识解释配对其施行狡黠解释。一朝解释胜利,蚁合者就会运用零学识解释考证者函数将该许诺清除,尔后从新发端施行买卖蚁合并创造预共鸣许诺。

倘使急的话,财产持有者也许花 20 万 gas 经历预共鸣来告终共鸣,尔后便可以立刻退出。(自然,他们也能够等候蚁合者来告终共鸣。)正如「第一步」中提到的那样,他们不须要任何特出树立,便可完结共鸣结局性,由于一齐输出都已蚁合,并且也许经历链上事情探讨到。不管考证几何预共鸣许诺解释,递归考证的 gas 本钱都不会推广,由于这些解释将被哈希到条款哈希中。

51% 报复者没法敲定歹意默克尔根,由于每一个根终究城市经历由 zk 电路完结的合约代码逻辑在链赶上行考证。

归纳

这类带有狡黠解释的预共鸣合同及关系数据可调查性也许让 zkRollup 具有较长的许诺隔断(如 6 小时)。这类步骤也许洪量裁减考证计划所需的 gas 本钱。

起源链接:ethresear.ch

免责说明:动作区块链讯息平台,本站所宣告作品仅代表作家一面见解,与链闻 ChainNews 态度无关。作品内的讯息、见识等均仅供参考,并不是动作或被视为本质投资倡导。

1620563608-422d88c89879398

以太坊

1620563608-422d88c89879398

以太坊

怒放的宣传式区块链运用平台,经历其专属加密钱币 Ether 以太币供应去重心化的假造机,解决点对点合约。理睬任何人设立和运用经历区块链岁月运转的去重心化运用,不任何狡黠、审查、第三方禁锢。 以太坊的观念初次在 2013 至 2014 年由维塔利克·布特林 Vitalik Buterin 受比特币发掘后提议,旨在共通建立一个更寰球化、更自如、更切实的互联网。以太坊EthereumETHERC 20ERC-20ERC20ERC721ERC-721以太坊 2.0察看更多1620563616-d690d147d8b89e2

Optimism

1620563616-d690d147d8b89e2

Optimism

Optimism 旨在以太坊上设立立即买卖和可增添的智能合约。他们在 Layer2 创造 OVM,旨在与以太坊 Layer1 合营运用,以理睬实行更多的买卖而无需施行平安性调和。此前,团队于 2019 年 10 月在 Devcon V 与 Uniswap 一齐演示。Optimistic RollupOptimistic RollupsOptimisticOptimismOptimistic EthereumEthereum Optimism察看更多以太坊 岁月 Gas Layer 2 Optimistic Rollup ZK Rollup Rollup

区块链前沿是一个专业的比特币价格查询&区块链数字货币资讯平台,我们为用户提供关于区块链企业、数字货币币种、数字货币交易平台及区块链人物的相关信息,我们整理发布全球主流比特币交易平台、虚拟数字货币交易平台、区块链应用企业的结构化信息,我们对区块链及数字资产充满热情,立志打造成一个区块链综合门户网站。
区块链前沿 » 如何在 ZK Rollup 中实现即时终局性并降低验证成本?

发表评论