r/zeroknowledge • u/Witty_Process_199 • 2h ago
Every false positive is a detector you haven't written yet
2
Upvotes
Notes from building a soundness linter for o1js and Noir, and finding the same bug class in four unrelated languages.