Cryptology ePrint Archive: Report 2020/1489

On the (Ir)Replaceability of Global Setups, or How (Not) to Use a Global Ledger

Christian Badertscher and Julia Hesse and Vassilis Zikas

Abstract: In universally composable (UC) security, a global setup is intended to capture the ideal behavior of a primitive which is accessible by multiple protocols, allowing them to share state. A representative example is the Bitcoin ledger. Indeed, since Bitcoin---and more generally blockchain ledgers---are known to be useful in various scenarios, it has become increasingly popular to capture such ledgers as global setup. Intuitively, one would expect UC to allow us to make security statements about protocols that use such a global setup, e.g., a global ledger, which can then be automatically translated into the setting where the setup is replaced by a protocol implementing it, such as Bitcoin.

We show that the above reasoning is flawed and such a generic security-preserving replacement can only work under very (often unrealistic) strong conditions on the global setup and the security statement. For example, the UC security of Bitcoin for realizing a ledger proved by Badertscher et al. [CRYPTO'17] is not sufficient per se to allow us to replace the ledger by Bitcoin when used as a global setup. In particular, we cannot expect that all security statements in the global ledger-hybrid world would be preserved when using Bitcoin as a ledger.

On the positive side, we provide characterizations of security statements for protocols that make use of global setups, for which the replacement is sound. Our results can be seen as a first guide on how to navigate the very tricky question of what constitutes a ``good'' global setup and how to use it in order to keep the modular protocol-design approach intact.

Category / Keywords: foundations / Composable Security, Global Setup

Original Publication (with minor differences): IACR-TCC-2021

Date: received 27 Nov 2020, last revised 22 Sep 2021

Contact author: christian badertscher at iohk io, jhs at zurich ibm com, vzikas at cs purdue edu

Available format(s): PDF | BibTeX Citation

Note: Minor revision of presentation of the results

Version: 20210922:153831 (All versions of this report)

Short URL: ia.cr/2020/1489


[ Cryptology ePrint archive ]