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 replies
- 0 recasts
- 0 reactions
Santouka (Hokkaido Ramen) at Mitsuwa in New Jersey is so freakin’ good…
- 0 replies
- 0 recasts
- 4 reactions
Got to moderate "AI on Blockchain Rails" at Cornell Tech friday with Cheng Wang (Akash), Amit Chaudhary (Palliora), Juan Bruce (Supernet), Vicky Fu (Blockrun). Central question: is the agent economy going to be auditable or opaque? Answer from the panel: depends entirely on the rails we build now.
- 0 replies
- 0 recasts
- 15 reactions