noir
Dependency-free static analyzer for zk circuit soundness bugs in o1js/Mina zkApps and Noir circuits