众所周知,PoS以太坊的共识协议是「Gasper」,它是在LMD-GHOST之上应用CasperFFG构建的。所以要想搞清楚完整的以太坊共识协议,就必须了解这两个部分。此外,这些设计真的很有趣。我打算梳理一下这两个协议的背景和演进,以及它们简单的工作流程。
PoS共识算法的三大流派如下:
1.Nakamoto-inspired
2.PBFT-inspired
3.CBCCasper
Venus Protocol发布V4白皮书,注重改进风险管理、去中心化和用户体验:7月15日消息,BNB Chain上借贷协议Venus Protocol已发布Venus V4白皮书,注重改进风险管理、去中心化和用户体验三个方面。[2023/7/15 10:57:09]
Nakamoto-inspiredPoS是一种基于链的算法,模拟在PoW中挖矿。它通过伪随机选择验证者来创建新区块。其在2012年的「Peercoin」论文中首次提出,peercoin是基于权益证明共识的第一个加密货币。
PBFT-inspiredPoS基于多年对拜占庭容错的研究。在2014年的「Tendermint」论文中首次提出。一般来说,这些算法会选择一个代表账本规范交易的唯一链。
美SEC起诉币安案件的被告答辩截止日期为2023年9月21日:金色财经报道,根据哥伦比亚特区地方法院法官艾米·伯曼·杰克逊(AMY BERMAN JACKSON)签署的一项命令显示,美国证券交易委员会起诉币安案件的被告答辩截止日期为2023年9月21日,原告必须在2023年11月7日前提交反对任何驳回动议的陈述,另在2023年12月12日前应回复支持任何驳回动议的简报。此前艾米·伯曼·杰克逊已拒绝币安要求修改6月26日公开声明的动议。[2023/6/27 22:02:25]
Casper直接继承了BFT算法,做了一些修改。CBCCasper是由@VladZamfir提出的,有一些很好的资料可以更充分地解释它。
V神的CBCCasper教程
VladZamfir写的CBCCasper历史
Shiba Inu生态系统正在开发可用于将现实世界的资产与NFT链接起来的服务:金色财经报道,Shiba Inu生态系统正在开发可用于将现实世界的资产与NFT链接起来的服务,以帮助证明所有权,作为其Shibarium生态系统推广的一部分。
Shibarium专注于元宇宙和NFT 应用程序,将使用SHIB、BONE和LEASE进行操作。开发人员表示,区块链有望在今年晚些时候上线。[2023/6/22 21:54:45]
CBCCasper介绍视频
虽然以太坊最终选择了CasperFFG而不是CBCCasper,但对CBCCasper的研究也很有价值,比如满足以太坊需求的分叉选择规则「LMD-GHOST」。CasperFFG由V神和VirgilGriffith在2017年提出,引入了justification和finalization的概念,并引入了slashingconditions和动态验证者机制,这些都是非常重要的特性。
Nexo将约137万枚USDC转入FTX:金色财经报道,PeckShield监测显示,被标记为Nexo的地址(0xb60c61dbb7456f024f9338c739b02be68e3f545c)将约137万枚USDC(约137万美元)转入FTX。[2022/7/14 2:13:16]
CasperFFG用于保证「最终性」,这在PoW中是不存在的。简单来说,每个验证者都会对检查点进行投票,经过两轮投票后,检查点将被「最终确定」。
美参议员:在没有明确的数字资产监管准则的情况下很难对机构进行问责:金色财经报道,美国参议员Cynthia Lummis在社交媒体上表示,说到监管,对数字资产行业来说,这是一个狂野的西部。在没有明确的数字资产监管准则的情况下,很难对机构进行问责。Lummis-Gillibrand框架为利益相关者和监管者提供了清晰的指引。[2022/6/22 4:44:08]
所有最终确定的检查点都成为规范链,所有忠诚节点都同意他们永远不会逆转这条链。「最终检查点」之后的区块可以随意分叉,但之前的区块不允许分叉。
CasperFFG除了通过「最终性」来保证区块链安全外,还引入了slashing条件来惩罚所有违反规则的验证者,所有违反规则的验证者都将被跟踪和惩罚。
除此之外,CasperFFG是无需许可的,pBFT通过一个列表来维护共识,只有列表中的人才能成为参与者。CasperFFG构建了动态验证者机制,所有验证者可以自由进出。CasperFFG用于保证「最终性」和「安全性」,负责确认区块的最终状态,但不负责创建新区块,所以它需要底层区块链和分叉选择规则。
以太坊使用的分叉选择规则是基于GHOST,该规则最早在2013年的一篇论文中提出。2017年,@VladZamfir在CBCCasper工作时,他尝试将GHOST与Casper结合,产生了一个变种「LMD-GHOST」。
区块链允许分叉,当出现不同的分支时,应该选择哪条链继续添加后续新区块,需要分叉选择规则。PoW使用的是最长链规则。思路是锻造最长的链需要最多的算力,所以这条链是最可信的。所以当所有矿工添加新区块时,他们会默认在最长的链上添加。
GHOST的思路与此类似,其选择票数最多的链而不是高度最长的链,LMD-GHOST做了一些修改,只考虑最近的投票。
LMD-GHOST的规则很简单:
-从创世区块开始;
-每次有分叉,选择票数多的分支;
-重复,直至找到blockleaf;
-返回链的头部;
这是CasperFFG和LMD-GHOST的演变以及它们如何工作,它们共同保证「安全」+「活性」。LMD-GHOST允许提议者随时创建新区块,新区块将按照分叉选择规则添加到权重最大的链上。虽然CasperFFG将根据所有验证者的投票最终确定一个规范链。所有忠诚节点默认接受规范链,从而获得安全。
共识真的很有意思,以太坊对PoS的研究始于2014年,2022年完成了合并。这是一条漫长而曲折的道路,过程中诞生了许多奇妙的想法、设计和工程。
责任编辑:Felix
原文作者:WilliamM.Peaster来源:Bankless,本文由DeFi之道编译图片来源:由无界版图AI工具生成。目前NFT游戏领域正在发生大量的开发活动.
1900/1/1 0:00:00#01IntroXENCrypto恐怕是上周讨论度最高的项目了,当全网都在热议到“XEN的铸造导致以太坊过GAS暴涨时“,作为营销人,我们更关心的是XEN是怎么火起来的.
1900/1/1 0:00:00I.引言Crypto政策在制定时很少会用到真实且细化的数据,原因主要有以下三点:1.新兴技术领域的相关政策大多还停留在理论及定性分析层面,早期阶段很少会使用到数据.
1900/1/1 0:00:00AptosLabs于10月14日公布了Aptos的GAS计划,因为MOVE语言的上一个版本其实是打算在没有GAS的前提下运行的,所以并没有为GAS计划做好准备.
1900/1/1 0:00:00跨链桥不是一个新话题,市面上的文章从桥的基本要素、跨链技术等对跨链桥进行了全面的分类和解读。但是目前文章对于跨链桥的分类使人眼花缭乱,阻碍了人们对跨链桥性能的宏观理解.
1900/1/1 0:00:00通过10X扩展加密的用户体验和安全性Vitalik说,账户抽象是“我们一直想要的东西”,它“长期以来一直是以太坊开发者的梦想社区”.
1900/1/1 0:00:00