Paper 2024/768 Original: eprint.iacr.org/2024/768 ↗
The Ouroboros of ZK: Why Verifying the Verifier Unlocks Longer-Term ZK Innovation
Abstract
Verifying the verifier in the context of zero-knowledge proof is an essential part of ensuring the long-term integrity of the zero-knowledge ecosystem. This is vital for both zero-knowledge rollups and also other industrial applications of ZK. In addition to further minimizing the required trust and reducing the trusted computing base (TCB), having a verified verifier opens the door to decentralized proof generation by potentially untrusted parties. We outline a research program and justify the need for more work at the intersection of ZK and formal verification research.
Metadata
- Available format(s)
PDF- Category
- Implementation
- Publication info
- Preprint.
- History
- 2024-05-20: last updated
- 2024-05-20: published
- Short URL
- https://ia.cr/2024/768
- License
- https://creativecommons.org/licenses/by/4.0/
BibTeX
@misc{cryptoeprint:2024/768,
author = {Denis Firsov and Benjamin Livshits},
title = {The Ouroboros of ZK: Why Verifying the Verifier Unlocks Longer-Term ZK Innovation},
howpublished = {Cryptology {ePrint} Archive, Paper 2024/768},
year = {2024},
url = {https://eprint.iacr.org/2024/768}
}