Generalized Channels from Limited Blockchain Scripts and Adaptor Signatures

被引:40
作者
Aumayr, Lukas [1 ]
Ersoy, Oguzhan [2 ]
Erwig, Andreas [3 ]
Faust, Sebastian [3 ]
Hostakova, Kristina [4 ]
Maffei, Matteo [1 ]
Moreno-Sanchez, Pedro [5 ]
Riahi, Siavash [3 ]
机构
[1] Tech Univ Wien, Vienna, Austria
[2] Delft Univ Technol, Delft, Netherlands
[3] Tech Univ Darmstadt, Darmstadt, Germany
[4] Swiss Fed Inst Technol, Zurich, Switzerland
[5] IMDEA Software Inst, Madrid, Spain
来源
ADVANCES IN CRYPTOLOGY - ASIACRYPT 2021, PT II | 2021年 / 13091卷
基金
奥地利科学基金会; 欧洲研究理事会;
关键词
Blockchain; Adaptor signatures; Off-chain protocols and channels;
D O I
10.1007/978-3-030-92075-3_22
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Decentralized and permissionless ledgers offer an inherently low transaction rate, as a result of their consensus protocol demanding the storage of each transaction on-chain. A prominent proposal to tackle this scalability issue is to utilize off-chain protocols, where parties only need to post a limited number of transactions on-chain. Existing solutions can roughly be categorized into: (i) application-specific channels (e.g., payment channels), offering strictly weaker functionality than the underlying blockchain; and (ii) state channels, supporting arbitrary smart contracts at the cost of being compatible only with the few blockchains having Turing-complete scripting languages (e.g., Ethereum). In this work, we introduce and formalize the notion of generalized channels allowing users to perform any operation supported by the underlying blockchain in an off-chain manner. Generalized channels thus extend the functionality of payment channels and relax the definition of state channels. We present a concrete construction compatible with any blockchain supporting transaction authorization, time-locks and constant number of Boolean. and. operations - requirements fulfilled bymany (non-Turingcomplete) blockchains including the popular Bitcoin. To this end, we leverage adaptor signatures - a cryptographic primitive already used in the cryptocurrency literature but formalized as a standalone primitive in this work for the first time. We formally prove the security of our generalized channel construction in the Universal Composability framework. As an important practical contribution, our generalized channel construction outperforms the state-of-the-art payment channel construction, the Lightning Network, in efficiency. Concretely, it halves the off-chain communication complexity and reduces the on-chain footprint in case of disputes from linear to constant in the number of off-chain applications funded by the channel. Finally, we evaluate the practicality of our construction via a prototype implementation and discuss various applications including financially secured fair two-party computation.
引用
收藏
页码:635 / 664
页数:30
相关论文
共 53 条
[1]   Hyperledger Fabric: A Distributed Operating System for Permissioned Blockchains [J].
Androulaki, Elli ;
Barger, Artem ;
Bortnikov, Vita ;
Cachin, Christian ;
Christidis, Konstantinos ;
De Caro, Angelo ;
Enyeart, David ;
Ferris, Christopher ;
Laventman, Gennady ;
Manevich, Yacov ;
Muralidharan, Srinivasan ;
Murthy, Chet ;
Binh Nguyen ;
Sethi, Manish ;
Singh, Gari ;
Smith, Keith ;
Sorniotti, Alessandro ;
Stathakopoulou, Chrysoula ;
Vukolic, Marko ;
Cocco, Sharon Weed ;
Yellick, Jason .
EUROSYS '18: PROCEEDINGS OF THE THIRTEENTH EUROSYS CONFERENCE, 2018,
[2]   Secure Multiparty Computations on Bitcoin [J].
Andrychowicz, Marcin ;
Dziembowski, Stefan ;
Malinowski, Daniel ;
Mazurek, Lukasz .
COMMUNICATIONS OF THE ACM, 2016, 59 (04) :76-84
[3]  
[Anonymous], TRANSCR COR TECH AMS
[4]  
Aumayr L., 2021, IEEE S P MATTEO MAFF
[5]  
Aumayr L., 2020, 2020476 CRYPT EPR AR
[6]   Efficient Zero-Knowledge Contingent Payments in Cryptocurrencies Without Scripts [J].
Banasik, Waclaw ;
Dziembowski, Stefan ;
Malinowski, Daniel .
COMPUTER SECURITY - ESORICS 2016, PT II, 2016, 9879 :261-280
[7]   SoK: Consensus in the Age of Blockchains [J].
Bano, Shehar ;
Sonnino, Alberto ;
Al-Bassam, Mustafa ;
Azouvi, Sarah ;
McCorry, Patrick ;
Meiklejohn, Sarah ;
Danezis, George .
AFT'19: PROCEEDINGS OF THE 1ST ACM CONFERENCE ON ADVANCES IN FINANCIAL TECHNOLOGIES, 2019, :183-198
[8]   BitML: A Calculus for Bitcoin Smart Contracts [J].
Bartoletti, Massimo ;
Zunino, Roberto .
PROCEEDINGS OF THE 2018 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'18), 2018, :83-100
[9]  
Bentov Iddo, 2017, Advances in Cryptology - ASIACRYPT 2017. 23rd International Conference on the Theory and Applications of Cryptology and Information Security. Proceedings: LNCS 10625, P410, DOI 10.1007/978-3-319-70697-9_15
[10]  
Bentov I, 2014, LECT NOTES COMPUT SC, V8617, P421, DOI 10.1007/978-3-662-44381-1_24