木星链 木星链
Ctrl+D收藏木星链
首页 > 火币下载 > 正文

以太坊:你真的懂以太坊吗?以太坊2.0设计原则了解一下|技术

作者:

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

作者|RaulJordan

编译|Jhonny

很多文章都在讨论以太坊2.0的路线图、研究提案及其发展现状。然而有关以太坊2.0内部运行背后的设计原则和不变量的文章却不多。

对于以太坊2.0这样一场需要协调并耗时数年的重大变革来说,其成功的关键在于需要一组明确的不变量(invariants)并要求实施者(implementers)与以太坊的哲学理念保持一致。本文将解释其中一些设计决策、相关背景以及为何这些设计对于以太坊2.0协议的未来至关重要。

历史回顾

自以太坊网络诞生以来,将以太坊从PoW转换为PoS协议的动机就在不断演化。当时VitalikButerin正在探索一种可行的解决方案,以克服单纯的PoS协议存在的缺陷,从而提供比PoW更强大的安全保障。具体来说,Vitalik和以太坊研究团队设计了一种称为slasher(罚没)的机制,用以在PoS协议中惩罚恶意攻击者并罚没他们的存款(Buterin2018)。

之后VladZamfir加入了以太坊项目,2014年的大多数工作都集中在解决已知的针对PoS的远程攻击(long-rangeattack)。

当攻击者轻易地从头开始搭建一条比当前的规范链更长的链,并导致网络中的其他参与者认可新链的状态时,这就是远程攻击。

这种情况几乎不可能在比特币或以太坊等PoW链上发生,因为这需要整合大量的计算能力。然而,由于PoS机制并不依赖于计算能力,因此在遭遇这种攻击时会导致网络崩溃(Zamfir2014)。

VitalikButerin和VladZamfir一致认为,除了严格地阻止客户端同步一条超过某个checkpoint(检查点)的链之外,没有其他可行的抵御远程攻击的解决方案(Buterin2018)。

这种方法意味着,网络中的新节点只需要从那个最新的、由网络中的其他节点认可为“finalized”的“checkpoint”开始同步,而不是从创始区块开始同步。也就是说,当新的节点加入到网络中时,新节点对旧节点存在固有的信任。这种现象被称为PoS的弱主观性(weaksubjectivity)。当新节点加入网络中时,对在网络所有参与者中已经被“finalized”且不可篡改的区块存在主观信任(subjectivetrust)。

Circle推出两项新资助计划,旨在吸引人才以推进其Web3愿景:1月17日消息,Circle宣布推出新的资助计划,以吸引开发人员和研究学者,并帮助实现公司的使命。具体如下:

1.为学习Web3开发的学生提供10项10000美元的USDC资助,项目细节,包括今年春季开放的申请流程,将在未来几周内公布。

2. Circle Insight Award。这是Circle与Crypto and Blockchain Economics Research Forum(CBER)合作推出的首个此类奖项,该金融奖项将表彰杰出的学术论文。这些论文为区块链技术解决实际问题提供了原创、有洞察力的方法。奖金从5000美元到1万美元不等,将在5月份的CBER年会上宣布。(PR Newswire)[2023/1/17 11:16:37]

