Player-Replaceability and Forensic Support are Two Sides of the Same (Crypto) Coin
Player-Replaceability and Forensic Support are Two Sides of the Same (Crypto) Coin
复制标题
DOI：
10.1007/978-3-031-47754-6_4
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Peiyao Sheng;Gerui Wang;Kartik Nayak;Sreeram Kannan;P. Viswanath
中科院分区：
文献类型：
--
作者：
Peiyao Sheng;Gerui Wang;Kartik Nayak;Sreeram Kannan;P. Viswanath
玩家可替换性是区块链协议的一个属性，确保协议的每一步都由一组不可预测的随机（少量）玩家执行;这保证了针对完全自适应对手的安全性，并且是构建无许可区块链的一个至关重要的属性。取证支持是区块链协议的一个属性，它提供了在存在安全违规时识别恶意方的能力，并具有加密完整性;这提供了对对抗行为实施惩罚的能力，并且是区块链激励机制设计的关键组成部分。玩家可替换性和强大的取证支持都是理想的属性，然而，现有的区块链协议都没有这两个属性。我们的主要结果是构造一个新的BFT协议，是播放器可替换的，并具有最大的法医支持。关键的发明是一个“过渡证书”的概念，没有它，我们表明，现有的BFT和最长链协议的自然适应不会导致所需的目标，同时播放器可替换性和法医支持。(The全文载于https：//eprint.iacr.org/2022/1513。
Player-replaceabilityis a property of a blockchain protocol that ensures every step of the protocol is executed by an unpredictably random (small) set of players; this guarantees security against a fully adaptive adversary and is a crucial property in building permissionless blockchains.Forensic Supportis a property of a blockchain protocol that provides the ability, with cryptographic integrity, to identify malicious parties when there is a safety violation; this provides the ability to enforce punishments for adversarial behavior and is a crucial component of incentive mechanism designs for blockchains. Player-replaceability and strong forensic support are both desirable properties, yet, none of the existing blockchain protocols havebothproperties. Our main result is to construct a new BFT protocol that is player-replaceableandhas maximum forensic support. The key invention is the notion of a “transition certificate”, without which we show that natural adaptations of extant BFT and longest chain protocols do not lead to the desired goal of simultaneous player-replaceability and forensic support. (The full version of paper is available in https://eprint.iacr.org/2022/1513.)