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