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

SHA:以太坊步入「宁静」阶段,全面解析 2.0 设计哲学

作者:

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

原文标题:《ChainHillCapital:「ETH2.0Serenity--『宁静』」》

作者:Steven,ChainHillCapital合伙人

从11月4号以太坊开发团队发布ETH2.0的启动条件并公布存款地址以来,各路ETH深度参与者们纷纷祭出了自己的32个或者更多的ETH支持其启动,终于在11月24号超额完成了V神设定的至少16384笔32-eth验证者存款总共不低于52.4万个ETH的启动要求,ETH2.0主网在12月1号凌晨准时上线。

主网上线后第一阶段被命名为「Serenity」,运行的主链为Beaconchain,即现在所运行的信标链,那么关于这条PoS链,有哪些设计哲学和创新点,他们是否又足以支撑ETH向PoS过渡呢?

PrinciplesSerenity的设计哲学

Simplicity简单

基于加密经济学里权益证明和Sharding分片技术的内在复杂性,Serenity在设计的时候尽可能的追求最大简单性,以便:1)最小化开发成本;2)降低不可预见的安全问题的风险;3)让之后的开发者在设计协议时,更容易的对其使用者说明协议的细节和合法性。

Long-termstability长期稳定性

底层协议的建设必须足够的完美和有预见性,只有这样在未来的10年或更长的时间内都不需要对其进行任何更改,任何创新都可以基于这些底层,在更高的协议层发生和建设。

上清所:大宗商品现货清算业务数字人民币清结算服务将于6月26日上线:金色财经报道,上清所公告,银行间市场清算所股份有限公司大宗商品现货清算业务将于2023年6月26日上线数字人民币清结算服务并将运营时间调整为工作日9:00-18:00。同时,为体现数字人民币普惠金融的设计理念,数币清结算服务暂不收费。[2023/6/25 21:59:24]

Sufficiency充分性

Serenity将会从基础性上保证尽可能多的应用程序可以构建在她协议的顶层。

Defenseindepth深度防御

协议可以在各种可能的安全假设下无差别的工作。(例如,网络延迟,故障计数,以及用户的邪恶动机。

Fulllight-clientverifiability全轻节点可验证

在给定的假设中,一个验证客户端,即使在51攻击之下,应该也是可以获得整个系统的所有有效数据。

2.0TheLayer1VSLayer2一层协议与二层协议的权衡

在任何区块链协议中,都存在着在Layer1中放入更多的特性将,还是尽可能的将Layer1设计的简单而在Layer2上进行更多的特性建设的争论。

其中,支持Layer2的理由包括:

降低了共识层的复杂性减少了修改共识层的需要减少共识层失败的风险减少协议治理的负载和风险随着时间的推移,将会更具有灵活性和实施新想法的能力而支持Layer1的理由是:

Dapper Labs首席执行官被前员工指控欺凌以及过度开销:3月2日消息,Dapper Labs首席执行官Roham Gharegozlou因涉嫌在裁员和里程碑式的NFT诉讼中加剧公司动荡而受到批评。前员工称,他对员工的欺凌和大手大脚的支出导致了员工的高流动率。去年11月,Dapper Labs宣布裁员22%,今年2月又裁员20%。

此前消息,与多个NFT项目密切合作的长期版权和知识产权律师Jeremy Goldman在社交媒体上披露,美国一联邦法院驳回Dapper Labs集体诉讼动议,据悉该诉讼指控“NBA Top Shot Moment ”NFT为证券,并指控Dapper Labs违反证券法,在没有适用于其他投资合同的标准注册和披露的情况下出售NBA Top Shot系列NFT。(DLNews)[2023/3/2 12:38:30]

减少由于缺乏机制迫使每个人升级到一个新的协议而导致的发展停滞的风险可能降低整个系统的复杂性如果第一层没有足够强大,在第二层协议上构建多么复杂庞大的机制是不可能的以太坊2.0的大部分内容都是在Layer1和Layer2之间小心权衡,在Layer1上所做出的努力包括以下三点:

1)准图灵完备、全状态代码执行

2)可拓展和可计算

3)高速区块完成时间

具体而言:

如果没有1),就不能使用完备的可信模型去构建Layer2的应用程序;

去中心化数据系统Inery完成新一轮融资,Truth Ventures参投:2月4日消息,去中心化数据系统Inery完成新一轮融资,具体金额暂未披露,Truth Ventures参投并与之达成战略合作伙伴关系,双方将共同构建去中心化数据库并推动分布式数据库功能和区块链功能集成。

金色财经此前报道,Inery于曾去年9月完成一笔由Metavest领投的融资,旨在为其用户构建一个无缝式NFT创建和共享空间。(indiatimes)[2023/2/5 11:47:52]

如果没有2),拓展性能就会被局限在某种状态通道和像Plasma的某些技术中,而这些技术往往面临着资金锁定和大规模资金退出的问题;

如果没有3),就不能实现在不用状态通道的情况下及时交易的要求,而这通用也会从产生资金锁定和大规模资金退出的问题;

