欧易下载

欧易交易所
欧易交易所APP官网下载

欧易交易所(OKX)是最老牌的比特、莱特、以太交易所,欧易交易平台支持OTC法币交易,支持微信、支付宝和银行卡转账,安全方便快捷,欧易下载官方APP链接。

两全其美的 zk rollup 预共识机制

1)太长不看:

本文概述了一种预共识机制,可以实现即时终局性并减少验证 gas 成本,同时不影响 zkRollup 的即时资金退出。

2)背景和动机:

在承诺间隔足够短(如 10 分钟)的情况下,zkRollup 可以实现即时终局性。在这个方案中,聚合者的信任风险会随间隔时间增长而增加,实现终局性的成本(如果是 Groth16 算法,每个承诺的验证 gas 成本超过 20 万 gas)会随间隔时间延长而降低。

首先说明 zkRollup 的配对验证成本超过 20 万 gas(价值 100 至 500 美元)。也就是说,在 zkRollup 的每个承诺间隔期内,聚合者都需要花费这么多 gas 来验证并敲定承诺。

我们不能忽略这一成本,因为 zkRollup 的承诺间隔很短。我们需要承诺来实现即时退出的终局性。只要承诺间隔很短,且恶意聚合者回滚交易的积极性不高,我们就可以实现即时终局性(经济终局性,零确认交易)。

尽管我们可以使用递归零知识证明和高效的证明计算系统来聚合多个交易,我们也很难改变承诺间隔。如果我们盲目延长承诺间隔,就会影响安全性。

Al Fardan Exchange将使用RippleNet进行跨境实时汇款:1月28日消息,阿联酋汇款公司Al Fardan Exchange与Ripple达成合作。该公司将在跨境汇款时使用RippleNet,允许其客户进行实时汇款。Al Fardan将加入Ripple基于云的全球金融网络RippleNet Cloud。(Bitcoin.com)[2022/1/28 9:19:47]

然后,我们需要思考如何在 zkRollup 中实现安全的即时终局性和较长的验证间隔。

3)方法:

聚合者的运行成本源自合约上零知识证明验证的 gas 成本高且承诺间隔短。

因此,我们可以在不影响安全性和可用性的情况下延长验证间隔。

3.1)第一步:跳过零知识证明配对验证

首先,我们最容易想到的解决方案就是跳过配对计算,并引入针对承诺的简单欺诈证明。

聚合者向合约提交证明或验证 zkRollup 承诺所需的任何东西,但这时不执行配对计算,也就不需要支付 20 万 gas。一段时间过后,这个承诺就会得到验证;这个承诺中的每个状态将成为下一个承诺的公共输入。聚合者需要锁定一些以太币来激励验证者。一旦验证者发现欺诈行为,聚合者就会受到惩罚。

DeFi 概念板块今日平均跌幅为0.87%:金色财经行情显示,DeFi 概念板块今日平均跌幅为0.87%。47个币种中13个上涨,34个下跌,其中领涨币种为:YFII(+24.37%)、RSR(+7.29%)、SWFTC(+4.39%)。领跌币种为:KNC(-6.97%)、KNC(-6.85%)、MKR(-6.23%)。[2021/8/4 1:32:45]

承诺就是公共输入、零知识证明数据、上一个状态根、下一个状态根、交易哈希和聚合者地址这几项的哈希值。

原像由链上事件提供,承诺保存在合约存储内。

这种方法具有很大的优势。

每个人都可以成为瞭望塔,等同于 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 用户可以享受安全的即时交易终局性。我们需要使用带有递归零知识证明的所有预共识承诺来验证共识承诺。这里有两个电路:预共识电路和递归电路。预共识电路包含采用 zkRollup 方案的 dApp 的逻辑。递归电路只需要从 Layer 1 中获取预共识数据作为公共输入。

递归零知识证明可以用来对一段时间内的预共识进行水平合并:与此同时,它也可以用来将大量交易垂直聚合到预共识承诺中。

如果说任何虚假的预共识承诺都会影响带有配对的共识验证,我们总是可以通过零知识证明配对其进行欺诈证明。一旦证明成功,聚合者就会使用零知识证明验证者函数将该承诺删除,然后重新开始进行交易聚合并创建预共识承诺。

如果急的话,资产持有者可以花 20 万 gas 通过预共识来达成共识,然后就可以立即退出。(当然,他们也可以等待聚合者来达成共识。)正如“第一步”中提到的那样,他们不需要任何特殊设置,即可实现共识终局性,因为所有输入都已聚合,而且可以通过链上事件搜索到。无论验证多少预共识承诺证明,递归验证的 gas 成本都不会增加,因为这些证明将被哈希到条目哈希中。

51% 攻击者无法敲定恶意默克尔根,因为每个根最终都会通过由 zk电路实现的合约代码逻辑在链上进行验证。

4)总结:

这种带有欺诈证明的预共识协议及相关数据可访问性可以让 zkRollup 拥有较长的承诺间隔(如 6 小时)。这种方法可以大量节省验证计算所需的 gas 成本。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

欧易交易所

波场动物园币是什么 及链上持币用户数分析

这篇文章会比较乱,但是时间有限,信息很多,请海涵。 from what i know 1)对于动物园这个概念,我不清楚到底是销毁还是和doge相关的。 2)但是在各个群里,看这大家的宣发,以上几个是有所耳闻的。所以就非小号查了下他们的市值。 3)由匹马总的文章,了解到了pig-safemoon的关系。 4)国内认为shib是屎币。以为是个笑话。

AVAX晚间必读5篇 | 为什么你不需要担心比特币禁令?

1.为什么你不需要担心比特币禁令? 怀疑者经常认为,当比特币变得过于重要并威胁到美国主权时,政府会禁止它。至少这些批评者明白比特币的重要性,以及美国货币垄断者施加的权力。他们没有理解的是分布式开源技术的力量和美国在做这些决定时面临的博弈论。TLDR:禁令是无效的,它们只是把全球技术力量让给了同行。美国政府更倾向于尝试倒退的法规。

ADAVitalik: 你可能不知道的以太坊PoS优点

我们经常谈 PoS 共识耗费的资源要比 PoW 少得多,也会谈 PoS 带来的一些关键益处,例如经济终结性,但我们也不要忘了转为 PoS 后的一些次要益处。理论上讲,合并后,大部分这些益处都能立即实现。

[0:0ms0-0:687ms