Nico
@nico_mnbl
'picious until proven otherwise @zksecurityXYZ. Research and cryptography. Recurring co-host on @zeroknowledgefm. Also a troubadour and chess enthusiast
Joined April 2020
723 Following 2.5K Followers
Was a very instructive conversation for me, hope it will be the same for you
🎙️This past week, @AnnaRRose & @nico_mnbl spoke w Alex Ozdemir, Assistant Professor at Georgia Tech, about the formal verification/ZK connection — covering SMT solvers, Lean, zkPi and why verifiable software matters.
Show more
