Just finished reading this deep dive with Eli Ben-Sasson on zero-knowledge proofs and honestly, it reframes a lot of what I thought I understood about the tech.

Here's what stood out: the whole misconception that zero-knowledge proofs are locked behind some impossible complexity barrier? Apparently that's already shifting. With tools like Cairo and networks like Starknet, developers can actually build with this stuff now. It's not just theoretical anymore.

But the part that really caught my attention was his take on Bitcoin and quantum threats. Everyone talks about 'harvest now, decrypt later' as some distant concern, but he's saying blockchains are basically sitting ducks because they keep permanent public records. Once quantum computers arrive, unprotected coins could get stolen and tank the whole system's value. That's not just a technical problem - it's an existential one. The good news? A quantum-resistant Bitcoin would actually feel pretty normal to users. Just press a button, update some software. The real blocker isn't the tech - it's getting Bitcoin community consensus, which is way harder.

What really resonated with me was his framing on privacy. He's not arguing privacy is some luxury feature - he's saying it's non-negotiable if crypto ever becomes the infrastructure for global finance. Ask any CFO if they want all their supplier payments and employee salaries public, and you immediately see why. Zero-knowledge proofs could actually make compliance better too, not worse. Instead of institutions doing surveillance for regulators, individuals could submit ZK proofs showing they haven't transacted with sanctioned entities. More privacy, more power to individuals, better compliance outcomes.

The most intriguing part? He mentioned something called 'ZK threads' - basically letting people run full blockchains from their basements while proving they acted with integrity. That's a whole class of use cases we haven't even started exploring.

Bottom line: zero-knowledge proofs aren't just about scaling or privacy anymore. They're about reimagining how trust actually works. Instead of armies of accountants and auditors manually checking everything, you move that burden to math. That's a fundamental shift for how finance operates.