火星链 火星链
Ctrl+D收藏火星链

LOT:详解信标链的替代性方案:基于累计式委员会的最终确定性模型

作者:

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

来源|?ethresear.ch

作者|VitalikButerin

这是对信标链提议的一个替代设计方案,信标链可以在比较远的未来切换到这个模型(替代现在计划的CBC),它试图提供以下一些关键特性:

??在正常情况下,提供有意义的单个slot的经济确定性(即类似于Tendermint的特性)

使得即使大多数验证者参与合谋进行单个slot的重组,执行的成本也比现在高得多,从而减少共识可提取价值(consensus-extractablevalue,CEV)

??摆脱对LMDGHOST分叉选择的高度依赖,避免那些已知的缺陷,并需要引入复杂的混合分叉选择规则,以修补这些缺陷。

??有可能会使更低的最低存款额度(depositsize)和更高的验证者数变得可能

??保留经济确定性(economicfinality)最终接近于一个非常大的数值(数百万个ETH)这一特性

安全的共识算法(例如,Tendermint、CasperFFG等)。我们假设共识算法的设计是涉及slot和view(查看视图)的,即它在每个固定时间段尝试达成共识时。我们还假设它把加权的验证者集(现有的拜占庭容错共识算法要增加这一特性是很容易的)作为输入。

香港证监会正积极研究代币化的好处,希望与业界就此进行讨论:6月8日消息,香港证券及期货事务监察委员会 (SFC) 金融科技部门负责人兼许可总监Elizabeth Wong周一在香港投资基金协会的一次会议上表示:“如果实施得当,区块链可以提高透明度并减少结算时间,这些可以应用于资金的代币化。我们支持代币化,很乐意与业界就将公共基金代币化进行讨论。”Wong还表示,该监管机构正在积极研究代币化的好处,同时确保“如果使用代币化,投资者的境况不会变得更糟”;证监会最关心的是网络安全,以及能否确保代币本身不受黑客攻击,且没有漏洞;证监会渴望了解这些挑战,并愿意与行业参与者合作。

此外,香港证监会周一表示,将对寻求将其投资组合投资于虚拟资产的基金经理采用相同的行为准则,并针对虚拟资产特有的风险和担忧进行调整。Wong表示,证监会将不断修改和发展其政策,让散户投资者更好地获得加密货币投资。[2023/6/8 21:23:12]

在下面的设计里,我们修改CONSENSUS,使得在每次的查看中,要求做最终敲定的验证者集都是不一样的。也就是说,是把CONSENSUS而不是验证者集作为函数get_validator_set(view_number:int)->Map?(其中int代表验证者余额)的输入,该函数可以生成验证者集的新查看视图。get_validator_set应该具有这样的特性,验证者集从一个视图到下一个视图最多变化1/r,其中r(r=65536)是复原周期长度。更形式化来说,我们希望是这样:

以太坊再质押协议EigenLayer完成5000万美元A轮融资:金色财经报道,以太坊再质押协议EigenLayer完成5000万美元的A轮融资,Blockchain Capital领投,Coinbase Ventures、Polychain Capital、Hack VC和Electric Capital等其他投资者参投。此前,EigenLayer曾完成1450万美元种子轮融资,Polychain Capital和Ethereal Ventures领投。

EigenLayer背后的开发公司EigenLabs,由西雅图华盛顿大学助理教授Sreeram Kannan于2021年创立。该公司表示,它使用户能够重新抵押他们的ETH并在共识层进行创新,而无需启动全新的区块链。EigenLabs计划在今年余下时间分阶段推出EigenLayer的初始版本。(The Block)[2023/3/29 13:31:50]

其中,|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})。

DCG已半价出售约25%灰度以太坊信托基金股份,筹款2200万美元:2月7日消息,据英国《金融时报》援引美国证券备案文件称,Digital Currency Group(DCG)开始出售其在其子公司灰度加密信托基金中的股份,以筹集资金偿还Genesis债权人资金。

文件显示,自1月24日以来,DCG主要出售了约25%的以太坊信托基金,已筹集高达2200万美元资金,售价约每股8美元,远低于每股16美元的市价。此外,DCG还开始出售其LitecoinTrust、Bitcoin Cash Trust、Ethereum ClassicTrust和Digital Large Cap Fund中较小的股份。[2023/2/7 11:51:59]

在实践中,相邻的两个验证者集间的差值会包括现有验证者被扣除的余额,而新加入的验证者的比率与被扣除余额的比率相等。

