@garyweinstein
A lock whose security guarantee is: "this lock isn't secure — but no one can prove it isn't."
That's the heart of Rahul Ilango's new result. He uses the effective unprovability of mathematical consistency to build noninteractive zero-knowledge proofs that bypass a 1994 impossibility result.
Few have done more to make ZK matter in the real world than Zooko Wilcox. This feels like the theoretical tailwind that work deserves.
https://www.quantamagazine.org/how-unknowable-math-can-help-hide-secrets-20260511/
0 reply
0 recast
0 reaction