O que acontece se o seu circuito ZK tiver um erro? O que significa um circuito ZK incorreto? Nossa co-fundadora @IsilDillig explora essas questões críticas a partir de uma perspectiva de métodos formais no evento @a16zcrypto.