Our co-founder @IsilDillig took the stage at an @a16zcrypto event to deliver a comprehensive presentation on Formal Methods for Zero-Knowledge Circuits.
See the full recording and a summary below 🧵
1/4
See the full recording and a summary below 🧵
1/4