[jlokier]

> Zero knowledge proofs also havent really caught on. And its not a new idea. The Fiat–Shamir heuristic is from 1986.

There's been a lot of advances in recent years in ZKPs, accompanied by a lot more interest. Fiat-Shamir is still used to turn interactive proofs into non-interactive, but the state of the art is far beyond just doing that. zk-SNARKs are less than 10 years old, zk-VMs are becoming more common, and the ZPrize competition is yielding some big steps forward in implementation performance. Probably blockchain applications are a major reason for recent increased interest and commercial R&D, even though that's not where the academics see the main applications.

If you're interested, the zkproof.org conference is currently still going, and the sessions can be watched live:

https://zkproof.org/events/workshop5/