Is the approach analogous to one way hash? But with mathematical statements?
Given that they can’t be proven, so it’s effectively unpredictable and “un-generatable” ?
zb3 30 minutes ago [-]
> to create a powerful new tool in cryptography.
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..
newsicanuse 8 minutes ago [-]
Typical of Quanta magazine
HoldOnAMinute 2 hours ago [-]
How is this not security through obscurity?
majorchord 51 minutes ago [-]
If math is STO then I would argue passwords are also STO.
It's only secure until someone figures it out.
Rendered at 04:31:55 GMT+0000 (Coordinated Universal Time) with Vercel.
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..
It's only secure until someone figures it out.