Welcome to the resource topic for 2024/768
Title:
The Ouroboros of ZK: Why Verifying the Verifier Unlocks Longer-Term ZK Innovation
Authors: Denis Firsov, Benjamin Livshits
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.
ePrint: https://eprint.iacr.org/2024/768
See all topics related to this paper.
Feel free to post resources that are related to this paper below.
Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.
For more information, see the rules for Resource Topics .