在那段时间,VitalikButerin和以太坊基金会的VirgilGriffith都致力于在ArXiV(https://arxiv.org/abs/1710.09437)网站上发布最初版的CasperProofofStake白皮书。2014至2017年这段很长的时间,以太坊试图在当前运行PoW机制的以太坊主链之上覆盖一个基于PoS机制的最终性系统(aPoSbasedfinalitysystem)。与此同时,以太坊开发者们也致力于实现状态分片(statesharding),将之作为扩展以太坊网络的方案。

而到了2018年时,这两项规划都得到了重大的推进,且2018年3月份在台北的一场标志性研究聚会之后,以太坊研究团队提议将CasperProofofStake和Sharding合并到一项称为以太坊Serenity(也即以太坊2.0)的发展方案中。

为何要推出以太坊2.0?

本文旨在解释“为何要推出以太坊2.0?”这一核心问题背后的设计理念。

当然,对当前以太坊PoW链的共识协议和数据完整性进行全面变革并不是通过仅仅一次硬分叉就能够轻易实现的--重新开始搭建一个全新的系统并将当前的以太坊1.0链完全地摒弃,这不是更容易吗?

在搭建以太坊2.0时,我们遇到的一个难题就是需要让以太坊社区参与到这场挑战中来,并让社区成员清楚地了解过渡到以太坊2.0背后的巨大益处和需求。在了解了伴随这种范式转换而来的巨大责任之后,现在是构建以太坊2.0的绝佳时机。

MetaMask将支持通过Lido和Rocket Pool进行流动性质押:金色财经报道,ConsenSys 周五宣布,加密钱包提供商 MetaMask 现在将支持通过 Lido 和 Rocket Pool 进行流动性质押。在该协议的公开测试版中,想要质押 ETH 并因对网络共识做出贡献而获得奖励的用户可以直接在 MetaMask 的 web3 应用程序中进行,方法是选择所需的质押提供商并确认要分配的 ETH 数量并签署交易,希望将在 Lido 或 Rocket Pool 上质押而收到的 stETH 或 rETH 换回 ETH 的用户可以在 MetaMask 中付费进行。

MetaMask 高级产品经理 Abad Mian 解释道:“重要的是要注意 MetaMask Staking 不提供质押服务,我们只需将用户连接到 Lido 和 Rocket Pool 以质押他们的 ETH 并直接从质押提供商那里接收流动性质押代币。”[2023/1/14 11:11:13]

不管我们是否愿意承认,当前区块链和加密货币依旧处于襁褓阶段,并且我们今天所做的决定将推动区块链和加密货币在未来多年的加速增长和采用。在转向PoS机制方面,我们已经等待了足够长的时间,以太坊应用亦是如此。当前已到了构建以太坊2.0的最佳时间,相关团队也做好了相应的准备。

前方的挑战

单纯的Layer1扩展可能会付出巨大的安全性代价,因为对区块链进行分片会使得无法对交易进行全局性验证(globaltransactionverification,也即网络中的所有矿工(除了恶意攻击者之外)都会致力于对所有交易进行确认,所有矿工的算力保证了整条链的安全。而分片则意味着某条分片链中的交易只由整个网络中的一部分验证者进行验证(因为整个网络中的验证者会被分配到各个分片链中负责交易验证),如此一来,单条分片链的安全性就比整条链的更低);当前的比特币和以太坊就能够对交易进行全局性验证,从而保证了整个网络的安全。

关键的问题是:我们如何在不牺牲去中心化和安全性的同时获取扩展性呢?以太坊的很多竞争性区块链平台(如EOS)选择走中心化的路线来解决这一问题。而以太坊选择了一种不同的方式,即将网络的状态划分到1024条并行运行的分片链之中,每条分片链都由统一由一条称为信标链(beaconchain)的根链进行协调。

比特币与美元指数相关性再次转为负数:金色财经报道,比特币和以太币与美元指数(DXY)的相关性再次变为负值。BTC与DXY的相关系数在11月19日升至0.84后降至-0.36。BTC自7月以来一直与DXY呈负相关,然后在11月9日进入正值区域。8月,这两种资产之间的相关性降至-0.94。(CoinDesk)[2022/12/1 21:14:30]

信标链运行完全的CasperPoS机制,整个体统中不存在EOS那样的代理或中心化的投票权。在这种方式中,每个节点只需要负责处理整个网络中所有交易的一部分,且很多区块可以并行处理交易,这就线性增长了整个网络的吞吐量。

以太坊2.0规范试图回答以下问题:

如果没有对交易进行全局性验证,那网络的安全性将会受到什么影响呢?应该如何选择验证的参与者同时阻止验证垄断的出现呢?应该如何设计激励措施,以最大限度地提高数据可用性和参与的积极性?

在经过多年的研究、探索和理解需要做出的权衡之后,以太坊探索着将PoS作为其共识算法的选择。出于文本中讨论的原因,验证者是一定能够获得奖励的,同时验证实体(个人或企业)在CasperPoS协议中享有平等的待遇,在参与到验证者委员会并获得奖励/处罚方面有着均等的概率。

交易的全局性验证转变成了间接性验证:每条分片链中的每笔交易都将首先由该分片中的验证者进行验证,该分片的验证者会将检查点(checkpoints)提交至信标链中,信标链在以太坊2.0中扮演着各分片链的“协调者”角色。

以太坊2.0设计的不变量

协议设计的一个关键支柱就是理解该协议将在哪些不变量下运行。

对于以太坊及其开发者社区来说,存在一个不可修改的设计决策对于以太坊2.0的未来发展是至关重要的。我们可以将以太坊2.0的核心分为以下几个要点:

参与到网络中应该是无需许可的(permissionless);

Layer1的范围应该简洁(concise)、紧凑;

协议应该在最大程度上具有表达性(expressive),同时不考虑其未来的用途;

过去一周Circle USDC流通量减少5亿美元:金色财经报道,据Circle官网,10月6日至10月13日期间,Circle共发行21亿美元USDC,赎回26美元USDC,USDC流通量减少5亿美元。截至10月13日,USDC总流通量为457亿美元,储备量为458亿美元,其中现金101亿美元,短期美国国债357亿美元。[2022/10/16 14:29:23]

网络应该具有活性(liveness),能够有效地从任何灾难性的场景中恢复过来;

应该将协议的复杂性与应用程序开发的复杂性区分开来。

01.无需许可性

以太坊2.0与其他“下一代”区块链平台的显著区别就在于如何参与共识。

以太坊2.0中称为验证者的唯一要求就是需要持有32枚ETH。在以太坊2.0系统中,不存在代理,没有用于选择验证节点的投票,也没有决定谁能参与验证的中心化机构。更重要的是,每个实体参与进来的硬性要求是质押32ETH,这使得以太坊2.0中的验证者都得到了平等的对待。

然而,任何个人都可能拥有对个验证者身份(也即持有大量ETH的用户在多个客户端中进行质押,并拥有多个验证者身份)。这只是一项简化共识协议的安全性和简洁性的决策。从激励设计的角度来说,在对区块进行投票验证时,平等地对待所有参与者是非常重要的,这对于形式化建模(formalmodeling)也是很重要的。1名验证者=质押32ETH,不能多也不能少。

其他的区块链平台往往通过采取一种更为中心化的方式来进行交易验证,以此来解决扩展性问题;但对于以太坊而言,这并不是其考虑的选项。

02.保持简洁性,但具有最大程度的表达性

以太坊2.0在其核心定义和实现目标方面力求简洁紧凑。在基础层面,以太坊2.0是一个用于搭建去中心化应用的可扩展、无需许可平台,

在以太坊2.0系统中,没有必要引入应用程序逻辑,这是有原因的。我们可以将以太坊2.0系统类比成Linux系统的内核--并不应该由操作系统本身来决定应该包含某些特性或设想其用例,而是应该由为系统内核搭建应用的开发者来决定。

律师:SEC调查Coinbase可能会对交易所和代币项目产生“寒蝉效应”:7月28日消息,针对美国证券交易委员会(SEC)对Coinbase涉嫌交易未注册证券展开的调查,一位法律专家表示可能会对加密交易所和代币项目产生“严重的寒蝉效应(chilling effect)”。

Piper Alderman澳大利亚数字资产律师Michael Bacina表示,无论最终是否认定这些代币是证券,都可能对交易所和项目产生影响。“鉴于SEC在其内幕交易起诉中称为证券的许多代币都在Coinbase和其他交易所上市和交易,这项调查可能对这些交易所和代币项目产生严重的寒蝉效应,无论最终调查结果认为这些代币是否属于证券。”

注:寒蝉效应是法律用语,指人们害怕因为其言论遭到刑罚或面对高额赔偿,进而不敢发表言论,如同蝉在寒冷天气中噤声一般。

据此前报道,在Coinbase内幕交易指控后,SEC将AMP、RLY、DDX、XYO、RGT、LCX、POWR、DFX和KROM等9种加密货币列为证券,每个币种都被提及与涉嫌内幕交易有关。(Cointelegraph)[2022/7/28 2:43:43]

03.保证安全性

以太坊2.0的PoS模式--CaspertheFriendlyFinalityGadget--在一系列的激励措施下运行,旨在保持高度的活力和网络参与。以太坊2.0通过Casper进行扩展并利用其特征来保护整个分片链网络的安全性。也就是说,以太坊2.0通过使用链最终性阈值的概念来保证系统中的1024条分片链与信标链共享安全性。

PoS的前提是,验证者在按预期执行被分配的验证工作之后就能够获得奖励,或者因为处于离线状态而小损失部分质押金,亦或者如果验证者恶意违反协议时受到严重的惩罚(质押金被罚没)。

虽然这一前提很简洁,但相关的细节是决定成败的关键。一旦我们意识到不仅要考虑每个验证者的行为,同时还要考虑所有验证者委员会的行为时,Casper经济学很快就变得更加复杂。

通常对于PoS链的一个开放性问题是:应该何时惩罚恶意行为,以及应该如何根据行为的严重程度来相应地对验证者进行惩罚(严重程度不同,惩罚也应不同)。也就是说,我们需要找到一个足够全面的惩罚措施,既能涵盖所有的极端情况,又能保持简洁性。

由于协议依赖于验证者的活动,协议的运行也依赖于持久的时间尺度,可能会出现诚实的验证者下也无法参与验证的情况。诚实的验证者可能因为断电、网络故障或其他原因而离线,但我们需要明确地将离线惩罚和恶意行为惩罚区分开来。

以太坊2.0的部分设计原理是使任何企图破坏协议的攻击者付出巨大的成本代价。也就是说,在其他区块链平台上发生的51%攻击,在以太坊2.0链上将需要付出巨大的成本,甚至会带来相反的效果。也即逆转协议中的最终性将使得攻击者对于其他诚实地验证者非常显而易见,从而允许社区协调一致地通过软分叉来将该恶意攻击者移除出去,使其攻击变得无效。

基于PoS机制的系统的另一个限制就是验证者的困境,也即系统中的验证者过于懒惰(离线状态),一味地相信协议中的其他验证者将会以正确的方式进行区块验证,因此这些懒惰的验证者玩忽职守。这些验证者通过不执行他们的验证职责,从而节省带宽或一般的计算需求,除非他们面临重大的惩罚。针对这种情况,可以通过在网络中增加针对数据缺失或错误的签名信息而设置的非常严重的惩罚和挑战机制,以此来缓解这种问题。

以太坊2.0的验证者激励措施

以太坊2.0的验证者激励措施如下:

01.验证者离线:QuadraticLeak

以太坊2.0依赖于拜占庭容错阈值,也即必须保证网络中2/3的验证者是诚实的验证者

针对不参与验证的验证者的惩罚称为“inactivityleaks”。如果某条分片链在超过4个epoch期间没有得以敲定,那该协议对验证者的奖励将变得尽可能严格,也即最大的预期奖励将是0,因此验证者需要正确地进行验证操作,否则将受到更多的惩罚。惩罚程度的大小将与上一次链实现最终性以来的时间成正比(也即距离上一次的最终性的时间越长,受到的惩罚就越大),以此来组织验证者离线。

验证者离线的时间越长,这种惩罚就会呈指数级增长。这种惩罚称为“quadraticleak”,这种惩罚机制的设计初衷是:短期的离线状态将不会受到惩罚,但离线较长一段时间将为验证者带来很大的不利影响,这能够很好地将预期的现实情况考虑进去。这种惩罚所损失的资金将被销毁,而不是分发给其他的诚实验证者。

02.故意的恶意行为:罚没(slashing)

在针对以太坊PoS的早期提案中,恶意的验证者将受到称为slashing(罚没)的巨大惩罚,通常这些机制仅仅讨论了针对单独的个人恶意验证者的惩罚,而没有讨论验证者串谋起来的严重性。只有当很大一部分验证者协同对网络进行恶意操作时,网络才会受到影响。

根据拜占庭式容错,对恶意行为者的惩罚将是在一定时间间隔内也进行恶意行为的验证者数量的3倍。这有助于惩罚大量协同的攻击行为,同时也阻止恶意验证者聚集在一起。也就是说,对于验证者来说,联合起来对网络发起攻击是非常不利的。

罚没(slashing)是通过一个揭发机制来实现的,也即验证者能够通过发现其他验证者的可罚没攻击行为来获得奖励,作为报酬能够获得其他验证者被罚没的资金。

03.验证者奖励

根据VitalikButerin的以太坊Serenity设计原理(https://notes.ethereum.org/s/rkhCgQteN),他概述了每名验证者在每个epoch时间段内(每生成64个区块称为一个epoch)获得的基本奖励的4个明确组成部分:

通过证明以确定正确的epoch检查点而获得的奖励的1/4;

通过证明以确定正确的chainhead而获得的奖励的1/4;

通过证明使区块得以快速进入链中而获得的奖励的1/4;

通过证明以确定正确的分片区块而获得的奖励的1/4;

此外,根据正确参与验证的验证者数量,在这个基本奖励之上还有其他额外的奖励。这一额外的奖励用于激励验证者进行正确操作,共同地推动了网络中的诚实活动。奖励的发放时间表应该是一直且直接的。增加其他更多的复杂性将使整个系统更易于出错,从宏观经济的角度来看也更难以理解。

将协议的复杂性与应用的复杂性区别开来

可以说,以太坊2.0的路线图是一项将历时多年且最具雄心的计划之一,该计划从整个区块链领域吸取了经验教训并创建了一个能够很好地解决扩展性三难困境的协议,该协议将能够持久运行下去。

有关分片将如何有效地增加开发者体验已经存在很多的讨论。其基本依据是,在以太坊2.0协议的设计中不考虑应用开发者的需求是非常困难的,因为分片链的高度复杂系统要求各分片需要彼此交互(跨分片通信)。

乍看之下,这种观点说得通,因为从外部看来以太坊2.0非常令人生畏,且在以太坊2.0中有关智能合约执行方面依旧存在很多的不确定性。但实际上,事实要微妙地多。

应用开发者将只需要了解以太坊2.0协议的一小部分就够了。普通的智能合约开发者是不需要了解验证者注册表(validatorregistry)或者信标链的最终性小工具的内部构造的。

因此,阶段0(信标链阶段)完全从应用层中移除了。最近阶段1和阶段2也提出了一些非常有力的提案,这些提案建议对执行环境进行更高程度的抽象化(abstraction),这使得以太坊2.0变得更加强大和更为简洁。

最坏的情况下是,钱包/应用开发者需要了解跨分片交易的某些细节,以便通过一些技巧显示即时交易结算。今天的计算机操作系统和内部结构比10年前复杂得多,但是大多数应用程序开发人员并不需要理解那些使计算机构架变得强大的隐藏内部构造。将这两者区分开来是优秀的架构设计的核心,我们也可以将之当成在搭建以太坊2.0时需要记住的一个设计不变量。

构建一台真正的世界计算机

总结而言,以太坊是图灵完备的,这意味着以太坊能够以当前计算机相同的方式运行任何类型的代码,尽管它尚且是一台缓慢、单线程的计算机。

今天的以太坊类似于早期的弱处理器。当前在以太坊上运行应用程序是昂贵的,因为该协议内置了一些机制,用于阻止困扰诸多公共事业的公地悲剧。

以太坊充满活力的开发者社区从未停止过对当前网络的创新,无论是其核心层(Layer1)还是Layer2。从治理的角度来说,以太坊未来计划的升级并不会一路平坦毫无挫折。如果未来以太坊2.0上线了几年之后,我们感到收到约束并希望搭建以太坊3.0,那也意味着我们在前者的核心设计方面的失败。

可升级性(upgradeability)应该以一种不需要通过有风险的硬分叉才能实现的方式才融入到协议中。也就是说,一旦系统长期处于运行中,Layer1层面的创新应该保持最小甚至为零的状态。

我们还有很长的路要走,但是我们通过谨慎地提醒自己为何要搭建这个软件,以及我们希望以太坊在未来10年内走向何方,我们也就可以编写能够经受住时间考验的、更具鲁棒性的代码。

参考链接:

https://www.tokendaily.co/blog/design-principles-of-ethereum-2-0

标签:以太坊POSALI区块链波场币在以太坊发布poseidonNeuralink V2区块链专业好找工作吗

火币下载热门资讯
LTC:BTC震荡下行,走势仍需修复

节日假期即将结束,盘面量能也进入萎靡状态,早间8时到目前总成交量不足40亿,净流入最高的币种只有2000万,但主流币LTC持续流出,目前排在世界净流出排行榜第一,净流出3亿元.

1900/1/1 0:00:00
LTC:BTC带领主流币向上调整,突破阻力将开始上涨时代

昨日BTC强势反弹,主流币集体普涨,主流币LTC再次暴涨,也是在主流币集体处于下跌走势的第二次大幅上涨,也成为了主流币的一只独秀;BTC凌晨持续横盘整理,价格维持在5日均线上方.

1900/1/1 0:00:00
TAO:详解雅虎日本最新推出的加密交易所Taotao

金色财经比特币6月12日讯早在2018年4月,雅虎日本就计划推出加密货币交易所,而且他们也愿意受到日本金融服务厅的监管.

1900/1/1 0:00:00
加密货币:为何加密货币借记卡这个利基市场值得关注?

金色财经比特币6月10日讯与加密货币相关联的借记卡,给许多普通消费者提供了认识加密货币支付的机会.

1900/1/1 0:00:00
TRO:Tron孙宇晨推动“巴菲特慈善午餐”首次来到硅谷

孙宇晨周一向雅虎财经表示,“我们希望这个午餐会成为加密货币社区和传统投资者之间的桥梁。”孙宇晨似乎正试图将巴菲特带离其舒适区。而这位传统投资者的口味和他的投资一样保守.

1900/1/1 0:00:00
BTC:注意 6月份的这3件大事将决定BTC的方向?

BTC在触及9000之后,回调至最低点7400美金,期间有2次试探8000美金都未站稳。昨日BTC又迎来一波大回调,从8000美金回调至7400美金,今日市场一片血色,Top10代币无疑幸免!目.

1900/1/1 0:00:00