宇宙链 宇宙链
Ctrl+D收藏宇宙链
首页 > 聚币 > 正文

V神发布ETH2.0信标链首个硬分叉提案HF1 引入更公平的节点惩罚机制

作者:

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

以太坊创始人V神在推特上介绍了以太坊信标链第一个硬分叉(暂定名为“HF1”)升级提案。V神称,HF1添加了轻客户端支持,简化了规范,提高了效率,并引入了惩罚性较小的不活跃惩罚机制。根据文件,硬分叉将使开发人员可以对最近发布的信标链进行一些关键的升级,也将成为将来进行更深层更改的有用测试。其中轻客户端支持对资源的要求最低,并且可以在移动设备上运行的节点。这将允许“最小化信任的钱包”能够自己验证区块链,而不是依赖于外部服务提供者。”

HF1是以太坊信标链的第一个硬分叉升级的暂定代码名称(有关该硬分叉的长期命名思路,请参见此处)。HF1的主要目标是:

添加轻客户端支持

修复信标链中的一些脆弱点。这些脆弱点被发现时已经太晚而没能在信标链创世启动时修复。

在较小的更改升级环境下对信标链的硬分叉升级机制进行测试,以便以后进行更大的更改。

V神发文探讨CEX的安全性:希望技术上使交易所接近非托管:11月19日消息,针对FTX事件,V神发文”安全的CEX:偿付能力证明“,探讨使交易所更接近去信任化的尝试历史、这些技术的局限性,以及一些新的、更强大的想法,这些想法依赖于ZK SNARK和其他先进技术。

V神表示,使用ZK-SNARKs可改善隐私和稳健性,将所有用户的存款放入一棵Merkle树中,并使用 ZK-SNARK 来证明树中的所有余额都是非负的,加起来为一些声称的价值。如果我们为隐私添加一层哈希,则提供给每个用户的Merkle分支将不会透露任何其他用户的余额。

对于更进一步,不想仅仅证明交易所有资金来偿还用户,更要防止交易所完全窃取用户的资金。V甚表示,理想的长期解决方案是依靠自我托管,并辅以多重签名和社交恢复钱包等技术,以帮助用户应对紧急情况。在短期内,有两种明确的替代方案:Coinbase等托管交易所、Uniswap等非托管交易所。

最后,V神表示,短期内,交易所分为两个明确的“类别”:托管交易所和非托管交易所。今天,后一类只是DEXes,例如Uniswap,未来我们可能还会看到加密“受限”的CEXes,其中用户资金保存在类似于validium智能合约的东西中。我们也可能会看到半托管交易所,我们用法定货币而不是加密货币来信任它们。

两种类型的交易所都将继续存在,而提高托管交易所安全性的最简单的向后兼容方式是添加储备证明。这包括资产证明和负债证明的组合。为两者制定良好的协议存在技术挑战,但我们可以而且应该尽可能地在两者上取得进展,并尽可能开源软件和流程,以便所有交易所都能受益。

从长远来看,V神希望我们越来越接近于所有交易所都是非托管的,至少在加密方面是这样。钱包恢复将存在,并且可能需要为处理小额交易的新用户以及出于法律原因需要此类安排的机构提供高度中心化的恢复选项,但这可以在钱包层而不是在交易所本身内完成。[2022/11/19 22:06:43]

HF1中提出的共识更改内容包括:

V神发布新版以太坊发展路线图:11月5日消息,以太坊联合创始人Vitalik Buterin在社交媒体发布新版以太坊发展路线图,其中主要变化包括:1、合并已经完成,不仅仅是关于“verkle trees”,也关于“验证”,结论是“完全SNARK”的以太坊;2、新增“The Scourge”,确保可以和公平可信的中立交易、解决MEV问题;3、作为第2阶段合并程碑的单时隙确定性(single-slot finality)。[2022/11/5 12:19:55]

我们向信标链添加一个随机抽取的“同步委员会”。这样做的目的是允许轻客户端使用很少的overhead(每天最少仅需大约20千字节,验证单个区块仅需大约500字节)来确定链head。这将使轻客户端实际上可在移动设备、内置浏览器之类的使用案例中使用信标链,从而为实现更加信任最小化的钱包生态系统铺平道路。

