Paper 2022/1373 Original: eprint.iacr.org/2022/1373 ↗
ZKBdf: A ZKBoo-based Quantum-Secure Verifiable Delay Function with Prover-secret
Abstract
Since the formalization of Verifiable Delay Functions (VDF) by Boneh et al. in 2018, VDFs have been adopted for use in blockchain consensus protocols and random beacon implementations. However, the impending threat to VDF-based applications comes in the form of Shor’s algorithm running on quantum computers in the future which can break the discrete logarithm and integer factorization problems that existing VDFs are based on. Clearly, there is a need for quantum-secure VDFs. In this paper, we propose ZKBdf, which makes use of ZKBoo, a zero knowledge proof system for verifiable computation, as the basis for realizing a quantum-secure VDF. We describe the algorithm, provide the security proofs, implement the scheme and measure the execution and size requirements. In addition, as ZKBdf extends the standard VDF with an extra “Prover-secret” feature, new VDF use-cases are also explored.
Metadata
- Available format(s)
PDF- Category
- Cryptographic protocols
- Publication info
- Preprint.
- History
- 2022-10-12: last updated
- 2022-10-12: published
- Short URL
- https://ia.cr/2022/1373
- License
- https://creativecommons.org/licenses/by/4.0/
BibTeX
@misc{cryptoeprint:2022/1373,
author = {Teik Guan Tan and Vishal Sharma and Zengpeng Li and Pawel Szalachowski and Jianying Zhou},
title = {ZKBdf: A ZKBoo-based Quantum-Secure Verifiable Delay Function with Prover-secret},
howpublished = {Cryptology {ePrint} Archive, Paper 2022/1373},
year = {2022},
url = {https://eprint.iacr.org/2022/1373}
}