学习
实践
活动
工具
TVP
写文章

Casper系列01——Casper 简介与概览

Casper 简介与概览 Casper 是知名开源区块链项目以太坊 (Ethereum) [1] 的共识算法,是以太坊转型为全面 PoS (Proof-of-Stake) 的基础理论支持和实现,同时也是以太坊 原理与目标 前面说到,PoW 机制需要消耗大量的电力去维持区块链系统出块,根据2017年底的数据统计 [5],比特币挖矿目前占用全球 0.13% 的用电量,超过 159 个国家的年均用电量,并且在过去1 PoW 也是现在绝大部分区块链系统的基础机制。在 PoW 模式下的,用户消耗真实的电力用于产生区块获得分红。 (有点像股权分红) 以太坊的紫皮书中有如下几个 Casper 最终形态的设计目标: (Efficiency via proof of stake) 通过 PoS 提升效率:共识机制不需要挖矿,降低电力浪费 id=72346 [6] cbc-casper: https://github.com/ethereum/cbc-casper

58190

Casper系列02——Casper 数据结构与投注出块

Casper 数据结构与投注出块 上一章讲到了 Casper 的基本情况,这一章讲一讲 Casper 的基础数据结构和投注流程。 投注 现存在一个“Casper 合约”,这个合约会保存并跟踪 “验证人池” (validator set),该 Casper 合约被包含在创世块 (genesis block) 中并且没有权限要求 (公开的 ),调用这个 Casper 合约是验证一个区块头部的第一步。 因此,初始化状态的验证人池被定义在创世块并且能够被如下函数 (算子) 修改 (后文为了避免歧义,我们称 Casper 算法的重要操作函数为 Casper 算子) : deposit(bytes validation_code 这个机制允许每个验证人使用任意的签名方式,例如多重签名,或者 Lamport 签名抵抗量子计算机攻击。这段智能合约会使用 CALL_BLACKBOX 虚拟机操作码保证黑盒运行,不会被外部状态影响。

44880
  • 广告
    关闭

    年末·限时回馈

    热卖云产品年终特惠,2核2G轻量应用服务器6.58元/月起,更多上云必备产品助力您轻松上云

  • 您找到你想要的搜索结果了吗?
    是的
    没有找到

    通俗讲解:PoW共识机制与以太坊的关系、Ghost协议 及 PoS共识机制的变种---Casper

    PoW 与 PoS 共识机制 如果对PoW共识机制还不了解的朋友,可以看下我之前的一篇文章 PoW共识机制通俗讲解。 我们总结一下,Ghost幽灵协议在以太坊中主要起到了下面两点作用: 选择出最长链 对最长链中分叉块进行处理 Casper PoS变种共识机制 前提:Casper 目前还没完全公布,还处于开发中,下面内容是根据目前现有的知识总结出的 作为以太坊第四阶段版本的共识机制Casper投注共识增加了惩罚机制,并基于PoS的思想在记账节点中选取验证人,能够投注的角色是:验证人。可以将这类角色理解为新一代以太坊矿工。 在casper共识机制中,验证人要拿出保证金的一部分对它认为的大概率胜出的区块进行下注: 如果赌对了,它们就可以拿回保证金外加区块中的交易费用,也许还会有一些新发的货币; 如果下注没有迅速达成一致,下注太慢 按照什么规则轮着出块 由Casper机制提供规则。

    86120

    RChain的Casper共识算法

    RChain的Casper共识算法是基于Vlad Zamfir的correct-by-construction共识协议和CTO Greg Meredith和其他RChain成员讨论而来的。 他们还为Casper开发了一个模拟器:https://github.com/rchain/Casper-Proof-of-Stake/tree/simulation-dev。 该文章翻译自:https://rchain.atlassian.net/wiki/spaces/CORE/pages/92536846/Casper+for+RChain  翻译水平有限,我本身对区块链的了解也有限

    67570

    Alpha Casper FFG 测试网指南

    什么是 Casper FFG,它是如何工作的 这个话题已经超出了本文内容,你可以在下面的链接中找到更多信息: Proof of stake FAQ Casper FFG paper Presentation by Karl Floersch Jon Choi’s Casper 101 本文接下来的部分,将假定您对 Casper FFG 已经有了一定的了解。 ")) > casper = web3.eth.contract(abi=casper_abi, address='0xbd832b0cd3291c39ef67691858f35c71dfb3bf21' ).call() # This should return the current epoch > casper.get_current_epoch() 通过查询 Casper 合约 ,你可以看到可以调用的所有函数 你也可以创建一个 Python 对象来调用 Casper 合约的命令: >> import urllib.request, json >> casper_abi = casper_abi = json.load

    28620

    Ethereum Casper 101 词汇表

    Casper -- 以太坊的 PoS 研究和项目。 Casper 所设计的机制,是显式强制保证最终确定性。 Tendermint 是第一个突破,Casper 也正在这一点上积极运作。 它提供了一个更好的激励机制,可以有效缓解 nothing-at-stake 问题(link)。 Proposal Mechanism(提案机制) -- 集合中的验证人提议哪个块进行公正(justification)或最终确定(finalization)的机制

    20320

    以太坊的3个重要项目:Casper(POS共识机制)、Plasma(子母链)、Sharding(分片)

    Casper:POS共识机制 Casper可以说是最著名并且被广泛期待的以太坊项目,Casper提出了一种更现代的权益证明(PoS)模型, 用来替代以太坊传统的工作量证明(PoW)算法。 关于Casper已经有很多介绍文章,所以我不打算详细描述,但有一些值得重申的事情。 首先,让我们在高层面关注Casper的工作方式。 接下来需要指出的是,Casper不是一个单独的项目, 而是若干个相关项目的集合,例如FFG和CBC。 Casper FFG是一种混合POW / POS的共识机制。 这是将首先实施的Casper版本。 FFG设计的目的 是降低过渡到证明利益共识机制的难度,它是在正常的POW协议之上叠加一个POS协议。 另一个Casper项目被称为Casper CBC,因为它使用了构建纠错(CBC:Correct By Construction)协议。

    89530

    决定以太坊未来的三个关键扩容项目

    如果你希望马上开始学习以太坊DApp开发,可以访问汇智网提供的出色的在线互动教程: 以太坊智能合约与应用开发入门 以太坊去中心化电商DApp实战开发 Casper:POS共识机制 Casper可以说是最著名并且被广泛期待的以太坊项目 关于Casper已经有很多介绍文章,所以我不打算详细描述,但有一些值得重申的事情。 首先,让我们在高层面关注Casper的工作方式。 接下来需要指出的是,Casper不是一个单独的项目, 而是若干个相关项目的集合,例如FFG和CBC。 Casper FFG是一种混合POW / POS的共识机制。 这是将首先实施的Casper版本。 FFG设计的目的 是降低过渡到证明利益共识机制的难度,它是在正常的POW协议之上叠加一个POS协议。 另一个Casper项目被称为Casper CBC,因为它使用了构建纠错(CBC:Correct By Construction)协议。

    32830

    原来,这就是以太坊3.0的样子

    Casper网络和以太坊2.0的区别 许多人愿意将Casper网络和以太坊2.0放在一起比较。 然而,Casper真正的对手其实是以太坊3.0,它计划将完整的CBC-Casper和WebAssembly包含在内,这也是Casper网络的两个核心功能。 以太坊2.0并没有实现完整的CBC-Casper,它只包括Casper-FFG,将工作量证明(PoW)的活跃属性和CBC-Casper的安全属性相融合,要想实现完整的以太坊2.0(在阶段0、1、2之后) 管理机制 目前大多数协议和DApp都存在一个关键问题:项目是由巨鲸或套利者(而不是社区中实际的价值创造者)来管理和控制的。 Casper网络提供了一种具备声誉权重的链上治理机制,该声誉权重是通过在社区中的贡献进行积累的,而不仅仅基于人们购买的治理代币。 ?

    48510

    blockwell.ai KYC Casper Token “牛皮癣广告” 事件分析

    作者:知道创宇404区块链安全研究团队 时间:2018年9月13日 一、背 景 2018年9月7日早上1点左右,许多以太坊钱包账户都收到了一种名为blockwell.ai KYC Casper Token 二、事件跟踪 首先我们从blockwell.ai KYC Casper Token https://etherscan.io/token/0x212d95fccdf0366343350f486bda1ceafc0c2d63 这个事件的始作俑者非常聪明的利用了token名这个自定义输入点:blockwell.ai KYC Casper Token,blockwell.ai这个就是本次事件的主要目的,牛皮癣小广告推广这个网站。

    25220

    Casper与V神的博弈论(过节了,文末送大礼)

    众所周知,Casper 是以太坊从 PoW 转型到 PoS 的一个优化版 PoS 共识机制,以太坊创始人 V 神有意通过 Casper 来硬分叉以太坊以实现这个转型。 Casper 是一种以博弈论为基础的共识机制。 为什么这么说?区块链与博弈论有什么关系?不妨往下看! 是什么博弈论? 以博弈论为基础的共识机制前瞻——以太坊Casper共识算法 Casper是以太坊从PoW转型到PoS的一个优化版PoS共识机制,以太坊的核心贡献者V神有意通过Casper来硬分叉以太坊以实现这个转型。 只要验证人足够多,Casper就可以通过这个机制来确保不会出现下注先收敛于一个结果然后又收敛到另外一个结果的情况。验证人对每一个高度h上的每一个候选块独立下注,给每个块指定一个胜出概率并公布。 在这些安全模型的环境下,我们可以看出Casper的弹性集中在不协调选择模型中,且源自贿赂攻击者。Casper在理论上同样对起源于合作攻击者模型的51%攻击敏感。

    42220

    Vitalik Buterin:Casper 权益证明与分片技术最新进展

    验证关键步骤解析 作为本届大会的演讲嘉宾,以太坊联合创始人Vitalik Buterin在上午的会议中分享了Casper 权益证明与分片(Sharding)技术最新进展,尤其是如何成为Casper PoS Casper有全新的算法,分片是解决方案,我会具体跟大家阐述这两种技术流程,如果参与到Casper和分片,从节点角度来说要做什么? 第三步是参加验证机制,进入活跃验证者的池,你就是个验证者了,这是个好消息。 Casper这个工具的主要目的是敲定工具,是链上共识机制的一部分,用于区块的敲定,它可以给区块更多的安全性。 分片提案与可扩展性 以太坊的分片提案包含100个子链,帐户交易信息都储存在子链上。 罚款机制对节点的激励 这个机制的目的,是希望激励大家做验证节点。对于高度去中心化的网络,不同节点会在不同时间上线或离线,不同节点会在不同的时间被黑。

    28260

    016 | 漫谈区块链共识机制

    不过,以太坊正在计划从 POW 机制切换为 POS(Proof of Stack,权益证明)机制,其新的共识机制名为 Casper,其存在两个不同实现的版本,分别是: Casper the Friendly Finality Gadget(FFG) Casper the Friendly GHOST: Correct-by-Construction(CBC) Casper FFG 是由 Vitalik 主导的 相对来说,FFG 比较容易理解,也很大可能是即将第一个部署到以太坊的 Casper 版本,所以下面的篇幅主要讲解 FFG。 FFG 版本的 Casper 是一种混合 POW / POS 的共识机制,该机制下的每次出块依然还是采用 POW 挖矿机制,但每 100 个区块会增加一个 POS 检查点(checkpoint),通过验证人 最后,Casper 对分叉链的选择不同于 POW 机制下选择累计工作量最多的那条链,Casper 对分叉链选择的规则就是选择 justified 检查点高度最大的链,原文是: FOLLOW THE CHAIN

    54720

    ETH2.0 都要来了你还不知道 Casper 吗?(二)

    在上篇文章中,我们介绍了Vitalik原始论文中的Casper FFG,其借助PoS对PoW产生的区块进行确认来提高系统的安全性,但这只是一种过渡的方案,在以太坊2.0中会使用一个纯PoS的Casper 协议,这篇文章中将为大家介绍在以太坊2.0中将要使用的Casper协议。 以太坊2.0中Capser的出块过程 在上一篇文章中,我们介绍的Casper是通过PoW进行出块,使用PoS对区块进行最终的确定。因此,纯PoS的Casper一个需要解决的问题是如何产生区块。 至此我们已经介绍链以太坊2.0中的Casper如何进行出块,接下来将是最后一个部分,如何对候选区块进行最终的确认。 其他的一些小事 为了Casper完整的运行,还有一些小事需要解决,由于篇幅比较短小我们放在一起来说吧。

    45430

    区块链技术公司谈V神称区块链的方向

    “2018第四届区块链全球峰会”上,以太坊创始人V神称,他将提出新的方案——"自由激进”的资源分配机制,并将其运用于二次方投票、哈信伯格税、频繁批量拍卖、组合拍卖和自动做市商。 中心化和去中心化场内场外交易所开发 区块链跨境支付 区块链游戏 区块链供应链开发 130-9888-0981 但他同时提出,区块链也面临着一些挑战,第一个挑战是矿工/验证者操纵,第二个挑战是隐私,以太坊所采取的解决方案是提交/揭示的机制 至于以太坊Casper协议进展,V神表示,以太坊社区的进步很大,Casper协议正在等学术分析的审查结果。 至于以太坊Casper协议进展,V神表示,以太坊社区的进步很大,Casper协议正在等学术分析的审查结果。

    27000

    EKT多链技术谈 | 共识算法演义——以太坊只能被以太坊打败吗?

    Hybrid Casper Friendly Finality Gadget被引入后,能将网络从与采矿相关的问题中解放出来,例如“能耗过大,采矿硬件配置过高,采矿池集中和ASIC新兴市场等问题”,最终目标是将网络从工作量证明机制向权益证明机制 所以投资者需要尽可能的了解共识机制的运行机理,才能当下一个先进的共识机制出现时,拥抱它。 【Tendermint还是Casper?】 不过,以太坊正在计划从 POW 机制切换为 POS共识机制 Casper,存在两个不同实现的版本,分别是: Casper the Friendly Finality Gadget(FFG) Casper FFG 版本的 Casper 是一种混合 POW / POS 的共识机制,该机制下的每次出块依然还是采用 POW 挖矿机制,但每 100 个区块会增加一个 POS 检查点(checkpoint),通过验证人 然而Casper假设的是区块链的参与者都是不可信的,所以相比Tendermint而言设计·3了非常严厉的惩罚机制,因而更适合去中心化无信任基础的区块链。

    33940

    以太坊分片:overview and finality

    在 Ethereum Casper 101[1] 中,Jon Choi 对 Casper 做了一个很棒很清晰的综述,并解释了为什么显式最终确定性(explicit finality)对于可扩展性(scalability 分片链也通过 POS 机制依附于主链,以获得 更高层次的共识(higher level of consensus)。 显式最终确定性 首先,我必须声明,分片机制应该同时能够应用于 POW 与 POS 的链。即使如此,显式最终确定性这个小物件也跟 Casper 一样,可以使得分片更加健壮。 相反,将 Casper the Friendly Finality Gadget (“FFG”) 加密经济机制应用于 POS ,显式地在协议内(in-protocol)强制保证对我们来说,是否是最终确定 Casper 101: https://medium.com/@jonchoi/ethereum-casper-101-7a851a4f1eb0 Vitalik Buterin.

    17220

    快速学习-以太坊的货币

    Mining) ——区块奖励(block reward) ——叔块奖励(uncle reward) ——叔块引用奖励(uncle referencing reward) 以太币产量未来的变化 以太坊出块机制从工作量证明 股权证明机制将使用一个称为Casper的协议。在Casper协议下,以太币的发行率将大大低于目前幽灵(GHOST)协议下的发行率。

    22910

    【Fractal】以太坊2.0 都要来了你还不知道 Casper 吗?

    本着独乐乐不如众乐乐的中国传统美德,Fractal 的技工们决定跟大家分享一下,我们关于下一代以太坊共识协议——Casper 的看法。 Casper FFG ——PoW+PoS Casper 其实有两个版本,一个是 Vitalik 领导的 Casper FFG,另一个是 Vlad 领导的 Casper CBC,他们的不同之处就在于 FFG 首先,我们从整体上描述一下 Casper 的共识过程。参与共识的 Validator 会对上文中所述的 checkpoint 进行投票。 惩罚机制 为了防止 Validator 在运行的过程中作恶,Casper 制定了一套惩罚机制如下:对于相同的 Validator,发布了两个不同的投票vote=<v , s1 , t1 , h(s1) 分叉选择机制 为了让 PoS 能够提高 PoW 链的安全性,在如何进行分叉选择的时候,FFG 对最重链进行了些许的修改:首先在视图中找到高度最高的 justified checkpoint,并在该 checkpoint

    43600

    以太坊2.0? 亲历3天的Devcon我看到了这样一个以太坊 | 见闻录

    Casper ? 以太坊宁静版的最大特色,也是最大挑战,是需要把以太坊从一个工作量证明的区块链,变成一个权益证明的区块链。这是对基本共识机制的改变,也是以太坊的未来基础。 Casper 是以太坊由 PoW 转向 PoS 的过渡软件,在很长的一个过渡期,会有 PoW 与 PoS 两个机制共存。 ? Casper 的测试链在去年 Devcon 之后上线,CyberMiles 团队早期参与,见证了它从很不稳定到现在的相对稳定。 在 Devcon4,大家的共识是 Casper 的软件已经基本稳定。 在研发 Casper 的过程中,大家发现 Casper 的共识机制也可以用来为分片提供共识。因此,有人也就叫这种分片机制叫 Shasper。 注:CyberMiles 的 libENI 为今天的 EVM 提供了一个扩展插件的机制,包括通过共识机制让插件上链的机制。这是以太坊社区在这方面的一个探索。

    25640

    扫码关注腾讯云开发者

    领取腾讯云代金券