Ethereum Casper 101 词汇表

词汇表

Proof of Stake -- 公有链的一类共识算法,基于验证人(validator)在网络中的经济权益(economic stake)。

Casper -- 以太坊的 PoS 研究和项目。

Finality - 系统中的操作一旦完成,就永远再无法回滚(Vitalik on settlement finality)背景:在 PoW 中,finality(最终确定性) 是概率性且隐式的。Casper 所设计的机制,是显式强制保证最终确定性。

Fork Choice Rule - 分叉选择规则(fork choice rule)就是一个函数,由客户端进行评估,输入为区块或是其他生成的信息,向客户端输出“标准链(canonical chain)”是什么。

Slashing Conditions - 通过在 P2P 网络中伪造身份,进而破坏一个信誉系统(reputation system)的攻击。

3 E’s of Sybil Resistance - 1. 进入成本(entry cost)2. 存在成本(existence cost)3. 退出惩罚(exit penalty)。(源自 Dominic Williams)。

Nothing-at-stake problem - 一个 PoS 实现上的挑战,它指的是如果出现分叉,无法同时验证两条链。这是 PoS 的一个老大难问题,但是通常也被认为是可解决的。比如,参见 Slasher

Bribe attack(贿赂攻击) - 攻击者用贿赂的方式,改变验证人博弈论框架的纳什均衡,以此来削弱协议的安全性。( 更多背景见 History of Capser pt 2

Long range attack(长程攻击) - 与 51% 攻击(为了攻击者的利益让一个更长的链重写账本)的机制一样,但并不是发起 6 个块的攻击,而是攻击更多块(比如 60,000 个块)。

DAG - “有向无环图(Directed Acyclic Graph)”。一个没有有向环的有限有向图。(ETH Stack Exchange

GHOST  - “Greedy Heaviest Observed Subtree”. 它是一个链的选择规则,目的是快速确认,同时尽量减少在安全性或去中心化上的妥协。(原始论文ETH GHOST

Synchronicity - 指的是消息的时间假设(也就是说,同步,部分同步还是异步)。

Liveness - “availability(可用性)”。遵守协议的节点最终决定出块。其反面就是网络状态会因为出块决定而阻塞(也就是说,没有 2/3 投票高度的 Tendermint)

Safety - “correctness”。遵守协议的节点会就出块达成共识。另一个直观解释是两个冲突的块是否可以提交。

FLP Impossibility Theorem(FLP 不可能定理) - “不可能有一个 live,safe,asynchronous 的网络”(已被证明)

Accountable Faults - 由于某一个验证人,或者某一些验证人引起的错误。

Byzantine Faults(拜占庭错误)/Byzantine Behavior -- 对于对于不同观察者显示出不同症状的任意错误。非协议遵守行为。

Byzantine Failure(拜占庭故障) -- 在一个需要 consensus 的系统中,由于拜占庭错误引发的系统服务损失。

Byzantine Fault Tolerance(“BFT”)-- 一个系统能够容忍拜占庭错误的能力。1/3 的拜占庭错误阈值在异步网络中。1/2 在同步网络中。(BFT 共识算法包括 Paxos,PBFT 和 Casper ,Tendermint).

Nakamoto Consensus -- 类似比特币就 PoW 的共识。此外,Nakamoto 风格的共识存在,将会是基于链的 PoS 而不是基于 BFT 的 PoS。

Tendermint -- 专注一致性(consistency)的 PoS 实现。在少于 1/3 恶意参与者的情况下,永远不会分叉,但是缺点是,如果缺乏 2/3 的验证人投票,链可能会停止运转。

Validator(验证人) -- 一个为了获取奖励而验证 checkpoint 或是区块的 entity,是 PoS 中的 “矿工”。

Validator Set(验证人集合) -- 一条链在任意给定时间的验证人集合。

Checkpoint -- 在 FFG 中,它是按照规律(比如每 50 个块)隔开的一个块,这个块在底层是 PoW 的链之上,同时采用 PoS 验证机制(比如 Ethereum with ethash)。

Epoch -- 在 FFG 中,50 个块为一个周期,验证人可以对周期的最后一个块(也就是 checkpoint)进行投票。PoW 矿工出块,PoS 验证人在每个周期对 checkpoint 进行验证。

Dynamic Validator Sets(动态验证人集合) -- 在一个时期内,一条链可以有一个变化的验证人集合。在 BFT 风格的共识算法中,这是一个巨大的改进。Tendermint 是第一个突破,Casper 也正在这一点上积极运作。

Equivocation -- 验证人发送两个相互冲突的消息( 更准确的定义见 slide 28 of this deck

Dunkles -- 包含从非主导(non-dominant)块向主导(dominant)块数据的机制。它提供了一个更好的激励机制,可以有效缓解 nothing-at-stake 问题(link)。

Proposal Mechanism(提案机制) -- 集合中的验证人提议哪个块进行公正(justification)或最终确定(finalization)的机制。

Justification(公正) -- 比如在 FFG 中,如果验证人集合中有 2/3 的人对一个新的 checkpoint 投票,那么该 checkpoint 就是准确的记录。这是形成一个最终确定化(finalized)的 checkpoint 的中间过程.

Finalization(最终确定) -- 比如在 FFG 中,如果 2/3 的验证人对一个被公正过的 checkpoint 投票,那么这个 checkpoint 就是准确的记录。这一步完成后,checkpoint 被最终确定。

State Transition System(状态转移系统) -- 一个维护给定状态(比如交易或账户集合)和它随着时间(也就是转移,transition)变化的系统。比特币,以太坊和其他公有链可以被认为是状态转移系统。

Protocol Utility Function(协议效用函数) -- 一个告诉我们协议当前执行状况的公式,理想状态下应该是从区块链内部进行计算的(calculable from inside the blockchain)。在 PoW 的链中,它可以是所有生成的区块占主链的百分比。在 Casper 中,如果协议效用(protocol utility)是 0,表示执行完美,每个 epoch 都被最终确定,也没有发生安全故障。对每个没有最终确定的 epoch,会有一些惩罚,而对于每个安全故障会有一个非常严重的惩罚。如果一个协议效用函数可以被形式化,那么故障惩罚就可以尽可能与这些故障所造成的协议损失相匹配。(来自 Triangle of Harm

原文:https://medium.com/@jonchoi/ethereum-casper-101-7a851a4f1eb0

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

发表于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏落影的专栏

iOS音视频播放(Audio Unit播放音频+OpenGL ES绘制视频)

前言 相关文章: 使用VideoToolbox硬编码H.264 使用VideoToolbox硬解码H.264 使用AudioToolbox编码AAC 使...

5519
来自专栏龙行天下CSIEM

科学瞎想系列之六十四 双馈电机绕组故障诊断

双馈是大型风力发电的主流技术之一,目前已装机运行的并网型风力发电机组大多采用这一技术路线。通常双馈发电机绕组出现故障后很难在塔上维修,必须下塔。下塔!宝宝...

3025
来自专栏机器人网

为什么采用4~20mA的电流来传输模拟量?

大家可能会非常熟悉RS232,RS485,CAN等工业上常用的总线,他们都是传输数字信号的方式。那么,我们用什么方式来传输模拟信号呢?工业上普遍需要测量各类非电...

2738
来自专栏zone7

用Python告诉你深圳房租有多高

最近各大一二线城市的房租都有上涨,究竟整体上涨到什么程度呢?我们也不得而知,于是乎 zone 为了一探究竟,便用 Python 爬取了房某下的深圳的租房数据,以...

1580
来自专栏区块链

比特币流量嗅探器和分析器

在这篇文章里,我会展示如何运用一个简单的 IP 嗅探器来截取比特币的交易消息。

9865
来自专栏应兆康的专栏

计算机网络笔记 —— 物理层 2

让多个用户共享同一根信道,复用技术是干线上的技术,主要问题在于干线起点如何共用,干线终点如何分离的。

771
来自专栏数说工作室

创业板、市盈率、Python!|【量化小讲堂】计算创业板平均市盈率

数说君的文前话 本文开始正式进入python的金融数据学习,为更好的学习,数说君为大家准备了一些基础知识。 → 如果对python完全不了解,点击这里: 统计师...

3954
来自专栏智能大石头

MF前传——探索者一号简介

    MF让我们这些C#程序员能够把手伸到嵌入式行业,大大增强我们在各种项目中的竞争能力。无奈国内研究MF的人少之又少,为了加速MF技术的研究,我们团队采用少...

2139
来自专栏龙行天下CSIEM

科学瞎想系列之八十 永磁电机(3)

【图片部分来自网络如有侵权敬请邮箱联系。欢迎原文转发到朋友圈,未经许可的媒体平台谢绝转载,如需转载或合作请邮件联系。联系邮箱laolicsiem@126.co...

1754
来自专栏贾老师の博客

【笔记】读 JeffDean 分布式系统

1473

扫码关注云+社区

领取腾讯云代金券