扫码订阅《 》或入驻星球,即可阅读文章!

GOLANG ROADMAP

阅读模式

  • 沉浸
  • 自动
  • 日常
首页
Go友会
  • 城市
  • 校园
Go学院
  • Go小课
  • Go小考
  • Go实战
  • 精品课
Go求职
  • 求职辅导🔥
  • Offer收割社群
  • 企业题库
  • 面试宝典
Go宝典
  • 在线宝典
  • B站精选
  • 推荐图书
  • 每日博文
Go仓库
实验区
  • Go周边
  • Go下载
  • Go月刊
消息
更多
  • 用户中心

    • 我的信息
    • 推广返利
  • 玩转星球

    • 星球介绍
    • 角色体系
    • 星主权益
  • 支持与服务

    • 联系星主
    • 成长记录
    • 常见问题
    • 吐槽专区
  • 合作交流

    • 渠道合作
    • 课程入驻
    • 友情链接
author-avatar

GOLANG ROADMAP


首页
Go友会
  • 城市
  • 校园
Go学院
  • Go小课
  • Go小考
  • Go实战
  • 精品课
Go求职
  • 求职辅导🔥
  • Offer收割社群
  • 企业题库
  • 面试宝典
Go宝典
  • 在线宝典
  • B站精选
  • 推荐图书
  • 每日博文
Go仓库
实验区
  • Go周边
  • Go下载
  • Go月刊
消息
更多
  • 用户中心

    • 我的信息
    • 推广返利
  • 玩转星球

    • 星球介绍
    • 角色体系
    • 星主权益
  • 支持与服务

    • 联系星主
    • 成长记录
    • 常见问题
    • 吐槽专区
  • 合作交流

    • 渠道合作
    • 课程入驻
    • 友情链接
  • 宝典简介

    • Blockchain Tutorial
  • Bitcoin

  • Ethereum

    • 账户模型与 UTXO
    • 以太坊分片:overview and finality
    • 以太坊 Casper 101
    • 以太坊 Casper 101 词汇表
  • Lightpaper

  • 卡尔达诺入门必备
  • 什么是门罗币?终极入门指南
  • IOTA 交易,确认和共识
  • Misc

  • 致谢

扫码订阅《 》或入驻星球,即可阅读文章!

以太坊 Casper 101 词汇表


liuchengxu

原文: Ethereum Casper 101 (opens new window)

# 词汇表

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

Casper (opens new window) -- 以太坊的 PoS 研究和项目。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Tendermint (opens new window) -- 专注一致性(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 (opens new window))

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

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

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

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

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

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

  • 词汇表