Nico
@nico_mnbl
'picious until proven otherwise @zksecurityXYZ. Research and cryptography. Recurring co-host on @zeroknowledgefm. Also a troubadour and chess enthusiast
가입 April 2020
723 팔로잉 중 2.5K 팬
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.
더 보기
