Paper 2021/1265 Original: eprint.iacr.org/2021/1265 ↗
Special Soundness in the Random Oracle Model
Abstract
We generalize the knowledge extractor for constant-round special sound protocols presented by Wikström (2018) to a knowledge extractor for the corresponding non-interactive Fiat-Shamir proofs in the random oracle model and give an exact analysis of the extraction error and running time. Relative the interactive case the extraction error is increased by a factor $\ell$ and the running time is increased by a factor $O(\ell)$, where $\ell$ is the number of oracle queries made by the prover. Through carefully chosen notation and concepts, and a technical lemma, we effectively recast the extraction problem of the notoriously complex non-interactive case to the interactive case. Thus, our approach may be of independent interest.
Metadata
- Available format(s)
PDF- Category
- Foundations
- Publication info
- Preprint.
- History
- 2021-09-22: last updated
- 2021-09-22: published
- Short URL
- https://ia.cr/2021/1265
- License
- https://creativecommons.org/licenses/by/4.0/
BibTeX
@misc{cryptoeprint:2021/1265,
author = {Douglas Wikström},
title = {Special Soundness in the Random Oracle Model},
howpublished = {Cryptology {ePrint} Archive, Paper 2021/1265},
year = {2021},
url = {https://eprint.iacr.org/2021/1265}
}