除了上述特性,ETH2.0将1)隐私、2)高级编程语言、3)可伸缩状态存储、4)签名方案,留给了Layer2,因为它们都是快速创新的领域,现有的许多方案都具有不同的特性,未来不可避免的要在更多更好的方案之间进行权衡。例如:

1)隐私:环签名+机密值VSZksnarkVSZkstarks;rollupVSZEXEVS…

2)高级编程语言:声明性与命令性、语法、形式验证特性、类型系统、保护特性以及本地支持隐私功能

全国首单农交所数字人民币分红落地天津:金色财经消息,近日,随着天津农村产权交易所“一键分红”按钮的确认,天津市武清区梅厂镇南任庄股份经济合作社股权分红大会上村民们举着手机兴奋地说。南任庄股份经济合作社上半年统一经营土地实现125700元收益,首次以数字人民币形式分到了全村419位成员手中。这是全国首次依托农村产权交易所以数字人民币形式进行村集体收益分配,也是数字金融赋能集体经济发展、助力乡村全面振兴、推进共同富裕的一次重要探索。(中国新闻网)[2022/9/3 13:06:07]

3)扩拓展的状态存储:账户VSUTXOs,不能的租借方案,rawMarklebranch见证人VSSnark/Stark压缩VSRSA累加,sparesMarkletreesVSAVLtreesVS基于使用的imbalancedtrees;

4)签名方案:M/N多重签名,社交密钥的撤销和恢复,Schnorr签名,BLS签名,Lamport签名

WhyCasper为什么选择Casper做PoS的方案

目前一共有三种主流的POS的共识算法:

Nakamoto-inspired,如Peercoin,NXT,Ouroboros…PBFT-inspired,如Tendermint,CasperFFG,HotstuffCBCCasper在后两种方案中存在着一个问题,即是否以及如何使用安全质押与惩处。所有的三种方案都是优于工作证明的,我们将具体介绍一下ETH2.0的做法。

末日博士:美国的麻烦将比1970年代更大 有人却还在痴心妄想:金色财经报道,知名经济学家“末日博士”鲁比尼表示,利率上升和沉重债务负担令美国面临严重衰退,那些预计经济只是小幅滑坡的人“纯属痴心妄想”。鲁比尼称,现在的情况与1970年代不同,当时尽管经济滞胀,但负债率处于低位。而自08年金融危机以来,美国的债务激增,紧随其后的是信贷危机和需求冲击导致的低通胀或通缩。这一次,美国遭遇的是滞胀环境下总供给负面冲击和处于历史高位的负债比。在过去的两次衰退中,美国实施了大规模的货币和财政宽松政策。这一次美国却在收紧政策,缺乏财政腾挪空间。[2022/7/26 2:37:23]

Slashing

以太坊2.0使用的Slashing机制,即在验证者被发现有不当行为时,将会罚没其质押在网络中充当验证节点的代币,最好的情况下是约有1%的验证者会受到惩罚,最坏的情况是全网所质押的ETH都会面临惩罚。这种做法的意义在于:

1)提高攻击的成本

2)克服验证者们存在的问题,使验证者偏离诚实行为的最大动机是懒惰,对自相矛盾和不正确的签名的进行大额的惩罚可以在很大程度上解决这一问题。关于这一点,有一个很典型的案例:2019年7月,一个在cosmos上的验证者因为签署了两个相互冲突的块而受到了质押金的罚没,而这个验证者出现这种失误的原因就是因为它同时运行了一个主节点和备份节点,而这两个节点在同一时间以外打开,导致它们最终相互矛盾。

共识算法的选择

在出现大规模的验证节点作恶,只有BFT-inspired和CBC学派的一致性算法能够有较好的最终性,Nakamoto-inspired共识算法无法在这种前提下实现最终性。最终性的确认需要大多数的验证节点都在线,这个要求在Sharding分片机制中也是需要满足的,因为分片要求必须要有2/3的随机验证者在跨片沟通时进行签名。

ETH2.0选择CasperFFG就是因为它可以用最简单的算法在协议的最终部分实现最终性,但是未来会在第三阶段逐步转向CBCCasper。

Sharding分片--为什么ETH2.0讨厌超级节点

对于Layer1而言,分片的主要方法是使用超级节点--通过要求每一个共识节点都拥有超强的服务器,来保证它们能够单独处理每个事物。基于超级节点的拓展是很方便的,因为它实现起来很简单:它只是在现有的区块链的工作方式的基础上,加入了一些更加平行运作的软件工程层面的工作。

而对于这种做法,面临的主要问题如下:

1)抵押池集中化风险:运行节点的固定成本很高,因此可以参与的用户很少。如果运行验证节点的固定成本占据了回报的大部分,那么较大的池子相较于小池子就能够节省更小的费用,这将会使得小池子不断被挤出,从而加剧集中化的趋势。相比较而言,在分片系统中,抵押了更多ETH的更大的节点需要验证更多的交易,所以其费用并不是固定的。

2)AWS集中化风险:在超级节点的体系下,家庭作坊式的抵押形式几乎是不存在的,大部分的抵押都将会在云计算的环境中,这将会大大增加单点故障的风险。

