Verifiable Timed Signatures Made Practical
Thyagarajan SAK, Bhat A, Malavolta G, Döttling N, Kate A, Schröder D (2020)
Publication Language: English
Publication Type: Conference contribution, Original article
Publication year: 2020
Publisher: Association for Computing Machinery
City/Town: New York, NY, USA
Pages Range: 1733–1750
Conference Proceedings Title: Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security
Event location: Virtual event
ISBN: 9781450370899
Abstract
A verifiable timed signature (VTS) scheme allows one to time-lock a signature on a known message for a given amount of time T such that after performing a sequential computation for time T anyone can extract the signature from the time-lock. Verifiability ensures that anyone can publicly check if a time-lock contains a valid signature on the message without solving it first, and that the signature can be obtained by solving the same for time T.This work formalizes VTS, presents efficient constructions compatible with BLS, Schnorr, and ECDSA signatures, and experimentally demonstrates that these constructions can be employed in practice. On a technical level, we design an efficient cut-and-choose protocol based on the homomorphic time-lock puzzles to prove the validity of a signature encapsulated in a time-lock puzzle. We also present a new efficient range proof protocol that significantly improves upon existing proposals in terms of the proof size, and is also of independent interest.While VTS is a versatile tool with numerous existing applications, we demonstrate VTS's applicability to resolve three novel challenging issues in the space of cryptocurrencies. Specifically,we show how VTS is the cryptographic cornerstone to construct:(i) Payment channel networks with improved on-chain unlinkability of users involved in a transaction, (ii) multi-party signing of transactions for cryptocurrencies without any on-chain notion oftime and (iii) cryptocurrency-enabled fair multi-party computation protocol.
Authors with CRIS profile
Sri Aravinda Krishnan Thyagarajan
Lehrstuhl für Informatik 13 (Angewandte Kryptographie)
Dominique Schröder
Lehrstuhl für Informatik 13 (Angewandte Kryptographie)
Involved external institutions
Germany (DE)How to cite
APA:
Thyagarajan, S.A.K., Bhat, A., Malavolta, G., Döttling, N., Kate, A., & Schröder, D. (2020). Verifiable Timed Signatures Made Practical. In Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security (pp. 1733–1750). Virtual event: New York, NY, USA: Association for Computing Machinery.
MLA:
Thyagarajan, Sri Aravinda Krishnan, et al. "Verifiable Timed Signatures Made Practical." Proceedings of the ACM CCS 2020, Virtual event New York, NY, USA: Association for Computing Machinery, 2020. 1733–1750.
BibTeX: Download