I thought that was THE ENTIRE PREMISE of cryptography
Given that they can’t be proven, so it’s effectively unpredictable and “un-generatable” ?
What is that new powerful tool in cryptography, then?
> He wanted to build zero-knowledge proofs that weren’t interactive. Thirty years earlier, Goldreich and Oren had established that such proofs are impossible.
I'm not sure what "interactive" means here, but I thought ZK-SNARKs were already non-interactive.
It seems the article has nothing to do with anything practical..
> at the relatively mild cost that such applications now have security that is "game-based" instead of "simulation-based."
Quite interesting and mysterious. What is a game but a kind of simulation with two or more potentially competing "physics engines" involved? What is a simulation but a game, where exactly one player happens to be called "The Environment"? If these aren't two ways of looking at the same thing, what's this about a relatively mild cost?
Also, they have nothing to do with “video games” or physical simulations therein.
It's only secure until someone figures it out.
