Will there be a generic transformation that zk-ifies a SNARK by end of 2025?
Basic
0
2026
50%
chance
1D
1W
1M
ALL
Part of the reason "ZK" has become somewhat synonomous with "SNARK" in the blockchain community is that essentially all SNARKs that any succinct proof system is already information-theoretically very close to being "ZK". Most SNARKs can be trivially modified to be zero-knowledge by something like "introduce a few redundant random operations somewhere in the circuit being proved". This is not entirely general though.
I recently wrote a blog post partially about this. What I am interested in is a generic transformation that takes a black-box SNARK and zk-ifies it without introducing any additional cryptographic assumptions. The problem might not be very well-defined but feel free to ask questions.
This question is managed and resolved by Manifold.
Get
1,000
and3.00
Related questions
Related questions
In 2026 will people still be using the term "zk-SNARK" for uses that don't require zero knowledge?
59% chance
Will there be an active Manifold Zulip by end of 2024?
8% chance
"The Verge": Fully SNARKed Ethereum by 2027-02-06?
47% chance
Will GitHub Continuous Integration accept SNARKs by 2028?
12% chance
Will action transformer models be used to create a sophisticated computer trojan by end of 2024?
17% chance
Will "zkSync" be widely considered to be a scam by 2030?
10% chance