What happens if your ZK circuit has a bug? What does an incorrect ZK circuit even mean? Our co-founder @IsilDillig explores these critical questions from a formal methods perspective at the @a16zcrypto event.
Disclaimer: Includes third-party opinions. No financial advice. May include sponsored content.See T&Cs.