3)可拓展性的问题:随着事务吞吐量的增加,上述风险增加,而在分片系统中增加的负载可以被更容易的处理而减少上述风险。

这些集中化分险也是ETH2.0没有选择格外追求超低延时<span="">的原因,他们将这个延时设定在一个相对保守的数据。

在ETH2.0的分片系统中,不管你有多少的ETH和算力,你都能够参与到ETH的验证系统中。固定成本被最小化,即便你拥有非常庞大的ETH的量,你面临的费用依然是次线性的。

安全模型

ETH2.的深度防御与分片方法是将随机委员会抽样结合起来,以实现诚实多数者模型下的有效性和可用性,同时提供保管证明以防止懒惰的行为者,并提供欺诈证明和数据可用性证明,以便在不下载和核实所有数据的情况下检测无效或不可用的链条;这将允许客户拒绝无效或不可用的链。

下表是当前预期的安全属性:

Casper的奖励机制是如何设计的?

在每一轮Epoch中,每一个验证者都会给出自己的证明,这个证明指的是验证者指出哪个是区块头并为之签名。如果这个证明被打包,验证者将会获得以下奖励:

1)证明被打包入内的奖励

2)指定正确的Epochcheckpoint的奖励

3)指定正确链头的奖励

4)证明被迅速打包上链的奖励

5)指定正确shardblock的奖励

在不同的场景中,具体的回报计算方式如下:

B=基础回报,P=做出正确判断的验证者的比例

任意做出正确判断的验证者将会获得B*P的奖励,

B的计算公式为:

其中,D1…Dn表示质押量大小,k是一个常数,

Beaconchain/shardchain的结构

分片系统包含了64个逻辑分片「shards」,该系统以beaconchain为中心,协调所有的活动。

一笔交易在这个系统中得到最终确认的流程如下:

1)交易被包含在一群shard的某个shardblock中

2)随机选择出来的验证委员会被分配到这个shard中并进行验证和签名

3)委员会的签名被打包进下一个beaconblock

4)下一个beaconchain通过CasperFFG进行最终性确认

将每个shardblock都通过hash连接到下一个beaconchain,使shard能够迅速识别彼此的Markle根,从而能够相互验证收据:

如上图所示,如果shardn没有被立即被打包到n+1beaconchain中,n+2beaconchain的委员会可以尝试打包这个shard和下一个shard。

尾---关于ETH2.0的未来

「宁静」仅仅只是ETH2.0浩瀚征途的第一步,但是从他们在第一步中所做的取舍可以看出来整个团队过去三年对于公平和效率的深入思考,并没有一味的追求所谓百万TPS,而是在保证安全的前提下对实用性和可行性进行更大的实践。

我相信未来在很长的一段时间内,ETH都将会整个区块链网络的基石,今年的DeFi只是在不成熟的网络条件下的一场伟大的社会实践,2.0在2021-2022愈臻完善的时候,必然会迸发出更大的商业价值和社会价值。

标签:ETHSHASHARDHARDFomo Ethshaun币哪里能买Rune Shardshard币最新消息

狗狗币价格热门资讯
DEF:解读 | Compound 遭受价格预言机操纵攻击事件始末

撰文?|?区块链金融分析师.Matlif出品?|NEST爱好者已获作者授权发布11月26日下午Coinbase交易所稳定币DAI价格出现剧烈波动,一度暴涨超30%至1.34美元,后又快速回落.

1900/1/1 0:00:00
END:老万币圈:12-6 比特币行情分析及操作策略

BTC行情行分析及策略???大饼昨天晚盘是横盘震荡,早间6点最低来到18980附近遇支撑后反弹,早间9点最高来到19350附近遇阻后回落,目前K线来到19300附近运行.

1900/1/1 0:00:00
DGE:比特币上下拉锯 白盘高空低多

BTC早间分析四小时方面,比特币跌破布林带中轨,形成向下施压态势,币价同步来到布林下轨18500一线,这也是皓哥晚间给出视频看到的最低点.

1900/1/1 0:00:00
LAYER:聋先生说币:大饼盘整接近尾声 以太上攻迹象渐浓

各位老铁大家好,我是你们的朋友聋先生好的行情,不是瞬间的瀑布让你绝望或狂妄,而是细水长流的单边给你复利,奔跑,是为了更好的向前,而放下,才是一种更高的境界,高手并不是把一手烂牌打好.

1900/1/1 0:00:00
NCE:老k:BTC与ETH 一波回踩过后 是否继续冲刺呢

前言——————————————————————————————投资,投入太大,时间太长,而见不到收益,不可预估的风险也是最大的。短线高手,应经常保持空仓,做到守若处子,动如脱兔.

1900/1/1 0:00:00
DEF:抹茶掘金DeFi,搭载人工智能合约交易,再度起航

MXC抹茶被站内用户称为「币圈黄冈」,如同热点「雷达」,MXC抹茶对热门资产的敏锐扫描,总能让它走到市场前面.

1900/1/1 0:00:00