TY - GEN
T1 - Player-Replaceability and Forensic Support Are Two Sides of the Same (Crypto) Coin
AU - Sheng, Peiyao
AU - Wang, Gerui
AU - Nayak, Kartik
AU - Kannan, Sreeram
AU - Viswanath, Pramod
N1 - Publisher Copyright:
© 2024, International Financial Cryptography Association.
PY - 2024
Y1 - 2024
N2 - Player-replaceability is 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 Support is 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 have both properties. Our main result is to construct a new BFT protocol that is player-replaceable and has 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.)
AB - Player-replaceability is 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 Support is 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 have both properties. Our main result is to construct a new BFT protocol that is player-replaceable and has 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.)
UR - http://www.scopus.com/inward/record.url?scp=85180527432&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85180527432&partnerID=8YFLogxK
U2 - 10.1007/978-3-031-47754-6_4
DO - 10.1007/978-3-031-47754-6_4
M3 - Conference contribution
AN - SCOPUS:85180527432
SN - 9783031477539
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 56
EP - 74
BT - Financial Cryptography and Data Security - 27th International Conference, FC 2023, Revised Selected Papers
A2 - Baldimtsi, Foteini
A2 - Cachin, Christian
PB - Springer Science and Business Media Deutschland GmbH
T2 - 27th International Conference on Financial Cryptography and Data Security, FC 2023
Y2 - 1 May 2023 through 5 May 2023
ER -