请注意,只有在之前的验证者还未做最后敲定时,1/r的最大验证者集差值函数才可用。如果之前的验证者集已经最终敲定了,CONSENSUS的实例会改变,因此get_validator_set函数的内部随机性会也会完全改变;在这种情况里,两个相邻的验证者集会变得完全不一样。

美股三大指数集体收跌,标普500指数跌0.8%:金色财经报道,美股三大指数集体收跌,标普500指数跌0.8%,纳指跌0.61%,道指跌0.3%。[2022/10/21 16:33:34]

请注意,这意味着,如果两个最终敲定视图上的数值相差足够大,CONSENSUS函数现在是可能两个一起敲定的,且不会发生罚没;这是故意如此设计的,而协议的处理方法就与今天CasperFFG处理怠工惩罚一样。

机制

我们使用两级分叉选择:

??S选择?LATEST_FINALIZED_BLOCK?(最新被敲定的区块)

??从?LATEST_FINALIZED_BLOCK?开始,使用其他的分叉选择(例如LMDGHOST)来选择区块头

在每个slot都能查看一次CONSENSUS算法,将基于get_post_state(LATEST_FINALIZED_BLOCK)?产生的数据的验证者集生成函数作为一项输入。一个有效的提议必须包含一个LATEST_FINALIZED_BLOCK的有效子孙区块。只有当该部分在分叉选择中胜出,成为区块链的一部分时,验证者才会准备并给区块提议投票。

报告:交易者试图炒作“三位数”ENS:金色财经报道,根据加密研究公司 Delphi Digital 分析报告显示,越来越多 ENS 买家开始将域名视为投资,他们会大量购买“常用域名”后转售获利,上周“000.eth”以 300 ETH 价格出售后引发了交易者对“三位数” ENS 域名的兴趣并试图炒作。ChainUp 首席营销官 Jeff Mei 表示,较短域名注册的增加可能与 NFT 投资者更喜欢较短的标签有关,因为其价值可能更高。

此外,本周ENS注册量激增另一个原因是以太坊gas费用大幅下降,Sooho 创始人 Jisu Park 表示,在当前熊市环境中,以太坊的 gas 价格较低,这为投资者大规模注册 ENS 域名提供了绝佳机会,因为 ENS 域名注册的主要成本就是 gas 费用,由于 gas 费用现在降幅极大,投资者非常愿意在此窗口期间申领和交易 ENS 域名。[2022/7/10 2:03:03]

如果CONSENSUS在某个视图中胜出了,那么该视图中被提议的区块就会成为新的LATEST_FINALIZED_BLOCK,改变未来几轮的验证者集。如果它失败了,它需要在下一个slot或view里进行下一次尝试。

注意:slot应该总是等于当前的视图编号加上之前每个成功最终敲定的验证者集的视图编号之和。

我们有以下的惩罚:

??由共识算法决定的常规罚没惩罚

??怠工惩罚:如果区块链无法做最终敲定,每个没有参与最终敲定的验证者都会受到惩罚。这个惩罚是在r/2个slot后将余额减半。

FFG替代方案:单个-slot-epoch的CasperFFG

上述设计的一个替代方案是使用CasperFFG,但要让epoch的长度等同于slot。CasperFFG的工作机制是不一样的,因为它不试图防止同一个委员会对一个区块及其子孙区块做最终敲定。为了适应这种差异,我们需要执行(i)1/4的安全阈值而不是1/3,(ii)这样一条规则:如果一个slot做最终敲定,验证者集最多替换1/4而不是完全替换。

请注意,在这样的设计中,实现一个slot(但不超过一个slot)的重组在理论上是无成本的。另外,在图表最后“直到最大最终确定性的slot"数需要增加4倍。

特性

如果一个区块被最终敲定了,其竞争区块如果要被最终敲定的话,需要发生以下其中一种情况:

??某个委员会(committee)出现问题了,≥1/3的验证者因为双重最终敲定另一个区块而被罚没

??最新近的委员会离线了,在经过r/3个slot后,委员会经过充分混洗能够最终敲定另一个区块而不会被罚没。但是,这带来了严重的怠工惩罚(≥1/3的攻击者余额)

在任何一种情况下,即使要回滚一个被最终敲定的区块也需要至少有DEPOSIT_SIZE*COMMITTEE_SIZE/3(存款额*委员会人数/3)个ETH被烧毁。如果我们设置COMMITTEE_SIZE=131,072(Eth2委员会每个slot的验证者数,理论上最大值为400万),那么这个数值就是1,398,101个ETH。

