CasperLabs更新（2020年2月18日）：Highway协议如何防止寡头垄断

寡头垄断或卡特尔组织对去中心化，尤其是PoS区块链，是一个威胁。在PoS区块链中，寡头垄断会导致链上交易验证器减少，由于存在被垄断成员审查的风险，造成被审查方经济损失，接着垄断成员将阻碍交易验证，动机是提高卡特尔组织的获利。

为了阻止卡特尔组织，Highway协议采取如下权益奖励分配方式：扼制审查从其他验证器接收到的消息，并鼓励将消息打包到块中。为了说明Highway反卡特尔报酬分配制度，我们预设了一些参数和基本前提；

 

验证器有权益。如：验证器A有200个通证，B有100个通证。

验证器打包和出块→或“发送消息”都会得到奖励。

验证器会按权益比例获得奖励。A 2/3，B 1/3。

条件简化为：

每个验证器必须且只能发送一条消息。

每次都铸造3个通证作为奖励→若A发出消息，将得到2个通证，B得到1个。

 

问题在于审查制度，

A（多数）可以审查B（少数），反之则不然。

若A选择审查B，按协议B没有发出消息，就不会有任何奖励。

 

我们还必须考虑网络验证成本

我们假设验证器会产生运营成本。为此，我们假设只有B产生运营成本c（0<c<1）。

若B发出一条消息且没有被审查，则最终得到1-c作为报酬。
若B发出一条消息而被审查，则最终的报酬为-c。
为避免审查造成的损失，B可选择是否参与。若B不参与，A将获得全部3个通证。

 

这可用顺序博弈形式建模；

（顺序博弈）

1. B决定是否参与。
2. 若B决定参与，A可选择是否审查B。
3. 若B决定不参与，博弈结束，A获得全部报酬。

（理想奖励分配）

理想的奖励分配系统中，只要有人发出消息，就会得到分配的奖励。A得到2个通证，B得到1个。

1. 若B决定参与，发出消息且未被审查，A将获得2个通证的奖励，而B将获得1-c个。
2. 若B决定加入验证器集，发出消息且被A审查，A仍会收到全部奖励，而B最终损失c.
3. 若B决定不参与，博弈结束，A收到全部报酬。

 

按比例分配奖励（如Eth 2.0）

（按比例分配奖励（如Eth 2.0））

若有人未发出消息，分配前总奖励将按参与比例调整。失败者一无所获。

 

在审查情况下，参与分配总奖励按比例缩减为2/3。A得到4/3奖励（2乘以2/3），B没有任何奖励。若B决定不参与，博弈结束，A获得全部报酬。

 

按比例对称分配奖励（Highway）

（按比例对称分配奖励（Highway））

若有人未发出消息，分配前总奖励将按参与比例调整。失败者仍有斩获。

这种情况下，B首要策略是在c<2/3时参与验证，A将被迫重新评估其决策，要么审查来自B的消息但获得奖励可能减少，要么不审查消息而获得足额奖励。

 

反卡特尔

此类博弈规则将决定验证器行为。
无论上线时网络多诚实，若规则不靠谱，有人钻空子是早晚的事。
若寡头靠审查别人获得更多奖励，即使现在不会，验证器最终也会作恶。

按比例对称分配奖励确保了行为诚实，又不牺牲协议的任何性能。

 

阅读列表
https://hackmd.io/@onur/highway_reward_distribution
https://hackmd.io/@onur/risk_sharing_in_pos
或访问https://hackmd.io/@onur

 

工程进展

• 我们已经发布了2月版本Node 0.14（之前称为Node 0.12）。
• Node 0.12于2020年2月13日发布。但是，由于Rustdoc问题，我们只好在2月14日迭代版本，记为0.14
• 版号会随cargo和rust文档变动，我们将从以后版本中剥离#’s版本。
• 团队已经开始Sprint 30第二周的工作
• 下一版将在3月中旬发布，测试网将在其两周后发布。

 

当前焦点

• 我们正在构建Highway协议的“诚实”版本，假设所有验证器都是诚实且善意的。这将使我们能够在规划协议经济性和安全性时观察性能测试和强化。
• 为测试网设置测试环境
• 垃圾邮件和DDOS防护的持续研究

 

共识

• 具有固定轮长Era基本完成。
• 更新分叉检测支持Era。
• 实现Forkchoice的log(n)优化，并与Highway连接。
• 团队正在本地测试共识，并将使用测试台在各种场景下对系统进行压力测试。

 

结点

• 结点稳定性、优化和性能。
• 向gRPC事件流添加Add deploy状态转换。
• 散布Gossiping。
• 继续与结点端和客户端进行CLType集成。

 

执行引擎

• 在执行引擎中本地生成系统合约。将加速执行引擎性能。
• 日志和计量标准。
• 基于trie_store::operations::keys编写Rust迭代器。
• 清除PurseID和TURef。
• 支持安全飞地的多种密钥类型。
• 执行引擎性能测试和强化。

 

测试和SRE

• 下周二展示测试台环境。
• 优化集成测试和CI，速度更快。为Highway准备集成测试。
• 测试结点重启的网络仿真。
• 在各种AWS实例上对执行引擎进行基准测试。
• 同时更新Scala和Python客户端。

 

生态系统

• 更新智能合约示例和教程文档。
• 创建智能合约开发者指南。
• 为CLarity开发部署接口。
• 为CLarity浏览器制定更广阔愿景。

 

经济学研究

• 计算/存储/带宽联合定价设计。
• 为垃圾邮件保护设计文档。
• Python奖励分配建模。
• CasperLabs区块链红杉模拟器。

 

团队和公司进展

• 在Alpha Testnet发布后，3月底/4月初计划进行场外指导。
• 每周四上午8点和下午4点（亚洲周五上午8/9点）举办研讨会。

 

哪里可以了解更多并开始使用？

发布后，可在GitHub上找到安装包链接及相关文档

• Github上的安装包
• Github（Wiki）上的文档

 

哪里可以报错？

Github报错

 

联系我们

Discord

Telegram

Twitter