Lean is rapidly becoming essential infrastructure for critical cryptographic implementations. The recent #ZKProof 7 conference in Sofia featured three talks highlighting how Lean's formal verification capabilities are transforming zero-knowledge proof systems.

Here's what you missed 🧵