Will there be a generic transformation that zk-ifies a SNARK by end of 2025?
0
9
Ṁ50
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.
Get Ṁ200 play money
Related questions
Related questions
Will incremental compilation make it into Zig before July 2024?
28% chance
Will a plausible proof obfuscator be found by end of 2024?
76% chance
Will we reach "weak AGI" by the end of 2025?
21% chance
Will we have a formalized proof of the Modularity theorem by 2029-05-01?
54% chance
Will ZFC no longer be the standard foundation for mathematics by 2050?
34% chance
Will Transformer based architectures still be SOTA for language modelling by 2026?
67% chance
In 2026 will people still be using the term "zk-SNARK" for uses that don't require zero knowledge?
59% chance
Will a supply chain attack akin to the xz backdoor targeting developer toolchains be discovered before 2025?
23% chance
"The Verge": Fully SNARKed Ethereum by 2027-02-06?
52% chance
Will we get AGI before 2025?
5% chance