宇宙链 宇宙链
Ctrl+D收藏宇宙链
首页 > 区块链 > 正文

V神最新发文:针对信标链的终结性模型替代设计构想

作者:

时间:1900/1/1 0:00:00

原文标题:《基于委员会的累积终结性模型》

作者:Vitalik Buterin

本文提出了一种以太坊信标链(Beacon Chain)的拟议替代设计,在未来长期内可以切换到该设计(取代当前计划切换的 CBC)。该替代设计旨在提供一些关键属性:

在正常情况下提供有意义的单槽(single-slot)经济终结性(即类似 Tendermint 的属性):使单槽重组的成本高得多,即使是多数人串通的情况下也能执行,从而降低共识可提取价值 (CEV)

摆脱对 LMD GHOST 分叉选择的严重依赖,避免已知的缺陷以及需要引入复杂的混合分叉选择规则来修复这些缺陷。

可能允许更低的最小存款大小和更高的验证器数量

保存经济终结性最终接近一个非常大的数字(数百万 ETH)的属性

V神:希望Solana社区可以有公平的机会成长:12月30日消息,以太坊创始人Vitalik Buterin今日发推表示,一些聪明的人告诉我,Solana是一个认真的聪明的开发社区,现在那些可怕的投机取巧的人已经被洗掉了,Solana链将有一个光明的未来,我很难从外部判断出来,希望社区有公平的机会茁壮成长。[2022/12/30 22:15:57]

让 CONSENSUS 成为一种异步安全的共识算法(例如 Tendermint、Casper FFG ……)。 我们假设这种共识算法有一些槽(slot)或视图的概念,它在每个固定时间段尝试达成共识。 我们还假设它将一种加权验证器集作为输入(现有的 BFT 共识算法可以轻松修改以添加此属性)。

在下面的设计中,我们修改了 CONSENSUS,以便在每个视图中,需要最终性的集合是不同的。也就是说,CONSENSUS 将一个函数 get_validator_set(view_number: int) -> Map[Validator, int](代表验证器余额的 int)作为输入,而不是验证器集,它可以为新视图生成验证器集。get_validator_set 应该具有以下属性:验证器集根据从一个视图到下一个视图的最大1/r值进行更改,其中 r(例如 r=8192 )是恢复期长度。更正式地说,我们想要:

V神:预测合并将在9月15日左右发生,确切日期取决于哈希率:金色财经报道,以太坊创始人Vitalik Buterin在社交媒体上称,终端总难度已被设定为58750000000000000000000。这意味着以太坊PoW网络现在有一个(大致)固定数量的哈希值可供挖掘。bordel.wtf网站预测合并将在9月15日左右发生,但确切日期取决于哈希率。[2022/8/12 12:22:02]

其中 丨x丨 返回 x 中值的绝对值之和, diff 返回每个键值的差值(例如 diff({a: 0.1, b:0.2}, {b:0.1, c:0.3}) = {a:0.1,b:0.1,c:-0.3})。

在实践中,两个相邻验证器集之间的差异将包括现有验证器泄漏余额,以及以与泄漏余额相等的速率引入新验证器。

Gitcoin社区通过提案投票决定将V神捐赠的全部AKITA兑换为ETH:据官方消息,针对此前以太坊创始人V神向Gitcoin捐赠的秋田犬币(AKITA),Gitcoin社区通过提案投票决定,将全部出售AKITA并将其兑换成ETH,该提案尚未执行。

此前报道,5月中旬,Vitalik Buterin出售大量meme代币,并将所获ETH和部分meme代币进行捐赠,其中向Gitcoin的社区多签钱包捐赠49万亿枚AKITA。[2021/6/7 23:17:43]

请注意,这意味着如果两个终结性的视图数量相差足够远,则这时候可以在不削减的情况下进行双重终结性确定; 这是有意为之,并且该协议以与当今 Casper FFG 处理不活动泄漏的方式相同的方式围绕它工作。

我们使用两级分叉选择:

选择 LATEST_FINALIZED_BLOCK

V神:Eth2第一阶段仍是分片 没人说取消分片:V神刚刚发推文称,Eth2第一阶段仍是分片,没人说取消分片。[2020/10/4]

从 LATEST_FINALIZED_BLOCK,应用一些其他叉选择(例如 LMD GHOST)来选择head

共识算法的视图在每个插槽都会被尝试,将基于 get_post_state(LATEST_FINALIZED_BLOCK) 数据的验证器集生成函数作为输入传入。 在视图 i 中,一个有效的提案必须包含从 LATEST_FINALIZED_BLOCK 到插槽 LATEST_FINALIZED_BLOCK.slot + i 处的区块的链。 如果提示的父级是分叉选择的赢家,这时验证者才需要准备并提交提案。

如果 CONSENSUS 在某个视图中成功,则该视图中的提案将成为新的 LATEST_FINALIZED_BLOCK,更改未来轮次的验证器集。 如果失败,它将在下一个槽/视图中进行下一次尝试。

