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