最长链权益证明协议的形式化障碍
计算机科学与博弈论
2018-09-19 v1 密码学与安全
摘要
大多数现有加密货币的安全性基于一种称为工作量证明 (Proof-of-Work) 的概念，其中用户必须解决计算困难的密码学谜题来授权交易（`一个计算单元，一票'）。为了收集与交易授权相关的奖励，这导致在硬件和电力上的巨大支出。权益证明 (Proof-of-Stake) 是一种替代概念，它按财富比例选择用户来授权交易（`一枚币，一票'）。两种范式某些方面相同。例如，在权益证明中获取投票权如同在工作量证明中一样具有货币成本：硬币不能比一个计算单元更容易地被免费复制。然而某些方面根本不同。特别是，正因为权益证明是无浪费的，偏离协议没有内在的资源成本（通常称为 `无利害关系 (Nothing-at-Stake)' 问题）。与先前工作不同，我们关注激励驱动的偏离（任何参与者若偏离能获更高收益便会偏离）而非对抗性腐败（对手可能接管网络的显著部分，但其余参与者遵循协议）。本文的主要结果是若干设计激励兼容的权益证明加密货币（不适用于工作量证明）的形式化障碍。
引用
@article{arxiv.1809.06528,
title = {Formal Barriers to Longest-Chain Proof-of-Stake Protocols},
author = {Jonah Brown-Cohen and Arvind Narayanan and Christos-Alexandros Psomas and S. Matthew Weinberg},
journal= {arXiv preprint arXiv:1809.06528},
year = {2018}
}