方案里的一些其他重要特性包括:

??无论有多少验证者存款了,在处理每个slot的?COMMITTEE_SIZE(委员会大小)交易时验证者的负载都很稳定

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

??休眠中的验证者可以快速退出和提款,而不会牺牲安全性。

扩展:用小型委员会进行链确认

如果为了提高效率,我们不得不缩小COMMITTEE_SIZE,我们可以作出下列调整:

??我们把“finalization(最终敲定)”更名为“confirmation(确认)”,以反映单个确认不再代表真正的最终确定性

??不同于选择最新的被确认区块,我们选择的是被确认区块最长链链头的被确认区块(但拒绝回滚由?COMMITTEE_LOOKAHEAD?确认以外的区块,因此?COMMITTEE_LOOKAHEAD?的确认就代表真正的最终确定性)

??get_validator_set?应该只能使用状态的信息,而不是?COMMITTEE_LOOKAHEAD?确认之前的信息

??view的编号应该就是slot的编号(这使得同一个验证者集试图在不同链上达成共识的情况变得更易于被推导出来,这种情况只有在打破一些确认的时候才可能发生)

这个方案保留了以上所有的特性,但它也引入了一个新特性:如果一个区块获得多个确认(例如,该区块被最终敲定了,且一条链的子孙区块又获得k-1个确认,因为共连续获得k个确认会影响该区块),那么回滚该区块就需要在多个委员会违反共识保证。这会使得来自多个委员会的安全水平得以堆积起来:回滚k个确认需要COMMITTEE_SIZE*DEPOSIT_SIZE*k/3个ETH,要达到k=COMMITTEE_LOOKAHEAD,委员会才会出现分歧。

还要注意的是,无论如何,为了p2p子网的安全,前瞻机制(lookaheadmechanism)是值得使用的,因此用它来设计是个好主意,而且如果有需要的话,可以留给客户端来决定他们要如何处理确认回滚问题。

请注意,“打破最终确定性所需的ETH"数假设了攻击者控制的验证者数相当于控制了超过总质押的ETH的一半(即数百万个ETH);这个数字是攻击者将失去的ETH。但这不等于任何拥有2,730,174,762个ETH的人都可以通过随便烧毁这些ETH就能回滚单个slot的确认。

原文链接:https://ethresear.ch/t/a-model-for-cumulative-committee-based-finality/10259

标签:ETHLOTSLOTENSQETHDELOT价格Slothi TokenTower Defense Titans

币安app官方下载最新版热门资讯
GATE:Gate.io 支持一键参与KSM插槽拍卖活动火热进行中(目前Genshiro领先)

第10次波卡插槽拍卖已于2021年9月29日20:00正式开始,正在火热进行中。目前Genshiro以15,441.8956KSM的质押量排名靠前,截至2021年10月4日14:00,Gate.

1900/1/1 0:00:00
BAL:BKEX Global 关于ETP专区新增CELO3L、CELO3S(Celo)的公告

尊敬的用户:BKEXGlobalETP专区将于2021年10月12日15:00上线CELO3L、CELO3S.

1900/1/1 0:00:00
FAN:Fantom链锁仓量大幅上升,NFT市场回暖 | Foresight Ventures Weekly Brief

撰文:ForesightVentures概要:公链总锁仓量数据大涨,接近历史最高水平。Fantom链多项协议表现出色。NFT市场销量有所上升.

1900/1/1 0:00:00
GATE:Gate.io 关于上线DYDX、RACA、NFT、NEAR、FTT流动性矿池公告

Gate.io现已上线DYDX/USDT、DYDX/ETH、RACA/USDT、NFT/USDT、NEAR/USDT、NEAR/ETH、FTT/USDT、FTT/ETH的流动性矿池.

1900/1/1 0:00:00
EFI:进击的元宇宙:把握GameFi赛道上的新机会

进入2021年以来,元宇宙概念逐渐走进人们的视野里,身处区块链圈子里的小伙伴,自然大部分是通过链游知道元宇宙这个概念.

1900/1/1 0:00:00
BAS:美国CFTC破获了一起大规模的外汇和比特币交易局

据Coinnounce10月2日报道,美国商品期货交易委员会(CFTC)破获了一起大规模的外汇和比特币交易局,并对八名实施该计划的个人提起民事执法指控.

1900/1/1 0:00:00