在每个时间段(约27小时)内,随机选择1024位验证者作为同步委员会的成员。同步委员会中的验证者节点将发布签名以向当前的head进行证明。这些签名将作为LightClientUpdate对象的一部分进行广播,该对象可以帮助轻客户端找到这个head,并将被包含在信标链中以得到奖励。

以太坊创始人V神发推称区块链的功能应该是“验证”而不是“交易执行”:以太坊创始人V神刚刚发布推特称,他认为区块链应该做的是“验证”,而不是进行“交易执行”。因为“交易执行”比“验证”要慢得多。[2018/3/4]

更多内容:

https://github.com/ethereum/eth2.0-specs/pull/2130

我们替换了证明者奖励的计算方式。不同于存储PendingAttestation对象并且最后处理它们,我们选择添加了一个位域,用于存储每个验证者的状态,从而可以实时累积有关谁参与的数据。位域按“改组顺序”排序,以确保同一委员会中验证者的记录一起显示。这种更改的目的是简化客户端实现,并使更新Merkle树更加便宜。

具体参考:

https://github.com/ethereum/eth2.0-specs/pull/2176

以太坊创始人V神发推驳斥不实观点:以太坊创始人V神刚刚发布推特称,那种认为“区块链应该做的是验证而不是交易执行,因为交易执行比验证要慢得多”的观点是“胡说”。事实是以太坊的uncle rate更多和简单tx计算相关,而不是由交易的复杂性导致的。[2018/3/4]

我们对验证者集进行更改,并且惩罚记账仅每64个时期(epoch)发生一次,而不是每个单一时期。这样做的目的是大大降低处理“空白时期过渡”的复杂性——例如,有一条链的参与度非常低,其中两个连续的区块相隔一千个slot,它们之间只有一个空白时期。为了处理这样的链,目前客户端需要每个时期重新计算每个验证者的余额一次,以此对验证者进行不活跃惩罚;而在新的提案中,他们只需要每64个时期执行一次。

此外,我们对不活跃惩罚的工作方式进行了两项更改:

不活跃惩罚将变为每个验证者的二次方。也就是说,如果存在不活跃惩罚,在此期间完全离线的验证者会损失约10%的余额,那么在此期间90%的时间在线的验证者现在只会损失约0.1%的余额(相对于? 1%)。这试图将处罚重点放在真正行为不当的节点上,减少对由于网络连接问题而离线的诚实节点。

以太坊创始人V神发推询问网友:可以接受的51%算力攻击频率是多少?:以太坊创始人V神在推特上发起投票,问“针对公有链,可以接受的51%算力攻击频率是多少?”。总共12700人参与投票,52%认为100年发生一次是可以接受的,13%选择10-100年,19%认为1-10年,还有16%的投票人表示可以接受1年一次51%算力攻击。[2018/1/22]

更多的讨论可以参考此处:

https://github.com/ethereum/eth2.0-specs/issues/2098

验证者不活跃惩罚在确定后逐渐减慢而不是停止。这样可确保一旦达到最终状态,离线节点将继续失去余额一段时间,从而确保验证者在线时间百分比显着高于2/3,而不是仅稍高于该阈值。

https://github.com/ethereum/eth2.0-specs/pull/2192?

https://github.com/ethereum/eth2.0-specs/pull/2194

值得庆祝的一点是,通过削弱验证者罚款,我们可能稍微(尽管尚未完全)走出困境。我们将对常数进行更改:

INACTIVITY_PENALTY_QUOTIENT: reduced from 2**26 (= 67,108,864) to 3 * 2**24 (= 50,331,648)

PROPORTIONAL_SLASHING_MULTIPLIER: increased from 1 to 2

MIN_SLASHING_PENALTY_QUOTIENT: reduced from 2**7 (= 128) to 2**6 (= 64)

(区块,slot)对(pair)的分叉选择

当前,如果在最近的slot中没有发布任何块,则出于该slot期间的LMD GHOST证明的目的,视为证明者正在支持的链中的最新区块。例如,在下面的这张图中,BLANK上的证明算作A上的证明:

<img ?src="https://img.jinse.com/4715604_image3.png" ? auto";'>