声音 | V神:DAO遭攻击后ETH网络并没有真正回滚:金色财经报道,V神在推特解释称,在DAO遭到黑客攻击之后,以太坊(ETH)网络并没有真正回滚。相反,更改的是The DAO状态的记录。他表示,无辜的用户没有看到他们的任何交易失效并回滚。相反,干预是“外科手术”,只涉及到DAO币和代币的状态。据悉,DAO黑客事件发生在2016年,影响了ICO智能合约。通过这个有漏洞的合约,黑客可以要求智能合约多次返还已存的ETH。通过这种方式,黑客窃取了360万枚ETH,这导致了ETC硬分叉。DAO的例子已经被谈论很多年,并且是影响ETH信誉的原因之一。V神关于修复性质的新解释引发了进一步的批评,其中一些评论认为回滚是更公平的解决方案。[2019/10/30]

注意:插槽应始终等于当前视图编号加上每个先前验证器集中成功完成的视图编号的总和。

我们有以下处罚:

由共识算法确定的定期削减处罚

不活跃惩罚:如果这条链未能实现终结性,所有未参与的人都会受到惩罚。 此惩罚旨在将 r/2个 插槽后的余额削减一半。

如果一个区块获得终结性,那么要终结确定一个竞争区块,需要发生以下情况之一:

某些委员会被破坏,其中 他们中≥1/3会被削减以对不同的区块实现双重终结性

最近的委员会离线,在 r/3个插槽之后,委员会轮换足够多,以便能够在不削减的情况下使一个不同的区块获得终结性。然而,这是以严重的不活跃惩罚为代价的(≥1/3的攻击者余额)

在任何一种情况下,即使还原一个终结区块也至少需要销毁 DEPOSIT_SIZE * COMMITTEE_SIZE / 3个 ETH。如果我们设置 COMMITTEE_SIZE = 131,072(ETH2 委员会中每个插槽的验证器数量在理论上最大 400 万个验证器限制),则该值为 1,398,101 个ETH。

该方案的其他一些重要属性包括:

验证器的负载将非常稳定,无论存入多少验证器,处理每个插槽的 COMMITTEE_SIZE 交易

验证者的负载会更低,因为当他们没有被要求加入委员会时,他们可以休眠

在不牺牲安全性的情况下,可以允许休眠的验证器快速退出+撤回

如果出于效率原因,我们必须减小 COMMITTEE_SIZE,我们可以进行以下调整:

我们没有选择最新的终结性区块,而是选择作为最长终结性区块链末端的终结区块(但拒绝恢复超过 COMMITTEE_LOOKAHEAD)

get_validator_set 应该只使用来自状态超过 COMMITTEE_LOOKAHEAD 之前的信息

视图编号应该只是插槽编号(这可以更容易地推断出在不同链中使用相同的验证器集尝试达成共识的情况,这只有在可能破坏一些终结性的情况下才会发生)

这保留了上述所有属性,但它也引入了一个新属性:如果一个区块获得多个终结性(即该区块被终结,并且其后代链获得 k-1 个更多终结,总共 k 个影响该区块的顺序终结性),然后恢复该区块需要违反多个委员会的终结性保证。这允许多个委员会的安全级别叠加:一个人需要 COMMITTEE_SIZE * DEPOSIT_SIZE * k / 3 ETH 来恢复k个终结性,最多 k = COMMITTEE_LOOKAHEAD,此时委员会分歧。

还要注意,出于 p2p 子网安全的原因,先行机制无论如何都值得做,所以用它来设计系统可能是一个好主意,如果需要的话,让客户端来决定他们如何处理终极性反转。

请注意,“打破终结性所需的 ETH”数量假设攻击者控制的验证器数量远远超过质押总量的一半(即数百万 ETH); 这个数量是攻击者将失去的。并不是任何拥有 2,730 - 174,762 ETH 的人都可以进入并销毁该 ETH 以逆转单一插槽的终结性。

标签:ETHALIIZEOMMeth大学申请条件XanaliaStatizexOmmniverse

区块链热门资讯
全面梳理抗MEV的八项方案

在 2020 年 8 月,Paradigm 的交易员 Dan Robinson 尝试收回原本质押在 Uniswap 的流动性代币.

1900/1/1 0:00:00
以太坊经济体系大变革:从DeFi质押到燃烧机制再到POS机制

以太坊在上一轮牛市中凭借智能合约和ICO异军突起,成为当年最大的黑马,但随着以EOS为代表的公链竞争以及ICO大潮的消退,以太坊在熊市中回归于平淡.

1900/1/1 0:00:00
NFT在Curation经济中的角色是什么

我在思考Curation economy这个主题。Curator这个词不大好解释,他们处于创作者(creators)和消费者(consumers)之间,就如同下图这个3c金字塔.

1900/1/1 0:00:00
为什么通用登录对于 Web 3.0 来说不是上策?

原文标题:为什么 “通用登录” 可能行不通?自人们开始探索区块链的非金融用例以来,Web 3.0 中的身份概念一直是讨论的焦点。通用登录的主要支持者之一 UniLogin 已停止运营.

1900/1/1 0:00:00
闪电网络的历史:从头脑风暴到测试版本(下)

实现 闪电网络的白皮书是一份长而复杂的文件,包含许多技术含量很高的概念;在 2015 年,很少有人有时间和能力读完并且理解这份文件.

1900/1/1 0:00:00
金色早报 | Coin Metrics:BSV遭受“大规模”的51%攻击

头条 ▌Coin Metrics:BSV遭受“大规模”的51%攻击在昨天的一次攻击未遂之后,从美国东部时间周二上午11:45(北京时间8月3日23:45)左右开始,BSV遭受了“大规模”的51%攻击,导致该链的三个版本同时被挖掘.

1900/1/1 0:00:00