但是,这为34%攻击打开了大门。假设为每个slot分配了m个验证者,其中恶意攻击者控制了0.34 * m。攻击者也有权为slot n + 1发布区块B。攻击进行如下:攻击者不发布B,也不发布其任何证明。所有诚实的证明人都会投票支持声称他们在第n个slot中看到区块A而在第n + 1个slot中什么都没有看到的说法,当前该计数被视为对A的投票。在第n + 2个slot中,一个诚实的提议者会在A上面构建一个区块C, 此时,恶意提议者会向slot n + 1和n + 2公布B及其对B的证明。上面的分叉有0.68 * m个验证者支持它,但顶部分叉只有0.66 * m的支持,因此下面的分叉获胜。

这种攻击在该论文的 3.1章节中进行了更加详细的描述:

https://econcs.pku.edu.cn/wine2020/wine2020/Workshop/GTiB20_paper_8.pdf

拟议的解决方案是更改分叉选择的工作方式,从而使其对(区块,slot)对的树进行操作,而不是对区块树进行操作。因此,在上图中,slot n + 1中的诚实投票将计为对(BLANK,n + 1)的投票,因此它们将正确地计为支持上面的分叉,因此上面的分叉获得的支持为1.32 * m,从而击败攻击。

https://github.com/ethereum/eth2.0-specs/pull/2197

在分叉选择中存在一种“余额攻击”,拥有2%验证者的攻击者会在一个slot结束之前的正确时间发布少量证明,说服网络中超过49%的人认为某个区块A获胜,而超过49%的网络则认为B区块获胜。如果他们正确地安排了广播的时间,则每一组验证者都会按时看到针对他们的消息,但是没有时间在这个slot结束之前将消息重新广播到另一组验证者。如果网络环境对于攻击者而言是最佳的,则它们可以无限期地重复。

提议的解决方案是通过授权下一个slot的提议者对分叉选择产生暂时但重大的影响,从而将所有验证者的支持方向决定性地转移到一侧或另一侧,从而“打破了对称性”。

https://notes.ethereum.org/@vbuterin/lmd_ghost_mitigation?

标签:LOTSLOT以太坊ETHMETACLOTHSLOT价格以太坊交易所在哪下载SETH

聚币热门资讯
马斯克:“在必要时”推出个人代币ElonCoin

原标题:马斯克支持Dogecoin大户出售代币 将“在必要时”开发ElonCoin汽车制造商特斯拉创始人埃隆·马斯克周一再度提及Dogecoin,他还在回复网友时表示,自己将“在必要时”推出个人代币ElonCoin.

1900/1/1 0:00:00
通过新兴的DeFi概念改善链上债务:期权

理解一下期权: 英文单词是option,即选择权,选择在未来的某个时间点干或者不干某件事的权利.

1900/1/1 0:00:00
最新版CyberVein技术解析

鉴于近期CyberVein用户量和关注度激增,想了解项目的人数越来越多,CyberVein特此发布最新版的技术+产品综述,让大家根据篇文章即可深入了解CyberVein身体逻辑.

1900/1/1 0:00:00
IMF:央行须变得更像苹果 以保证央行数字货币处在技术前沿

疫情之下,全球数字货币的研发突飞猛进。据国际清算银行(BIS)最新统计,目前数字货币推进至实证阶段的央行占比已超过60%,同比增长20%;中国也已在多地进行数字人民币的试点;与此同时,比特币总市值突破万亿美元大关.

1900/1/1 0:00:00
金色趋势丨知史鉴今 BTC牛市并未完结

上图为BTC?2010-2020年这10年周期的长期周线走势,目前BTC已经完成了三次奖励减半,我们从图中可以发现,每一轮减半周期时间内.

1900/1/1 0:00:00
春节荐读 | 为什么比特币有望成为全球储备货币

美元的统治地位不可能永远持续下去,在某些经济学家看来,美元作为事实上的世界储备货币的命运正在迅速接近尾声。但是,如果美元霸权真的崩溃了,谁将取代它?对于许多人来说,答案就是比特币。本文将解释为什么。75余年来,美元一直是全球储备货币.

1900/1/1 0:00:00